Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences

被引:2
|
作者
Modgil, Sanjay [1 ]
机构
[1] Kings Coll London, Dept Informat, London, England
基金
英国工程与自然科学研究理事会;
关键词
Argumentation; Dialogue; Preferences; ASPIC(+); ARGUMENTATION FRAMEWORKS; PRACTICAL ARGUMENT; PERSUASION; SYSTEMS; GAMES; MODEL;
D O I
10.1007/978-3-319-75553-3_13
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Argumentation theory provides foundations for distributed non-monotonic reasoning in the form of inter-agent dialogues. However current dialogue models do not accommodate reasoning about possibly conflicting preferences used in arbitrating amongst attacking arguments. We provide a framework for persuasion dialogues that accommodates such reasoning. Agents exchange locutions that implicitly define an ASPIC(+) theory consisting of rules and premises. The theory's defined arguments instantiate an extended argumentation framework (EAF) that accommodates arguments claiming preferences over other arguments, so that evaluation of the EAF's justified arguments determines the outcome of the dialogue. We also evaluate the outcome of a dialogue based on the dialectical status of moves in the dialogue, propose restrictions on dialogue moves and conjecture correspondences between the two outcome definitions.
引用
收藏
页码:175 / 191
页数:17
相关论文
共 50 条
  • [41] A Unifying Framework for Reasoning about Normative Conflicts
    Beirlaen, Mathieu
    LOGICA YEARBOOK 2011, 2012, : 1 - 14
  • [42] An Argumentation Framework for Reasoning about Bounded Resources
    Besnard, Philippe
    Gregoire, Eric
    Raddaoui, Badran
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 540 - 547
  • [43] Reasoning about Loops in Total and General Correctness
    Dunne, Steve E.
    Hayes, Ian J.
    Galloway, Andy J.
    UNIFYING THEORIES OF PROGRAMMING, 2010, 5713 : 62 - +
  • [44] Towards Complete Reasoning about Axiomatic Specifications
    Jacobs, Swen
    Kuncak, Viktor
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 278 - 293
  • [45] Reasoning about trust: A formal logical framework
    Demolombe, R
    TRUST MANAGEMENT, PROCEEDING, 2004, 2995 : 291 - 303
  • [46] A Framework for Prototyping and Reasoning about Distributed Systems
    Aldinucci, Marco
    Danelutto, Marco
    Kilpatrick, Peter
    PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 235 - +
  • [47] Metric Reasoning About λ-Terms: The General Case
    Crubille, Raphaelle
    Dal Lago, Ugo
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 341 - 367
  • [48] A framework for geometric reasoning about tools in assembly
    Wilson, RH
    1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 1837 - 1844
  • [49] An argumentation framework for reasoning about bounded resources
    Besnard, Philippe
    Grégoire, Éric
    Raddaoui, Badran
    Revue d'Intelligence Artificielle, 2015, 29 (3-4) : 349 - 368
  • [50] A General Qualitative Framework for Temporal and Spatial Reasoning
    Jean-François Condotta
    Constraints, 2004, 9 : 99 - 121