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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93 |
Editors | M. Clarke |
Publisher | Springer/Verlag |
Pages | 91-96 |
ISBN (Electronic) | 978-3-540-48130-0 |
ISBN (Print) | 978-3-540-57395-1 |
DOIs | |
Publication status | Published - 1993 |