Abstract Argumentation Frameworks with Fallible Evidence

被引:1
|
作者
Skiba, Kenneth [1 ]
Thimm, Matthias [1 ]
Cohen, Andrea [2 ]
Gottifredi, Sebastian [2 ]
Garcia, Alejandro J. [2 ]
机构
[1] Univ Koblenz Landau, Mainz, Germany
[2] Univ Nacl Sur, CONICET, Bahia Blanca, Buenos Aires, Argentina
关键词
abstract argumentation; computational complexity; evidence retrieval cost; ACCEPTABILITY; SUPPORT;
D O I
10.3233/FAIA200518
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We consider a generalisation of abstract argumentation frameworks where arguments need to be backed by pieces of evidence in order to be actually present in the argumentation framework. These pieces of evidence come with an associated cost for retrieval and may not be available at any given time. We model an information-seeking agent in this scenario that aims at deciding whether a certain argument is acceptable while minimising the total evidence retrieval cost. We investigate the computational complexity of decision variants of this optimisation problem and find that, depending on the underlying classical argumentation semantics, complexity rises one level in the polynomial hierarchy compared to the classical case.
引用
收藏
页码:347 / 354
页数:8
相关论文
共 50 条
  • [1] Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence
    Cohen, Andrea
    Gottifredi, Sebastian
    García, Alejandro J.
    Simari, Guillermo R.
    Journal of Artificial Intelligence Research, 2022, 75 : 1293 - 1322
  • [2] Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence br
    Cohen, Andrea
    Gottifredi, Sebastian
    Garcia, Alejandro J.
    Simari, Guillermo R.
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 75 : 1293 - 1322
  • [3] Abstract argumentation scheme frameworks
    Atkinson, Katie
    Bench-Capon, Trevor
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, 2008, 5253 : 220 - 234
  • [4] Merging of Abstract Argumentation Frameworks
    Delobelle, Jerome
    Haret, Adrian
    Konieczny, Sebastien
    Mailly, Jean-Guy
    Rossit, Julien
    Woltran, Stefan
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 33 - 42
  • [5] A logic of argumentation for specification and verification of abstract argumentation frameworks
    Villata, Serena
    Boella, Guido
    Gabbay, Dov M.
    van der Torre, Leendert
    Hulstijn, Joris
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 66 (1-4) : 199 - 230
  • [6] A logic of argumentation for specification and verification of abstract argumentation frameworks
    Serena Villata
    Guido Boella
    Dov M. Gabbay
    Leendert van der Torre
    Joris Hulstijn
    Annals of Mathematics and Artificial Intelligence, 2012, 66 : 199 - 230
  • [7] On Deciding Admissibility in Abstract Argumentation Frameworks
    Nofal, Samer
    Atkinson, Katie
    Dunne, Paul E.
    KEOD: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 2: KEOD, 2019, : 67 - 75
  • [8] On acceptance conditions in abstract argumentation frameworks
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Trubitsyna, Irina
    INFORMATION SCIENCES, 2023, 625 : 757 - 779
  • [9] Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract
    Airiau, Stephane
    Bonzon, Elise
    Endriss, Ulle
    Maudet, Nicolas
    Rossit, Julien
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4776 - 4780
  • [10] On Admissibility in Timed Abstract Argumentation Frameworks
    Laura Cobo, Ma
    Martinez, Diego C.
    Simari, Guillermo R.
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 1007 - 1008