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 条
  • [31] How Argumentation can Enhance Dialogues in Social Networks
    Heras, Stella
    Atkinson, Katie
    Botti, Vicente
    Grasso, Floriana
    Julian, Vicente
    McBurney, Peter
    COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 267 - 274
  • [32] On a Formal Treatment of Deception in Argumentative Dialogues
    Takahashi, Kazuko
    Yokohama, Shizuka
    MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2016, 2017, 10207 : 390 - 404
  • [33] Formal Verification of Debates in Argumentation Theory
    Jha, Ria
    Belardinelli, Francesco
    Toni, Francesca
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 940 - 947
  • [34] Approximating problems in abstract argumentation with graph convolutional networks
    Malmqvist, Lars
    Yuan, Tangming
    Nightingale, Peter
    ARTIFICIAL INTELLIGENCE, 2024, 336
  • [35] On the Formal Assessment of Argumentation Support Systems
    Karacapilidis, Nikos
    Peppas, Pavlos
    SMART DIGITAL FUTURES 2014, 2014, 262 : 182 - 189
  • [36] Modular orders on defaults in formal argumentation
    Pardo, Pere
    Strasser, Christian
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 34 (04) : 665 - 697
  • [37] Prioritized Norms and Defaults in Formal Argumentation
    Liao, Beishui
    Oren, Nir
    van der Torre, Leendert
    Villata, Serena
    DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 139 - 154
  • [38] Text Summarization using Formal Argumentation
    Sukprapa, Isada
    Hung, Nguyen Duy
    Supnithi, Thepchai
    16TH INTERNATIONAL JOINT SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND NATURAL LANGUAGE PROCESSING (ISAI-NLP 2021), 2021,
  • [40] An executable specification of a formal argumentation protocol
    Artikis, Alexander
    Sergot, Marek
    Pitt, Jeremy
    ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 776 - 804