Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
P. Besnard, An Introduction to Default Logic, Springer Verlag, 1989
P. Besnard, T. Schaub, Possible Worlds Semantics for Default Logics, to appear in Fundamenta Informaticae
J. Engelfriet, J. Treur, A Temporal Model Theory for Default Logic, Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993
D.W. Etherington, A Semantics for Default Logic, Proc. IJCAI-87. Also in: Reasoning with Incomplete Information, Morgan Kaufmann, 1988
W. Łukaszewicz, Non-monotonic reasoning: formalization of commonsense reasoning, Ellis Horwood, 1990
R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81–132
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.
E. Thijsse, Partial logic and knowledge representation, Ph.D. Thesis, Tilburg University, 1992
J. Treur, Completeness and definability in diagnostic expert systems, Proc. European Conf. on AI, ECAI-88, München, 1988, pp. 619–624.
F. Voorbraak, Preference-based semantics for nonmonotonic logics, to appear in Proc. IJCAI-93
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Treur, J. (1993). A temporal model theory for default logic. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028187
Download citation
DOI: https://doi.org/10.1007/BFb0028187
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57395-1
Online ISBN: 978-3-540-48130-0
eBook Packages: Springer Book Archive