Taxon: a Language for Formal Reasoning with Digital Fabrication Machines

Title of the Paper

Taxon: a Language for Formal Reasoning with Digital Fabrication Machines

Paper Information

• Domain: Programming Languages, User Interfaces, Human-Computer Interaction, and Digital Fabrication
• Keywords: Digital Fabrication, Programming Languages, User Interfaces, Prototyping, Simulation, Manufacturing Processes

Research Background and Problem Statement

• Problems and Challenges:
  • The diversity and complexity of digital fabrication machines, such as 3D printers and laser cutters, make selecting and using these machines increasingly difficult. Users often rely on trial and error to learn how to choose suitable machines and understand their limitations.
  • The lack of a unified infrastructure to formally express machine characteristics and their interactions with materials and models hinders creative exploration and the adoption of digital fabrication tools.
• Significance:
  • Understanding how machines operate and their limitations is crucial for safely selecting and efficiently executing manufacturing processes.
  • Standardizing the representation of machine characteristics can lower the learning curve and promote broader adoption of digital fabrication technologies.
• Motivation and Related Work:
  • Current design tools (e.g., software for 3D printing) typically support specific processes but lack abstract representations of machine characteristics and workflows.
  • Inspired by the extensibility and reusability of programming languages in software development, the goal is to design a language to help users describe, compare, and simulate physical machines.

Solution

• Approach and Solution:
  • Introducing the Taxon language, a formal language for specifying digital fabrication machines based on their components, characteristics, and simulated use cases.
  • Taxon language is built on three core modules:
    1. Blocks: Abstract representations of machine components.
    2. Metrics: High-level attributes of machines, such as material compatibility and spatial constraints.
    3. Workflows: Sequences of user operations and machine actions.
  • Providing a browser-based interactive interface that supports browsing, comparing machine databases, and simulating workflows.
• Innovations:
  • The first formal representation of fabrication machine characteristics, actions, and rules using a dedicated language.
  • An "experience rules (rules of thumb)" module automatically verifies the feasibility and safety of user operations.
  • A user-friendly interface designed for makers without programming expertise.
• Implementation Steps and Techniques:
  1. Developing the Taxon language to describe machine characteristics and workflows.
  2. Integrating a web-based interactive system with 3D rendering and simulation capabilities.
  3. Building a library of experience rules to ensure operational safety through static and dynamic checks.

Research Outcomes

• Key Results:
  • The Taxon language successfully formalizes the representation of fabrication machines and has undergone initial validation, covering machine plans and workflows for various types (e.g., 3D printers, hot wire cutters, and pick-and-place machines).
  • A user interface supporting the execution and visualization of Taxon programs has been developed and open-sourced.
  • Several new concepts and extensions were proposed, such as "workspace partitioning," "tool switching," and "rules for materials and actions."
• Advantages:
  • Taxon provides language-level expressiveness, enabling systematic and intuitive descriptions, comparisons, and simulations of different machines.
  • Demonstrated scalability in representing complex fabrication scenarios, such as clay 3D printing and liquid deposition.
• Experiments and Evaluation Results:
  • The functionality and scalability of Taxon were validated using six representative machines.
  • Although the current version of Taxon covers basic geometric processing and action simulation, its modular design exhibits high flexibility.
• Limitations and Future Directions:
  1. Limited capability for simulating material physical properties; complex geometric collision detection is not yet supported.
  2. Insufficient abstraction levels for fine-grained descriptions of device details.
  3. Further development is needed for direct manipulation of digital models and enhanced automation support.
  4. Potential extensions include improving material support, designing syntax for more complex mechanical movements, and seamless integration with physical laboratory equipment.

This study demonstrates how a novel programming language can empower ambitious yet complex workflows in the diverse world of digital fabrication.