An autoepistemic logical view of knowledge base

  • Y. J. Jiang
Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 405)


Autoepistemic logic (AE) is a non-monotonic logic for modelling beliefs of agents who reflect on their own beliefs. In this paper, we will take such a logical view of knowledge base by treating its contents as its beliefs about a world and its integrity constraints as its beliefs about its contents. We will show how such a view can help us to represent and reason about incomplete knowledge, self-knowledge and negative information. We will also show that an AE logical closure of a knowledge base will neither suffer the inconsistency problem nor the logic-impurity problem that often persist in the standard nonmotonic closures of a kowledge base. In particular, we will show that an AE logic view of integrity constraints provides a finer way of defining integrity constraints than existing definitions. For the logic to be effective, we introduce a a stratified AE proof theory for evaluating queries and maintaining integrity constraints. It is shown that the AE logical view of a stratified knowledge base will yield a unique AE closure of the knowledge base.


AI in Database Deductive database Incomplete knowledge Non-monotonic logic Autoepistemic logic Closed World Assumption Complete Database Integrity Constraints Nonstandard Logic Possible worlds semantics Modal logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. K. Clark (1978) Negation as failure in logic and database eds. H. Galliare and J. Minker, Plenum, New York, 293–322.Google Scholar
  2. E.F. Codd (1982) Relational database: A practical foundation for productivity 25 CACM, 1982, pp.109–117.Google Scholar
  3. H. Galliare etal (1984) Logic and database: a deductive approach ACM computing surveys, Vol.16, No.2, June 1984.Google Scholar
  4. M. Gelfond (1987) On stratified autoepistemic theories AAAI 87, pp.207–211.Google Scholar
  5. Y.J Jiang (1988c) A self-referential data model of knowledge, IFIP conference on the role of AI in database, 1988.Google Scholar
  6. Y.J. Jiang (1989) Stratified Autoepistemic Predicate Logic Israel AI Conference, Dec., Jerusalem, 1989.Google Scholar
  7. K. Konolige (1987) On the relationship between default and autoepistemic logic IJCAI 87.Google Scholar
  8. K. Konolige (1988) Hierarchical autoepistemic logic SRI note, 1988.Google Scholar
  9. H.J. Levesque (1984) The logic of incomplete knowledge bases On Conceptual Modelling, eds M.Brodie, J.Mylopouos & J.Schmidt, Springer-Verlag, 1984, pp.165–187.Google Scholar
  10. V. Lifshitz (1988) On the semantics of negation of logic programming Fundations of deductive database and logic programming (J. Minker ed.) Morgan Kaufmann Publishers, L. Altos, CA, pp.19–85.Google Scholar
  11. J. Llyod & W. Topor (1985) A basis for deductive database systems, J. of logic programming 2, pp.93–109.CrossRefGoogle Scholar
  12. D. McDermott (1982) Non-monotonic logic II: non-motonic modal theories in JACM 29 (1) 33–57.CrossRefGoogle Scholar
  13. R. C. Moore (1985) Semantic considerations of non-monotonic logic AI 25 (1).Google Scholar
  14. I. Niemela Autoepistemic Predicate logic ECAI 88, pp.595–599.Google Scholar
  15. R. Reiter (1978) On closed world databases Logic and Databases (H.Gallaire & J. Minker eds.), Plenum Press, pp.149–178.Google Scholar
  16. R. Reiter (1984) Towards a logical reconstruction of relational database theory. in On Conceptual Modelling, eds M.Brodie, J.Mylopouos & J.Schmidt, Springer-Verlag, pp.49–83.Google Scholar
  17. R. Reiter (1988) On integrity constraints Proc of Theoretical aspects of reasoning about knowledge, CA, 1988.Google Scholar
  18. F. Sadri & R. Kowalski (1988) An application of general purpose theorem proving to database integrity Foundations of deductive database and logic programming (J. Minker ed.) Morgan Kaufmann Publishers, L. Altos, CA.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Y. J. Jiang
    • 1
  1. 1.Computer LaboratoryCambridge UniversityCambridgeUK

Personalised recommendations