Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
De Kleer J., 1984, “An Assumption-Based TMS”, Artificial Intelligence, Vol. 24, pp. 127–162.
Doyle J., 1979, “A Tmth Maintenance System”, Artificial Intelligence, Vol. 12, pp. 231–272.
Gabbay D., 1983, “Intuitionistic Basis for Non-Monotonic Reasoning”, in: Proc. Conf. on Automated Deduction, Lecture Notes in Computer Science, No. 6.
McDermott D. and Doyle J., 1980, “Non-Monotonic Logic I”, Artificial Intelligence, Vol. 13, pp. 41–72.
McDermott D., 1982, “Non-Monotonic Logic II: Non-Monotonic Modal Theories”, JACM, Vol. 29, No. 1, pp. 35–57.
Moore R., 1983, “Semantical Consideration of Non-Monotonic Logic”, Proc. International Joint Conference on Artificial Intelligence, pp. 272–279.
Obeid N., 1987, “A Model of Information Growth”, PhD. Thesis, Essex University.
Obeid N., 1988, “A Propositional Logic for Reasoning about Real-Time Situations”, IASTED International Conference on Expert Systems: Theory and Applications, pp. 64–68.
Obeid N., 1989, “Intuitionistic Versus Partial Models Basis for Commonsense Reasoning”, Submitted to: Artificial Intelligence.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Kogan Page Ltd.
About this chapter
Cite this chapter
Obeid, N. (1989). On Maintaining and Reasoning with Incomplete Information. In: Rao, R.B.K.N., Hope, A.D. (eds) COMADEM 89 International. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-8905-7_44
Download citation
DOI: https://doi.org/10.1007/978-1-4684-8905-7_44
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-8907-1
Online ISBN: 978-1-4684-8905-7
eBook Packages: Springer Book Archive