Approximating agreements in formal argumentation dialogues

被引:1
|
作者
Nieves, Juan Carlos [1 ]
机构
[1] Umea Univ, Dept Comp Sci, SE-90187 Umea, Sweden
关键词
Formal dialogues; non-monotonic reasoning; logic programming; goal reasoning; strategic argumentation; FRAMEWORK; SYSTEMS;
D O I
10.3233/AIC-190622
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In many real applications, to reach an agreement between the participants of a dialogue, which can be for instance a negotiation, is not easy. Indeed, there are application domains such as the medical domain where to reach a consensus among medical professionals is not feasible and might be even regarded as counterproductive. In this paper, we introduce an approach for expressing qualitative preferences between the goals of a dialogue considering ordered disjunction rules. By applying argumentation semantics and degrees of satisfaction of goals, we introduce the so-called dialogue agreement degree. Moreover, by considering sets of dialogue agreement degrees, we define a lattice of agreement degrees. We argue that a lattice of agreement degrees suggests different approximations between the current state of a dialogue and its aimed goals; hence, a lattice of agreement degrees can help to define different heuristics in the settings of strategic argumentation.
引用
收藏
页码:335 / 346
页数:12
相关论文
共 50 条
  • [21] Formal Argumentation in Symbolic AI
    Ulbricht, Markus
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 8577 - 8582
  • [22] The Formal Argumentation Libraries of Tweety
    Thimm, Matthias
    THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION, TAFA 2017, 2018, 10757 : 137 - 142
  • [23] Prioritized norms in formal argumentation
    Liao, Beishui
    Oren, Nir
    van der Torre, Leendert
    Villata, Serena
    JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (02) : 215 - 240
  • [24] A logical account of formal argumentation
    Caminada M.W.A.
    Gabbay D.M.
    Studia Logica, 2009, 93 (2-3) : 109 - 145
  • [25] Formal Argumentation and Epistemic Entrenchment
    D'Agostino, Marcello
    COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 5 - 5
  • [26] A Temporal Argumentation Approach to Cooperative Planning Using Dialogues
    Pardo, Pere
    Godo, Lluis
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, 2013, 8143 : 307 - 324
  • [27] Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina
    Lawrence, John
    Bex, Floris
    Reed, Chris
    COMPUTATIONAL MODELS OF ARGUMENT, 2012, 245 : 513 - 514
  • [28] A temporal argumentation approach to cooperative planning using dialogues
    Pardo, Pere
    Godo, Lluis
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (03) : 551 - 580
  • [29] Argumentation Dialogues for Two-Agent Conflict Resolution
    Fan, Xiuyi
    Toni, Francesca
    COMPUTATIONAL MODELS OF ARGUMENT, 2012, 245 : 249 - 260
  • [30] Natural piety in the 'Dialogues' (David!Hume and theological argumentation)
    Sessions, WL
    INTERNATIONAL JOURNAL FOR PHILOSOPHY OF RELIGION, 2001, 49 (01) : 49 - 62