Deductive Planning and Pathfinding for Relational Data Bases

  • Charles Kellogg
  • Philip Klahr
  • Larry Travis


Inference planning techniques have been implemented and incorporated within a prototype deductive processor designed to support the extraction of information implied by, but not explicitly included in, the contents of a relationally structured data base, Deductive pathfinding and inference planning are used to select small sets of relevant premises and to construct skeletal derivations. When these “skeletons” are verified, the system uses them as plans to create data-base access strategies that guide the retrieval of data values, to assemble answers to user requests, and to produce proofs supporting those answers. Several examples are presented to illustrate the current capability of the prototype Deductively Augmented Data Management (DADM) system.


Semantic Network Conjunctive Normal Form Inference Plan Search Request Control Processor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Davis, R. and King, J. [1975] An Overview of Production Systems, AIM-271, Artificial Intelligence Laboratory, Stanford University, 1975.Google Scholar
  2. 2.
    Elliott, R. W. [1965] A Model for a Fact Retrieval System, TNN-42, Computation Center, University of Texas, Austin, 1965.Google Scholar
  3. 3.
    Kellogg, C. H., Burger, J., Diller, T. and Fogt, K. [1971] The CONVERSE Natural Language Data Management System: Current Status and Plans, Proceedings Symposium on Information Storage and Retrieval, ACM, New York, 1971, 33–46.Google Scholar
  4. 4.
    Kellogg, C., Klahr, P. and Travis, L. [1976] A Deductive Capability for Data Management, In Systems for Large Data Bases (P.C. Lockemann and E. J. Neuhold, Eds.), North Holland, Amsterdam, 1976, 181–196.Google Scholar
  5. 5.
    Kellogg, C., Klahr, P. and Travis, L. [1977] Deductive Methods for Large Data Bases, Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Mass., 1977, 203–209.Google Scholar
  6. 6.
    Klahr, P. [1975] “The Deductive Pathfinder: Creating Derivation’ Plans for Inferential Question-Answering,” Ph.D. Dissertation, Computer Science Dept., University of Wisconsin, Madison, Wisconsin, 1975.Google Scholar
  7. 7.
    Klahr, P. [1978] Planning Techniques for Rule Selection in Deductive Question-Answering, In Pattern-Directed Inference Systems (D. Waterman and F. Hayes-Roth, Eds.), Adademic Press, New York, 1978.Google Scholar
  8. 8.
    Kowalski, R. [1975] A Proof Procedure Using Connection Graphs, JACM 22 3 4 (October 1975), 572–595.CrossRefGoogle Scholar
  9. 9.
    McSkimin, J. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks — The Representation and Use of Knowledge in Computers (N. Findler, Ed.), Academic Press, New York, 1978.Google Scholar
  10. 10.
    McSkimin, J. and Minker J. [1977] The Use of a Semantic Network in a Deduction Question-Answering System, Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Mass., 1977, 50–58.Google Scholar
  11. 11.
    Reiter, R. [1978] Deductive Question-Answering in Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 149–177.Google Scholar
  12. 12.
    Robinson, J. A. [1965] A Machine-Oriented Logic Based on the Resolution Principle, JACM12, 1 (January 1965), 23–41.MATHCrossRefGoogle Scholar
  13. 13.
    Sickel, S. [1976] A Search Technique for Clause Interconnec-tivity Graphs, IEEE Trans. Computers, C-25, 8 (August 1976), 823–835.MathSciNetCrossRefGoogle Scholar
  14. 14.
    Travis, L., Kellogg, C. and Klahr, P. [1973] Inferential Question-Answering: Extending CONVERSE, SP-3679, System Development Corporation, Santa Monica, Calif., 1973.Google Scholar
  15. 15.
    Wos, L., Robinson, G. A. and Carson, D. A. [1965] Efficiency and Completeness of the Set of Support Strategy in Theorem Proving, JACM12, 4 (October 1965), 536–541.MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    Zadeh, L. A. [1965] Fuzzy Sets, Information and Control8, (1965), 338–353.MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Plenum Press, New York 1978

Authors and Affiliations

  • Charles Kellogg
    • 1
  • Philip Klahr
    • 1
  • Larry Travis
    • 2
  1. 1.System Development CorporationSanta MonicaUSA
  2. 2.University of WisconsinMadisonUSA

Personalised recommendations