Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments

There are two intuitive principles governing belief formation and argument evaluation that can potentially clash. After arguing that adopting them unrestrictedly leads to an infinite regress, we propose a formal framework in which qualified versions of both principles can be subscribed without falling into such a regress. The proposal integrates tools from two different traditions: structured argumentation and awareness epistemic logic. We show that our formalism satisfies certain rationality postulates and argue that the rest of them can be seen as too ideal when modelling resource-bounded agents.

[1]  Alfredo Burrieza,et al.  Argument evaluation in multi-agent justification logics , 2019, Log. J. IGPL.

[2]  Martin Caminada,et al.  On the Issue of Reinstatement in Argumentation , 2006, JELIA.

[3]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.

[4]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

[5]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[6]  Sergei N. Artëmov,et al.  Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..

[7]  Wiebe van der Hoek,et al.  Justified Beliefs by Justified Arguments , 2014, KR.

[8]  Johan van Benthem,et al.  Dynamic Logics of Evidence-Based Beliefs , 2011, Stud Logica.

[9]  Aybüke Özgün,et al.  Justified Belief and the Topology of Evidence , 2016, WoLLIC.

[10]  Johan van Benthem,et al.  Evidence Logic: A New Look at Neighborhood Structures , 2012, Advances in Modal Logic.

[11]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[12]  Fernando R. Velázquez-Quesada,et al.  Beliefs supported by binary arguments , 2018, J. Appl. Non Class. Logics.

[13]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[14]  Henry Prakken,et al.  A general account of argumentation with preferences , 2013, Artif. Intell..

[15]  Sanjay Modgil,et al.  A Rational Account of Classical Logic Argumentation for Real-World Agents , 2016, ECAI.

[16]  Alexandru Baltag,et al.  The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge , 2012, WoLLIC.

[17]  R. Fumerton,et al.  Foundationalist Theories of Epistemic Justification , 2000 .

[18]  Alexandru Baltag,et al.  The logic of justified belief, explicit knowledge, and conclusive evidence , 2014, Ann. Pure Appl. Log..

[19]  Pietro Baroni,et al.  Abstract Argumentation Frameworks and Their Semantics , 2018 .

[20]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

[21]  Rohit Parikh,et al.  SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US? , 2008, The Review of Symbolic Logic.

[22]  Sergei N. Artëmov.  Justification Awareness Models , 2018, LFCS.

[23]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[24]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[25]  Sanjay Modgil,et al.  Preferences and Unrestricted Rebut , 2014, COMMA.

[26]  Christian Straßer,et al.  Revisiting Unrestricted Rebut and Preferences in Structured Argumentation , 2017, IJCAI.