A denotational semantics for deliberation dialogues

被引：0

作者：

McBurney, P ^{[1
]}

Parsons, S

机构：

[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 7FZ, Merseyside, England

[2] CUNY Brooklyn Coll, Dept Comp & Informat Sci, Brooklyn, NY 11210 USA

来源：

ARGUMENTATION IN MULTI-AGENT SYSTEMS | 2005年 / 3366卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a denotational semantics for agent deliberation dialogues, i.e., dialogues over proposed actions, conducted under a broad class of interaction protocols. The semantics uses category-theoretic entities to represent deals proposed by agents and the preferences they articulate between these. The semantics is constructed jointly and incrementally by the participating agents in the course of the dialogue, and evolves with the dialogue. We consider properties of the semantics relating to deals and dialogue termination.

引用

页码：162 / 175

页数：14

共 32 条

[1] GAMES AND FULL COMPLETENESS FOR MULTIPLICATIVE LINEAR LOGIC [J].

ABRAMSKY, S ;

JAGADEESAN, R .

JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) :543-574

[2]

Ambler S., 1996, Mathematical Structures in Computer Science, V6, P167, DOI 10.1017/S0960129500000931

[3]

AMGOUD L, P ECAI 2000, P388

[4]

Bratu M, 2002, LECT NOTES ARTIF INT, V2531, P161

[5]

BRYANT WDA, 2000, 62000 MACQ U

[6]

DUNNE PE, 2003, P 2 INT JOINT C AUT, P608

[7]

EHRESMANN AC, 1987, B MATH BIOL, V49, P13, DOI 10.1016/S0092-8240(87)80033-2

[8]

ENDRISS U, 2004, LNAI

[9]

*FIPA, 2002, SC00037J FIPA

[10]

*FIPA, 2001, XC00032F FIPA

← 1 2 3 4 →