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 
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]
    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