Assumption-Based Argumentation Equipped with Preferences

The existing approaches which map the given explicit preferences into standard assumption-based argumentation frameworks (ABAs) reveal some difficulties such as generating a huge number of rules and so on. To overcome them, we present an assumption-based argumentation framework equipped with preferences (p_ABA). It increases the expressive power of ABA by incorporating preferences between sentences into the framework. The semantics of p_ABAs is given by \(\mathcal{P}\) extensions selected from extensions of ABAs based on the given sentence ordering. The advantages of our approach are that not only it enables us to express different kinds of preferences such as preferences over rules, over goals, over decisions by means of sentence orderings in p_ABAs but we also successfully obtain solutions from \(\mathcal{P}\) extensions of the p_ABAs expressing the respective knowledge for various applications such as epistemic reasoning, practical reasoning, decision-making with preferences and so on in a uniform way without suffering from difficulties of existing ones.

[1]  Toshiko Wakaki,et al.  Preference-based argumentation built from prioritized logic programming , 2015, J. Log. Comput..

[2]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[3]  Martin Caminada,et al.  On the Difference between Assumytion-Based Argumentation and Abstract Argumentation , 2015, FLAP.

[4]  Hannes Strass,et al.  Abstract Dialectical Frameworks Revisited , 2013, IJCAI.

[5]  Robert Craven,et al.  Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study , 2013, CLIMA.

[6]  Chiaki Sakama,et al.  Prioritized logic programming and its application to commonsense reasoning , 2000, Artif. Intell..

[7]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems , 2011, Lecture Notes in Computer Science.

[8]  Claudette Cayrol,et al.  On the Acceptability of Arguments in Preference-based Argumentation , 1998, UAI.

[9]  Hans Tompits,et al.  A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning , 2004, Comput. Intell..

[10]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[11]  Trevor J. M. Bench-Capon,et al.  On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.

[12]  Takao Terano,et al.  New Frontiers in Artificial Intelligence , 2008, Lecture Notes in Computer Science.

[13]  Trevor J. M. Bench-Capon,et al.  Justifying Actions by Accruing Arguments , 2006, COMMA.

[14]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[15]  Toshiko Wakaki.  Preference-Based Argumentation Capturing Prioritized Logic Programming , 2010, ArgMAS.

[16]  Francesca Toni,et al.  A tutorial on assumption-based argumentation , 2014, Argument Comput..

[17]  Georg Gottlob,et al.  Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics , 1993, ILPS.

[18]  Tran Cao Son,et al.  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[19]  Henry Prakken,et al.  Some Reflections on Two Current Trends in Formal Argumentation , 2012, Logic Programs, Norms and Action.

[20]  Francesca Toni.  Assumption-Based Argumentation for Selection and Composition of Services , 2007, CLIMA.

[21]  Francesca Toni,et al.  Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning , 2007, JSAI.

[22]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[23]  Katsumi Nitta,et al.  Computing Argumentation Semantics in Answer Set Programming , 2009, JSAI.

[24]  Pompeu Casanovas,et al.  Computable Models of the Law, Languages, Dialogues, Games, Ontologies , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[25]  Chiaki Sakama,et al.  Paraconsistent Stable Semantics for Extended Disjunctive Programs , 1995, J. Log. Comput..

[26]  Phan Minh Dung,et al.  Assumption-Based Argumentation , 2009, Argumentation in Artificial Intelligence.

[27]  Trevor J. M. Bench-Capon,et al.  Coherence in finite argument systems , 2002, Artif. Intell..

[28]  Alexander Artikis,et al.  Logic Programs, Norms and Action , 2012, Lecture Notes in Computer Science.

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

[30]  Francesca Toni.  Assumption-Based Argumentation for Epistemic and Practical Reasoning , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[31]  Francesca Toni,et al.  An Assumption-Based Framework for Non-Monotonic Reasoning , 1993, LPNMR.

[32]  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..

[33]  Phan Minh Dung,et al.  Closure and Consistency Rationalities in Logic-Based Argumentation , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

[34]  Srdjan Vesic,et al.  Repairing Preference-Based Argumentation Frameworks , 2009, IJCAI.

[35]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..