Beliefs supported by binary arguments

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

DOI: 10.1080/11663081.2018.1457254

关键词:

摘要: In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is design logical setting that allows us re...

参考文章(31)
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
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
Davide Grossi, Argumentation in the view of modal logic ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems. pp. 190- 208 ,(2010) , 10.1007/978-3-642-21940-5_12
Johan van Benthem, Dynamic logic for belief revision Journal of Applied Non-Classical Logics. ,vol. 17, pp. 129- 155 ,(2007) , 10.3166/JANCL.17.129-155
Davide Grossi, Abstract argument games via modal logic Synthese. ,vol. 190, pp. 5- 29 ,(2013) , 10.1007/S11229-012-0237-1
John P. Burgess, Axioms for tense logic. I. ``Since'' and ``until''. Notre Dame Journal of Formal Logic. ,vol. 23, pp. 367- 374 ,(1982) , 10.1305/NDJFL/1093870149
Sergei Artemov, Elena Nogina, Introducing Justification into Epistemic Logic Journal of Logic and Computation. ,vol. 15, pp. 1059- 1073 ,(2005) , 10.1093/LOGCOM/EXI053
Dexter Kozen, Results on the propositional μ-calculus Theoretical Computer Science. ,vol. 27, pp. 333- 354 ,(1983) , 10.1016/0304-3975(82)90125-6
Alexandru Baltag, Sonja Smets, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision Electronic Notes in Theoretical Computer Science. ,vol. 165, pp. 5- 21 ,(2006) , 10.1016/J.ENTCS.2006.05.034