Building an expert system shell for design model synthesis in logic programming

Abstract

This thesis implemented a prototype of an expert system shell for support of engineering design activities in the way of logic programming. The development of the system is based on the theoretical framework for knowledge-based system design and the formal modeling concepts. Under the above methodologies, two knowledge representations, production rule system and system entity structure, are incorporated into the knowledge base for figuring design structures. Here the production system scheme is employed for synthesis of design models represented in the system entity structure. The whole system is coded in Turbo Prolog and a specific domain knowledge, namely a local area network, is currently used as a testbed environment.