Argument-based belief in topological structures
作者： Fernando R. Velázquez-Quesada , Sonja Smets , Chenwei Shi
DOI: 10.4204/EPTCS.251.36
关键词: Rationality 、 Conjunction (grammar) 、 Topology 、 Argument 、 Closure (topology) 、 Structure (mathematical logic) 、 Formal language 、 Argumentation theory 、 Computer science 、 Axiom
摘要: This paper combines two studies: a topological semantics for epistemic notions and abstract argumentation theory. In our combined setting, we use to represent the structure of an agent's collection evidence, theory single out relevant sets evidence through which notion beliefs grounded on arguments is defined. We discuss formal properties this newly defined notion, providing also language with matching modality together sound complete axiom system it. Despite fact that agent can combine her in 'rational' way (captured via structure), argument-based are not closed under conjunction. illustrates difference between reasoning abilities (i.e. she able available evidence) closure beliefs. point argue why failure conjunction belief should bear burden rationality.
harvard.edu
arxiv.org
sci-hub.st 参考文章(27)
Alexandru Baltag, Bryan Renne, Sonja Smets, The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge workshop on logic language information and computation. ,vol. 7456, pp. 168- 190 ,(2012) , 10.1007/978-3-642-32621-9_13
Richard Foley, Beliefs, Degrees of Belief, and the Lockean Thesis Springer Netherlands. pp. 37- 47 ,(2009) , 10.1007/978-1-4020-9198-8_2
Dana Scott, Advice on Modal Logic Springer, Dordrecht. pp. 143- 173 ,(1970) , 10.1007/978-94-010-3272-8_7
François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra, Building an Epistemic Logic for Argumentation Logics in Artificial Intelligence. pp. 359- 371 ,(2012) , 10.1007/978-3-642-33353-8_28
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets, The Topology of Belief, Belief Revision and Defeasible Knowledge LORI 2013 Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction - Volume 8196. pp. 27- 40 ,(2013) , 10.1007/978-3-642-40948-6_3
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
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