On Maintaining and Reasoning with Incomplete Information

  • Nadim Obeid


Knowledge Based Systems (KBSs) are expected to maintain and reason with complete information. They also are expected to have a highly interactive and helpful interface. In this paper we make a first step towards a KBS that could meet such requirements. We present a Logic for Maintaining and Reasoning with incomplete information (thereafter LMR). Some of the advantages of LMR are that: (1) The semantic analysis is made in terms of possible situations, and (2) it supports constructive and informative user-system interaction.


Incomplete Information Inference Rule Propositional Logic Partial System Reasoning System 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    De Kleer J., 1984, “An Assumption-Based TMS”, Artificial Intelligence, Vol. 24, pp. 127–162.Google Scholar
  2. [2]
    Doyle J., 1979, “A Tmth Maintenance System”, Artificial Intelligence, Vol. 12, pp. 231–272.CrossRefGoogle Scholar
  3. [3]
    Gabbay D., 1983, “Intuitionistic Basis for Non-Monotonic Reasoning”, in: Proc. Conf. on Automated Deduction, Lecture Notes in Computer Science, No. 6.Google Scholar
  4. [4]
    McDermott D. and Doyle J., 1980, “Non-Monotonic Logic I”, Artificial Intelligence, Vol. 13, pp. 41–72.CrossRefGoogle Scholar
  5. [5]
    McDermott D., 1982, “Non-Monotonic Logic II: Non-Monotonic Modal Theories”, JACM, Vol. 29, No. 1, pp. 35–57.CrossRefGoogle Scholar
  6. [6]
    Moore R., 1983, “Semantical Consideration of Non-Monotonic Logic”, Proc. International Joint Conference on Artificial Intelligence, pp. 272–279.Google Scholar
  7. [7]
    Obeid N., 1987, “A Model of Information Growth”, PhD. Thesis, Essex University.Google Scholar
  8. [8]
    Obeid N., 1988, “A Propositional Logic for Reasoning about Real-Time Situations”, IASTED International Conference on Expert Systems: Theory and Applications, pp. 64–68.Google Scholar
  9. [9]
    Obeid N., 1989, “Intuitionistic Versus Partial Models Basis for Commonsense Reasoning”, Submitted to: Artificial Intelligence.Google Scholar

Copyright information

© Kogan Page Ltd. 1989

Authors and Affiliations

  • Nadim Obeid
    • 1
  1. 1.Department of Computer ScienceUniversity of EssexEngland, UK

Personalised recommendations