Abstract
In complex reasoning tasks it is often the case that there is no single, correct set of conclusions given some initial information. Instead, there may be several such conclusion sets, which we will call belief sets. In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze structural aspects of reasoning with multiple belief sets. 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 selection operators connected to belief set operators, which are used to choose some of the possible belief sets.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510–530.
K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, San Mateo, CA, 1988) pp. 89–142.
G. Asser, Einführung in der Mathematische Logik, Vol. 1 (Teubner, Leipzig, 1982).
P. Besnard, An Introduction to Default Logic (Springer, Berlin, 1989).
F. van Beusekom, F.M.T. Brazier, P. Schipper and J. Treur, Development of an ecological decision support system, in: Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE' 98, eds. A.P. del Pobil, J. Mira and M. Ali, Lecture Notes in Artificial Intelligence, Vol. 1416 (Springer, Berlin, 1998) pp. 815–825.
F.M.T. Brazier, J. Engelfriet and J. Treur, Analysis of multi-interpretable ecological monitoring information, in: Applications of Uncertainty Formalisms, eds. A. Hunter and S. Parsons, Lecture Notes in Artificial Intelligence, Vol. 1455 (Springer, Berlin, 1998) pp. 303–324.
G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge University Press, Cambridge, 1991).
G. Brewka, Adding priorities and specificity to default logic, in: Logics in Artificial Intelligence, Proceedings JELIA' 94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 247–260.
J. Dietrich, Deductive bases of nonmonotonic inference operations, Working paper, NTZ-Report 7/94, Department of Computer Science, University of Leipzig, Germany (1994).
J. Dietrich and H. Herre, Outline of nonmonotonic model theory, Working paper, NTZ-Report 5/94, Department of Computer Science, University of Leipzig, Germany (1994).
T. Eiter and G. Gottlob, Reasoning with parsimonious and moderately grounded expansions, Fund. Inform. 17 (1992) 31–53.
J. Engelfriet, H. Herre and J. Treur, Nonmonotonic belief state frames and reasoning frames, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU' 95, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 189–196.
J. Engelfriet, H. Herre and J. Treur, Nonmonotonic reasoning with multiple belief sets, in: Practical Reasoning, Proceedings FAPR' 96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 331–344.
J. Engelfriet, V.W. Marek, J. Treur and M. Truszczyński, Infinitary default logic for specification of nonmonotonic reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA' 96, eds. J.J. Alferes, L.M. Pereira and E. Orlowska, Lecture Notes in Artificial Intelligence, Vol. 1126 (Springer, Berlin, 1996) pp. 224–236.
J. Engelfriet and J. Treur, A temporal model theory for default logic, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU' 93, eds. M. Clarke, R. Kruse and S. Moral, Lecture Notes in Computer Science, Vol. 747 (Springer, New York, 1993) pp. 91–96. A fully revised and extended version appeared as: An interpretation of default logic in minimal temporal epistemic logic, J. Logic Language Inform. 7 (1998) 369–388.
J. Engelfriet and J. Treur, Temporal theories of reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA' 94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 279–299. Also in: J. Appl. Non-Classical Logics 5(2) (1995) 239–261.
J. Engelfriet and J. Treur, Specification of nonmonotonic reasoning, in: Practical Reasoning, Proceedings FAPR' 96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 111–125.
D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87 (1987) pp. 495–498. See also D.W. Etherington, Reasoning with Incomplete Information (Morgan Kaufmann, San Mateo, CA, 1988).
D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, in: Logic and Models of Concurrent Systems, ed. K. Apt (Springer, Berlin, 1985).
A. Grove, Two modelings for theory change, J. Philos. Logic 17 (1988) 157–170.
H. Herre, Compactness properties of nonmonotonic inference operations, in: Logics in Artificial Intelligence, Proceedings JELIA' 94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 19–33. Also in: J. Appl. Non-Classical Logics 5(1) (1995) 121–136 (Special Issue with selected papers from JELIA' 94).
H. Herre and G. Wagner, Stable models are generated by a stable chain, J. Logic Programming 30(2) (1997) 165–177.
D. Hilbert and P. Bernays, Grundlagen der Mathematik, Vols. 1, 2 (Springer, Berlin, 1968).
K. Konolidge, Hierarchic autoepistemic theories for nonmonotonic reasoning, in: Proceedings AAAI' 88, Minneapolis (1988).
S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167–207.
S. Lindström, A semantic approach to nonmonotonic reasoning: inference operations and choice, Working paper, Department of Philosophy, Uppsala University, Sweden (1991).
D. Makinson, General theory of cumulative inference, in: Non-Monotonic Reasoning, eds. M. Reinfrank et al., Lecture Notes in Artificial Intelligence, Vol. 346 (Springer, Berlin, 1989) pp. 1–18.
D. Makinson, General patterns in nonmonotonic reasoning, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson (Oxford Science Publications, Oxford, 1994).
J. McCarthy, Circumscription – a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27–39.
V.W. Marek, J. Treur and M. Truszczyński, Representation theory for default logic, Ann. Math. Artificial Intelligence 21 (1997) 343–358.
V.W. Marek and M. Truszczyński, Nonmonotonic Logic (Springer, Berlin, 1993).
D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27–47.
K. Popper, The Logic of Scientific Discovery (Hutchinson, London, 9th ed., 1977).
R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81–132.
Y. Shoham, Reasoning about Change (MIT Press, Cambridge, MA, 1988).
Y.-H. Tan and J. Treur, Constructive default logic and the control of defeasible reasoning, in: Proceedings ECAI' 92, ed. B. Neumann (Wiley, New York, 1992) pp. 299–303.
A. Tarski, Logic, Semantics, Metamathematics, Papers from 1923–1938 (Clarendon Press, 1956).
F. Voorbraak, Preference-based semantics for nonmonotonic logics, in: Proceedings IJCAI-93, ed. R. Bajcsy (Morgan Kaufmann, San Mateo, CA, 1993) pp. 584–589.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Engelfriet, J., Herre, H. & Treur, J. Nonmonotonic reasoning with multiple belief sets. Annals of Mathematics and Artificial Intelligence 24, 225–248 (1998). https://doi.org/10.1023/A:1018909517931
Issue Date:
DOI: https://doi.org/10.1023/A:1018909517931