PRIDE: An Expert System for the Design of Paper Handling Systems
Computer - Special issue on expert systems in engineering
Design problem solving: knowledge structures and control strategies
Design problem solving: knowledge structures and control strategies
Process models for design synthesis
AI Magazine
Design problem solving: a task analysis
AI Magazine
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
R1 (“XCON”) at age 12: lessons from an elementary school achiever
Artificial intelligence in perspective
Engineering design: a synthesis of views
Engineering design: a synthesis of views
Editorial: the Sisyphus-VT initiative
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Intelligent Systems for Engineering: A Knowledge-Based Approach
Intelligent Systems for Engineering: A Knowledge-Based Approach
Cooperating Expert Systems in Mechanical Design
Cooperating Expert Systems in Mechanical Design
A Mathematical Theory of Design: Foundations, Algorithms and Applications
A Mathematical Theory of Design: Foundations, Algorithms and Applications
Knowledge-Based Design Systems
Knowledge-Based Design Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
IEEE Expert: Intelligent Systems and Their Applications
Configuration-Design Problem Solving
IEEE Expert: Intelligent Systems and Their Applications
Product Configuration Frameworks-A Survey
IEEE Intelligent Systems
A formal language for the design of manufacturable objects
Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD
An expert system for pneumatic design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Automatic SAT-compilation of planning problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Ten challenges in propositional reasoning and search
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
On the complexity of the design synthesis problem
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Combinatorial optimization in system configuration design
Automation and Remote Control
Hi-index | 0.00 |
This article addresses computational synthesis systems that attempt to find a structural description that matches a set of initial functional requirements and design constraints with a finite sequence of production rules. It has been previously shown by the author that it is computationally difficult to identify a sequence of production rules that can lead to a satisficing design solution. As a result, computational synthesis, particularly with large volumes of selection information, requires effective design search procedures. Many computational synthesis systems utilize transformational search strategies. However, such search strategies are inefficient due to the combinatorial nature of the problem. In this article, the problem is approached using a completely different paradigm. The new approach encodes a design search problem as a Boolean (propositional) satisfiability problem, such that from every satisfying Boolean-valued truth assignment to the corresponding Boolean expression we efficiently can derive a solution to the original synthesis problem (along with its finite sequence of production rules). A major advantage of the proposed approach is the possibility of utilizing recently developed powerful randomized search algorithms for solving Boolean satisfiability problems, which considerably outperform the most widely used satisfiability algorithms. The new design-as-satisfiability technique provides a flexible framework for stating a variety of design constraints, and also represents properly the theory behind modern constraint-based design systems.