Abstract
In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze multiple belief sets in an abstract setting. We define and investigate formal properties of belief set operators as absorption, congruence, supradeductivity and weak belief monotony. Furthermore, it is shown that for each belief set operator satisfying strong belief cumulativity there exists a largest monotonic logic underlying it, thus generalizing a result for nonmonotonic inference operations. Finally, we study abstract properties of selective inference operations connected to belief set operators and which are used to choose one of the possible views.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge, in: Minker, J. (ed), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, pp. 89–142
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions; Journal of Symbolic Logic 50, 510–530 (1985)
Besnard, P.: An Introduction to Default Logic; Berlin, Springer-Verlag, 1989
Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, 1991
Brewka, G.: Adding Priorities and Specificity to Default Logic; in: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, JELIA'94, Springer Verlag, 1994
Dietrich, J.: Deductive Bases of Nonmonotonic Inference Operations: NTZ-Report,7/94, University of Leipzig, 1994
Dietrich, J., H. Herre: Outline of Nonmonotonic Model Theory, NTZ-Report, 5/94, University of Leipzig, 1994
Engelfriet, J., H. Herre, J. Treur: Nonmonotonic Belief State Frames and Reasoning Frames, in: C. Froidevaux, J. Kohlas (eds.), Proc. ECSQARU'95, Lecture Notes in AI, vol. 946, Springer Verlag, 1995, pp. 189–196
Engelfriet, J., J. Treur: A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds), Proc. ECSQARU'93, Lecture Notes in Computer Science, vol. 747, Springer-Verlag, 1993, pp. 91–96
Engelfriet, J., J. Treur: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 279–299; Also in: Journal of Applied Non-Classical Logics, vol. 5 (2), 1995, pp. 239–261
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
Gabbay, D.: Theoretical Foundations for Non-monotonic Reasoning in expert systems; in Apt, K. (ed.): Logic and Models of Concurrent Systems, Springer, Berlin, 1985
Grove, A.: Two modelings for theory change; Journal of Philosophical Logic 17, 157–170 (1988)
Herre, H.: Compactness Properties of nonmonotonic Inference Operations, In: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 19–33; Also in: Journal of Applied Non-Classical Logics, vol. 5, 1995, pp. 121–136 (Special Issue with selected papers from JELIA'94)
Konolidge, K.: Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning, in: Proceedings AAAI'88, Minneapolis, 1988
Lindström, S.: A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept. of Philosophy, Uppsala University, Preprint, 1991
Makinson, D.: General Patterns in Nonmonotonic Reasoning; in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.3, Oxford Science Publications, 1994
Marek, V., M. Truszczynski: Nonmonotonic Logic, Springer-Verlag, 1993
Marek, V., J. Treur, M. Truszczynski: Representation Theory for Default Logic, Proc. Symposium on AI and Mathematics, 1996
Poole, D.: A logical Framework for Default Reasoning;Artificial Intelligence, 36: 27–47 (1988)
Popper, K.: The Logic of Scientific Discovery; Hutchinson, London, 1977, 9th edition.
Reiter, R.: A logic for default reasoning; A.I., vol. 13, 81–132, 1980
Shoham, Y.: Reasoning about Change; MIT-Press, Cambridge/USA, 1988
Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923–1938. Clarendon Press, Oxford, 1956
Tan, Y.H., J. Treur: Constructive Default Logic and the Control of Defeasible Reasoning; in: B. Neumann (ed.), Proc. ECAI'92, Wiley and Sons, 1992, pp. 299–303
Voorbraak, F.: Preference-based semantics for nonmonotonic logics,in: Bajcsy, R.(ed), Proc. IJCAI-93, Morgan Kaufmann, 1993, pp. 584–589
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Herre, H., Treur, J. (1996). Nonmonotonic reasoning with multiple belief sets. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_83
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_83
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive