Defining new argumentation-based semantics by minimal models

Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and artificial intelligence (AT). Based on a proper representation of Dung's argumentation approach and minimal models, we introduce a novel argumentation semantics called preferred+ semantics which follows the preferred semantics' philosophy. Also, we show how to infer preferred+ semantics using a software tool called SI-COBRA that was introduced recently

[1]  Sarvapali D. Ramchurn,et al.  Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[2]  Trevor J. M. Bench-Capon.  Value-based argumentation frameworks , 2002, NMR.

[3]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[4]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

[5]  J. Pollock.  Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[6]  Claudio Ulises Cortés García,et al.  Modeling argumentation based semantics using non-monotonic reasoning , 2005 .

[7]  Trevor J. M. Bench-Capon,et al.  Complexity in Value-Based Argument Systems , 2004, JELIA.

[8]  Maurice Bruynooghe,et al.  Database Repair by Signed Formulae , 2004, FoIKS.

[9]  Mauricio Osorio,et al.  Mining Common Patterns on Graphs , 2005, CIS.

[10]  Pietro Baroni,et al.  Evaluating Argumentation Semantics with Respect to Skepticism Adequacy , 2005, ECSQARU.

[11]  Ulises Cortés,et al.  Inferring acceptable arguments with answer set programming , 2005, Sixth Mexican International Conference on Computer Science (ENC'05).

[12]  Ulises Cortés,et al.  Supporting decision making in organ transplanting using argumentation theory , 2006, LA-NMR.

[13]  Mauricio Osorio,et al.  Inexact Graph Matching: A Case of Study , 2006, FLAIRS Conference.

[14]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[15]  Seventh Mexican International Conference on Computer Science, ENC 2006, 18-22 September 2006, San Luis Potosi, Mexico , 2006, ENC.

[16]  Jürgen Dix,et al.  A general theory of confluent rewriting systems for logic programming and its applications , 2001, Ann. Pure Appl. Log..

[17]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[18]  Martin Caminada.  Contamination in Formal Argumentation Systems , 2005, BNAIC.

[19]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[20]  Juan Carlos Nieves,et al.  Using Arguing Agents to increase the Human Organ Pool for Transplantation , 2003 .

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

[22]  Yannis Dimopoulos,et al.  Graph theoretical structures in logic programs and default theories , 1996 .