Games that agents play: A formal framework for dialogues between autonomous agents

被引：140
|
作者：
McBurney P. [1 ]
Parsons S. [1 ]
机构：
[1] Department of Computer Science, University of Liverpool
来源：
Journal of Logic, Language and Information | 2002年 / 11卷 / 3期
基金：
英国工程与自然科学研究理事会;
关键词：
Autonomous agents; Computational dialectics; Dialogue games;
D O I：
10.1023/A:1015586128739
中图分类号：
学科分类号：
摘要：
We present a logic-based formalism for modeling of dialogues between intelligent and autonomous software agents, building on a theory of abstract dialogue games which we present. The formalism enables representation of complex dialogues as sequences of moves in a combination of dialogue games, and allows dialogues to be embedded inside one another. The formalism is computational and its modular nature enables different types of dialogues to be represented. © 2002 Kluwer Academic Publishers.
引用
收藏
页码：315 / 334
页数：19
相关论文
共 50 条
  • [1] Towards a formal framework for the search of a consensus between autonomous agents
    Amgoud, Leila
    Belabbes, Sihem
    Prade, Henri
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2006, 4049 : 264 - 278
  • [2] A formal framework supporting the specification of the interactions between agents
    Mokhati, Farid
    Badri, Mourad
    Badri, Linda
    Informatica (Ljubljana), 2007, 31 (03) : 337 - 350
  • [3] A Formal Framework Supporting the Specification of the Interactions between Agents
    Mokhati, Farid
    Badri, Mourad
    Badri, Linda
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2006, 30 (01): : 97 - 110
  • [4] Formal Framework Supporting the Specification of the Interactions between Agents
    Mokhati, Farid
    Badri, Mourad
    Badri, Linda
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2007, 31 (03): : 337 - 350
  • [5] A Formal Framework for Interactive Agents
    Talcott, Carolyn L.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (03) : 95 - 106
  • [6] Formal verification of autonomous control agents
    Veres, SM
    Luo, J
    PROCEEDINGS OF THE SIXTH IASTED INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL, 2004, : 140 - 144
  • [7] Formal Assurance for Cooperative Intelligent Autonomous Agents
    Bhattacharyya, Siddhartha
    Eskridge, Thomas C.
    Neogi, Natasha A.
    Carvalho, Marco
    Stafford, Milton
    NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 20 - 36
  • [8] Dialogue games that agents play within a society
    Karunatillake, Nishan C.
    Jennings, Nicholas R.
    Rahwan, Iyad
    McBurney, Peter
    ARTIFICIAL INTELLIGENCE, 2009, 173 (9-10) : 935 - 981
  • [9] A formal framework to build software agents
    Patra, MR
    Mohanty, H
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 119 - 126
  • [10] Constrained coalitional games and networks of autonomous agents
    Baras, John S.
    Jiang, Tho
    Purkayastha, Punyaslok
    2008 3RD INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS, CONTROL AND SIGNAL PROCESSING, VOLS 1-3, 2008, : 972 - 979
12345