Argument-based Belief in Topological Structures
作者： Chenwei Shi , Sonja Smets , Fernando R. Velázquez-Quesada
DOI: 10.4204/EPTCS.251.36
关键词: Conjunction (grammar) 、 Argument 、 Rationality 、 Structure (mathematical logic) 、 Computer science 、 Formal language 、 Argumentation theory 、 Axiom 、 Closure (topology) 、 Topology
摘要: 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.
arxiv.org
sci-hub.st 参考文章(27)
Jaakko Hintikka, Knowledge and belief ,(1962)
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
Wolfgang Lenzen, Glauben, Wissen und Wahrscheinlichkeit : Systeme der epistemischen Logik Springer. ,(1980)
Wiebe van der Hoek, John-Jules Ch. Meyer, Epistemic logic for AI and computer science ,(1995)
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