On Maintaining and Reasoning with Incomplete Information
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.
KeywordsIncomplete Information Inference Rule Propositional Logic Partial System Reasoning System
Unable to display preview. Download preview PDF.
- De Kleer J., 1984, “An Assumption-Based TMS”, Artificial Intelligence, Vol. 24, pp. 127–162.Google Scholar
- Gabbay D., 1983, “Intuitionistic Basis for Non-Monotonic Reasoning”, in: Proc. Conf. on Automated Deduction, Lecture Notes in Computer Science, No. 6.Google Scholar
- Moore R., 1983, “Semantical Consideration of Non-Monotonic Logic”, Proc. International Joint Conference on Artificial Intelligence, pp. 272–279.Google Scholar
- Obeid N., 1987, “A Model of Information Growth”, PhD. Thesis, Essex University.Google Scholar
- 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
- Obeid N., 1989, “Intuitionistic Versus Partial Models Basis for Commonsense Reasoning”, Submitted to: Artificial Intelligence.Google Scholar