Reasoning for a Logic Circuit Synthesis Expert System

概要

論文の詳細を見る
Most first-generation expert systems are rule-based systems with separate inference engines. To build this type of expert system, experts, knowledge must be described as a large unstructured collection of rules. But this is especially difficult for complicated design problems such as logic circuit design. Therefore a reasoning mechanism must be established that is suited to building expert systems for design problems. This paper shows that the logic circuit design process can be decomposed into two phases. The first includes routine design, which is largely top-down, while the second is bottom-up. A new reasoning mechanism is pro-posed that can control both top-down and bottom-up design. This reasoning mechanism has been implemented in Prolog according to an object oriented programming paradigm, and an expert system called ProLogic built for logic circuit design. Logic circuits synthesized by ProLogic are evaluated and found to be similar to those designed by human experts, confirming the usefulness of the proposed reasoning mechanism.
一般社団法人情報処理学会の論文
1992-03-31