Logical Design of Discrete Devices with the Use of the Production-Frame Model of Knowledge Representation: I

摘要

The automatization of the logical design of discrete devices that use expert knowledge is considered. The problem domain is analyzed. A production-frame model for knowledge representation is proposed. The frame technique allows one to describe the essential characteristics of design situations, and productions are used to describe design decision rules and design actions.