Beliefs Based on Evidence and Argumentation

作者: Chenwei Shi , Sonja Smets , Fernando R. Velázquez-Quesada

DOI: 10.1007/978-3-662-57669-4_17

关键词:

摘要: In this paper, we study doxastic attitudes that emerge on the basis of argumentational reasoning. order for an agent’s beliefs to be called ‘rational’, they ought well-grounded in strong arguments are constructed by combining her available evidence a specific way. A how these rational and grounded requires new logical setting. The language system paper serves purpose: it is expressive enough reason about concepts such as factive combined evidence, correctly belief, infallible knowledge, which building blocks our notions argument belief can defined. Building further previous work, use topological semantics represent structure collection input from abstract argumentation theory single out relevant sets construct beliefs. Our provides sound complete axiom presented language, describe given models full detail, show setting used explore more intricate epistemic notions.

参考文章(19)
Alexandru Baltag, Sonja Smets, A qualitative theory of dynamic interactive belief revision Texts in Logic and Games. ,vol. 3, pp. 813- 858 ,(2008) , 10.1007/978-3-319-20451-2_39
Bas C. van Fraassen, Fine-Grained Opinion, Probability, and the Logic of Full Belief Journal of Philosophical Logic. ,vol. 24, pp. 349- 377 ,(1995) , 10.1007/978-3-319-20451-2_5
Davide Grossi, Abstract argument games via modal logic Synthese. ,vol. 190, pp. 5- 29 ,(2013) , 10.1007/S11229-012-0237-1
Jon Doyle, A truth maintenance system Artificial Intelligence. ,vol. 12, pp. 231- 272 ,(1979) , 10.1016/0004-3702(79)90008-0
Martin W. A. Caminada, Dov M. Gabbay, A Logical Account of Formal Argumentation Studia Logica. ,vol. 93, pp. 109- 145 ,(2009) , 10.1007/S11225-009-9218-X
Oliver Board, Dynamic interactive epistemology Games and Economic Behavior. ,vol. 49, pp. 49- 80 ,(2004) , 10.1016/J.GEB.2003.10.006
Alfred Tarski, A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS Pacific Journal of Mathematics. ,vol. 5, pp. 285- 309 ,(1955) , 10.2140/PJM.1955.5.285
J. van Benthem, E. Pacuit, Dynamic Logics of Evidence-Based Beliefs Studia Logica. ,vol. 99, pp. 61- 92 ,(2011) , 10.1007/S11225-011-9347-X
Alexandru Baltag, Sonja Smets, Probabilistic dynamic belief revision Synthese. ,vol. 165, pp. 179- 202 ,(2008) , 10.1007/S11229-008-9369-8