On Deciding Admissibility in Abstract Argumentation Frameworks

被引：0

作者：

Nofal, Samer ^{[1
]}

Atkinson, Katie ^{[2
]}

Dunne, Paul E. ^{[2
]}

机构：

[1] German Jordanian Univ, Dept Comp Sci, Amman, Jordan

[2] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England

来源：

KEOD: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 2: KEOD | 2019年

关键词：

Argument-based Knowledge Base; Argument-based Reasoning; Computational Argumentation; Algorithms; DECISION-PROBLEMS; ALGORITHMS; SYSTEMS; INCONSISTENCY;

D O I：

10.5220/0008064300670075

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the context of abstract argumentation frameworks, the admissibility problem is about deciding whether a given argument (i.e. piece of knowledge) is admissible in a conflicting knowledge base. In this paper we present an enhanced backtracking-based algorithm for solving the admissibility problem. The algorithm performs successfully when applied to a wide range of benchmark abstract argumentation frameworks and when compared to the state-of-the-art algorithm.

引用

页码：67 / 75

页数：9

共 35 条

[1]

Alfano G, 2017, PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P49

[2] Inferring from inconsistency in preference-based argumentation frameworks [J].

Amgoud, L ;

Cayrol, C .

JOURNAL OF AUTOMATED REASONING, 2002, 29 (02) :125-169

[3]

Amgoud L, 2010, LECT NOTES ARTIF INT, V6379, P56

[4] Toward Artificial Argumentation [J].

Atkinson, Katie ;

Baroni, Pietro ;

Giacomin, Massimiliano ;

Hunter, Anthony ;

Prakken, Henry ;

Reed, Chris ;

Simari, Guillermo ;

Thimm, Matthias ;

Villata, Serena .

AI MAGAZINE, 2017, 38 (03) :25-36

[5] An introduction to argumentation semantics [J].

Baroni, Pietro ;

Caminada, Martin ;

Giacomin, Massimiliano .

KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (04) :365-410

[6] Using Argumentation to Structure E-Participation in Policy Making [J].

Bench-Capon, Trevor ;

Atkinson, Katie ;

Wyner, Adam .

TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS XVIII: SPECIAL ISSUE ON DATABASE- AND EXPERT-SYSTEMS APPLICATIONS, 2015, 8980 :1-29

[7]

Caminada M.W., 2009, Stud. Log, V93, P109, DOI [10.1007/s11225-009-9218-x, DOI 10.1007/S11225-009-9218-X]

[8] On decision problems related to the preferred semantics for argumentation frameworks [J].

Cayrol, C ;

Doutre, S ;

Mengin, J .

JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (03) :377-403

[9] Methods for solving reasoning problems in abstract argumentation - A survey [J].

Charwat, Guenther ;

Dvorak, Wolfgang ;

Gaggl, Sarah A. ;

Wallner, Johannes P. ;

Woltran, Stefan .

ARTIFICIAL INTELLIGENCE, 2015, 220 :28-63

[10]

Croitoru M, 2013, LECT NOTES ARTIF INT, V8078, P15, DOI 10.1007/978-3-642-40381-1_2

← 1 2 3 4 →