Skip to Main Content
 

Global Search Box

 
 
 
 

ETD Abstract Container

Abstract Header

Methods for an expert system to access an external database

He, Xiaoping

Abstract Details

1991, Doctor of Philosophy, Case Western Reserve University, Computer Engineering.
This dissertation develops several methods by which an expert system can intelligently access an external database. The motivation for this research came from an advanced manufacturing application which required fairly sophisticated reasoning about a relatively large volume of factual knowledge which is stored in an external database. An expert system was designed and implemented to do this in a relatively efficient way which takes advantage of contemporary database and logic programming technologies. An interesting feature of this design is its use of meta-interpreters to engineer the system's software; i.e., a meta-interpreter was used to generate database queries when information from the external database was needed. Although this expert system provided a practical solution, it also suggested that a more conceptual solution would be advantageous. A more powerful inference engine would remove the need for some of the specialized software that was part of the expert system and at the same time would allow the expert system rules to be more declarative. The main feature of this new inference engine is that it performs a graph search; i.e., when attempting to solve a subgoal, it uses all possible answers from previously solved subgoals. Since the subgoals are essentially Prolog subgoals, in general there will be a set o f answers for each subgoal. The basic problem which must be solved is that two subgoals may have a number of answers in common, but each may also have answers which are not answers to the other because neither subgoal is a substitution instance of the other. We have developed a solution to this problem and incorporated it into a method which performs a graph search of a space defined by a logic program and a goal. We prove that this method is both sound and complete.
George Ernst (Advisor)
138 p.

Recommended Citations

Citations

  • He, X. (1991). Methods for an expert system to access an external database [Doctoral dissertation, Case Western Reserve University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=case1055882633

    APA Style (7th edition)

  • He, Xiaoping. Methods for an expert system to access an external database. 1991. Case Western Reserve University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=case1055882633.

    MLA Style (8th edition)

  • He, Xiaoping. "Methods for an expert system to access an external database." Doctoral dissertation, Case Western Reserve University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=case1055882633

    Chicago Manual of Style (17th edition)