A temporal model theory for default logic
By explicitly identifying the temporal aspect of a default rule as it is used in a reasoning process, it is argued that a natural semantic theory of Reiter's default logic is a temporal one. To be able to accommodate the lack of complete knowledge at any point in time, the temporal models should be partial models. A temporal partial logic is introduced, and it is shown that this logic can provide semantics for Reiter's default logic.
Unable to display preview. Download preview PDF.
- 1.P. Besnard, An Introduction to Default Logic, Springer Verlag, 1989Google Scholar
- 2.P. Besnard, T. Schaub, Possible Worlds Semantics for Default Logics, to appear in Fundamenta InformaticaeGoogle Scholar
- 3.J. Engelfriet, J. Treur, A Temporal Model Theory for Default Logic, Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993Google Scholar
- 4.D.W. Etherington, A Semantics for Default Logic, Proc. IJCAI-87. Also in: Reasoning with Incomplete Information, Morgan Kaufmann, 1988Google Scholar
- 5.W. Łukaszewicz, Non-monotonic reasoning: formalization of commonsense reasoning, Ellis Horwood, 1990Google Scholar
- 6.R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81–132Google Scholar
- 7.Y.H. Tan, J. Treur, A bi-modular approach to nonmonotonic reasoning, In: De Glas, M., Gabbay, D. (eds.), Proc. World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91, 1991, pp. 461–476. An adapted version will be published in Studia Logica.Google Scholar
- 8.E. Thijsse, Partial logic and knowledge representation, Ph.D. Thesis, Tilburg University, 1992Google Scholar
- 9.J. Treur, Completeness and definability in diagnostic expert systems, Proc. European Conf. on AI, ECAI-88, München, 1988, pp. 619–624.Google Scholar
- 10.F. Voorbraak, Preference-based semantics for nonmonotonic logics, to appear in Proc. IJCAI-93Google Scholar