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 条
  • [1] A Formal Argumentation Framework for Deliberation Dialogues
    Kok, Eric M.
    Meyer, John-Jules Ch.
    Prakken, Henry
    Vreeswijk, Gerard A. W.
    ARGUMENTATION IN MULTI-AGENT SYSTEMS (ARGMAS), 2011, 6614 : 31 - 48
  • [2] A formal analysis of the role of argumentation in negotiation dialogues
    Amgoud, Leila
    Vesic, Srdjan
    JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (05) : 957 - 978
  • [3] Formal Analysis of Dialogues on Infinite Argumentation Frameworks
    Belardinelli, Francesco
    Grossi, Davide
    Maudet, Nicolas
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 861 - 867
  • [4] Modelling dialogues using argumentation
    Amgoud, L
    Maudet, N
    Parsons, S
    FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 31 - 38
  • [5] FORMAL LOGIC AND ARGUMENTATION
    Oller, Carlos A.
    REVISTA DE FILOSOFIA Y TEORIA POLITICA, 2006, 37 : 83 - 91
  • [6] ENFORCEMENT IN FORMAL ARGUMENTATION
    Baumann, Ringo
    Doutre, Sylvie
    Mailly, Jean-Guy
    Wallner, Johannes P.
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (06): : 1623 - 1677
  • [7] On the Interplay between Games, Argumentation and Dialogues
    Fan, Xiuyi
    Toni, Francesca
    AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 260 - 268
  • [8] Mathematical Argumentation in Pupils' Written Dialogues
    Askevold, Gjert-Anders
    Lekaus, Silke
    ADVANCES IN MATHEMATICS EDUCATION RESEARCH ON PROOF AND PROVING: AN INTERNATIONAL PERSPECTIVE, 2018, : 155 - 170
  • [9] Enforcement in formal argumentation
    Baumann, Ringo
    Doutre, Sylvie
    Mailly, Jean-Guy
    Wallner, Johannes P.
    Journal of Applied Logics, 2021, 8 (06): : 1623 - 1678
  • [10] Modelling Dialogues in a Concurrent Language for Argumentation
    Bistarelli, Stefano
    Chiara, Maria M.
    Taticchi, Carlo
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 277 - 290