Access to Specific Declarative Knowledge by Expert Systems: The Impact of Logic Programming

As part of the operation of an Expert System, adeductive component accesses a database of facts to helpsimulate the behavior of a human expert in a particularproblem domain. The nature of this access is examined, andfour access strategies are identified. Features of each ofthese strategies are addressed within the framework of aLogic-based deductive component and the relational model ofdata.

[1]  Lawrence J. Henschen,et al.  On compiling queries in recursive first-order databases , 1984, JACM.

[2]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[3]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[4]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[5]  Robert W. Blanning.  Natural Language Query Processing for Model Management , 1983, ICIS.

[6]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[7]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[8]  Dana S. Nau,et al.  Expert computer systems , 1983, Computer.

[9]  Matthias Jarke,et al.  Coupling Expert Systems with Database Management Systems , 1983 .

[10]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[11]  John J. Donovan,et al.  Databsse system approach the management decision support , 2015, TODS.

[12]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[13]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[14]  Ralph H. Sprague,et al.  Building Effective Decision Support Systems , 1982 .

[15]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[16]  WirthNiklaus.  Program development by stepwise refinement , 1971 .

[17]  Luís Moniz Pereira,et al.  A Prolog Implementation of a Large System on a Small Machine , 1982, ICLP.

[18]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[19]  Robert A. Kowalski,et al.  Logic as a Database Language , 1984, BNCOD.

[20]  Edward A. Feigenbaum,et al.  The fifth generation - artificial intelligence and Japan's computer challenge to the world , 1991 .

[21]  Matthias Jarke,et al.  A Short Introduction to Expert Systems , 1983, IEEE Database Eng. Bull..

[22]  Joyce J. Elam,et al.  Knowledge engineering concepts for decision support system design and implementation , 1983, Inf. Manag..

[23]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..