The Logic of Incomplete Knowledge Bases

Some formal representation issues underlying the use of incomplete knowledge bases are discussed. An incomplete knowledge base is one that has only partial knowledge of the application domain. It is argued that a language that can refer to both the application domain and to the state of the knowledge base is required to specify and to question an incomplete knowledge base. A formal logical language with this expressive ability is presented and its semantics and proof theory are defined. It is also shown how different the use of the language must be, depending on whether the interaction involves querying or defining the knowledge base.

[1]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[2]  Hector J. Levesque,et al.  Competence in Knowledge Representation , 1982, AAAI.

[3]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

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

[5]  Eleanor H. Warnock,et al.  Reasoning from Incomplete Knowledge. , 1975 .

[6]  Yannis Vassiliou.  A formal treatment of imperfect information in database management , 1980 .

[7]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[8]  Kurt Konolige,et al.  Circumscriptive Ignorance , 1982, AAAI.

[9]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[10]  John Mylopoulos,et al.  Some Features of the TAXIS Data Model , 1980, VLDB.

[11]  Raymond Reiter,et al.  On Reasoning by Default , 1978, TINLAP.

[12]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

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

[14]  H. Levesque.  A formal treatment of incomplete knowledge bases , 1981 .

[15]  Ronald J. Brachman,et al.  A Structural Paradigm for Representing Knowledge. , 1978 .

[16]  Hector J. Levesque,et al.  The Interaction with Incomplete Knowledge Bases: A Formal Treatment , 1981, IJCAI.

[17]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[18]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[19]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[20]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

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

[22]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[23]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .