Abstract
In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for the first three levels. Moreover, the semantical connections between the levels are formalized. It is shown that this general semantical framework is applicable for some well-known approaches such as preferential semantics and default logic.
Part of this work has been supported by SKBS and the ESPRIT III Basic Research project 6156 DRUMS II.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Etherington, D.W.: A Semantics for Default Logic, Proc. IJCAI-87, pp. 495–498; see also in: D.W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988
Engelfriet, J., Treur, J.: A Temporal Model Theory for Default Logic. In: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Springer Verlag, 1993, pp. 91–96.
Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in AI, JELIA '94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 279–299.
Herre, H.: Compactness Properties of nonmonotonic Inference Operations. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in AI, JELIA '94, Lecture Notes in AI, vol. 838, Springer Verlag, 1994, pp. 19–33.
Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; AI Journal 44 (1990), 167–207
Marek, V., M. Truszczynski: Nonmonotonic Logic, Springer-Verlag, 1993
Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923–1938. Clarendon Press, Oxford, 1956
Voorbraak, F.: Preference-based Semantics for Nonmonotonic Logics, in: Bajcsy, R. (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Morgan Kaufmann, 1983, pp. 584–589
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Herre, H., Treur, J. (1995). Nonmonotonic belief state frames and reasoning frames. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_22
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive