Database Access Requirements of Knowledge-Based Systems

Knowledge bases constitute the core of those Artificial Intelligence programs which have come to be known as Expert Systems. An examination of the most dominant knowledge representation schemes used in these systems reveals that a knwledge base can, and possibly should, be described at several levels using different schemes, including those traditionally used in operational databases. This chapter provides evidence that solutions to the organization and access problem for very large knowledge bases require the employment of appropriate database management methods, at least for the lowest level of description — the facts or data. We identify the database access requirements of knowledge-based or expert systems and then present four general architectural strategies for the design of expert systems that interact with databases, together with specific recommendations for their suitability in particular situations. An implementation of the most advanced and ambitious of these strategies is then discussed in some detail.

[1]  Harry E. Pople,et al.  The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning , 1977, IJCAI.

[2]  Douglas B. Lenat,et al.  PRINCIPLES OF PATTERN-DIRECTED INFERENCE SYSTEMS , 1978 .

[3]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[4]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[5]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[6]  R. O. Duda,et al.  PROSPECTOR—A computer-based consultation system for mineral exploration , 1978 .

[7]  Warren Teitelman,et al.  The interlisp reference manual , 1974 .

[8]  John Mylopoulos,et al.  Two views of data semantics: a survey of data models in artificial intelligence and data management , 1977 .

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

[10]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[11]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[12]  Matthias Jarke,et al.  An optimizing prolog front-end to a relational query system , 1984, SIGMOD '84.

[13]  Matthias Jarke,et al.  Access to Specific Declarative Knowledge by Expert Systems: The Impact of Logic Programming , 1983, Decis. Support Syst..

[14]  IRA GOLDSTEIN,et al.  Artificial Intelligence, Language, and the Study of Knowledge , 1977, Cogn. Sci..

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

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

[17]  Jan Chomicki,et al.  A Data Base Support System for Prolog , 1983, Logic Programming Workshop.

[18]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[19]  Raymond Reiter,et al.  Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.

[20]  Gevarter,et al.  Overview of Expert Systems , 1982 .

[21]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[22]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[23]  Kamran Parsaye.  A Fault-Tolerant Transaction Processing Environment. , 1983 .

[24]  Hector J. Levesque,et al.  An overview of Knowledge Representation , 1983, On Conceptual Modelling.

[25]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

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

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

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

[29]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[30]  William van Melle,et al.  A Domain-Independent Production-Rule System for Consultation Programs , 1979, IJCAI.

[31]  Randall Davis,et al.  Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..

[32]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[33]  Joachim W. Schmidt,et al.  Some high-level language constructs for data of type relation , 1977, SIGMOD '77.

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

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

[36]  Reid G. Smith.  STROBE: Support for Structured Object Knowledge Representation , 1983, IJCAI.

[37]  Anne v. d. L. Gardner,et al.  Search: An Overview , 1981, AI Mag..

[38]  John Grant,et al.  Optimization in Deductive and Conventional Relational Database Systems , 1979, Advances in Data Base Theory.

[39]  Matthias Jarke,et al.  How Does an Expert System Get its Data? (Extended Abstract) , 1983, VLDB.

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

[41]  J. S. Brown,et al.  Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III , 1982 .

[42]  Jean-Marie Nicolas,et al.  An Outline of BDGEN: A Deductive DBMS , 1983, IFIP Congress.