Rule-based routing system
Takeshi Fujita, Satoshi Goto · 1983
A new interactive routing system based on artificial intelligence techniques is presented. This system accepts the designer's knowledge in the clausal form of first-order predicate logic, similar to PROLOG language. The system applies the clausal-form design logic knowledge based on predicate calculus. In order to solve a large-scale problem, the spark interpreter is introduced. It deals with the logical expression of a specific situation, especially for one which includes procedural relations, and adapts its inference result to a physical design strategy. This rule-based system has been developed to solve the practical large-scale routing problem. 7 references.