An abductive logic programming architecture for negotiating agents

被引：25
作者：
Sadri, F
Toni, R
Torroni, P
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7, England
[2] Univ Bologna, DEIS, I-40136 Bologna, Italy
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH | 2002年 / 2424卷
关键词：
D O I：
10.1007/3-540-45757-7_35
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we present a framework for agent negotiation based on abductive logic programming. The framework is based on an existing architecture for logic-based agents, and extends it by accommodating dialogues for negotiation. As an application of negotiating agents, we propose a resource-exchanging problem. The innovative contribution of this work is in the definition of an operational model, including an agent cycle and dialogue cycle, and in the results that apply in the general case of abductive agents and in the specific case of a class of agent systems.
引用
收藏
页码：419 / 431
页数：13
相关论文
共 50 条
[41]   Special issue: abductive logic programming - Guest editors' introduction [J].
Denecker, M ;
Kakas, A .
JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3) :1-4
[42]   LAILA: a language for coordinating abductive reasoning among logic agents [J].
Ciampolini, A ;
Lamma, E ;
Mello, P ;
Torroni, P .
COMPUTER LANGUAGES, 2001, 27 (04) :137-161
[43]   A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context [J].
de Oliveira, Osvaldo Luiz ;
Oliveira, Carlos Eduardo A. ;
Martins, Ricardo Jose ;
Matsumoto, Marcio .
2016 FIFTEENTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (MICAI): ADVANCES IN ARTIFICIAL INTELLIGENCE, 2016, :99-105
[44]   An abductive proof procedure for reasoning about actions in modal logic programming [J].
Baldoni, M ;
Giordano, L ;
Martelli, A ;
Patti, V .
NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 :132-150
[45]   Abduction in logic programming: A new definition and an abductive procedure based on rewriting [J].
Lin, FZ ;
You, JH .
ARTIFICIAL INTELLIGENCE, 2002, 140 (1-2) :175-205
[46]   Logic programming for evolving agents [J].
Alferes, JJ ;
Brogi, A ;
Leite, JA ;
Pereira, LM .
COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, 2003, 2782 :281-297
[47]   Mobile agents and logic programming [J].
Hayashi, H ;
Cho, K ;
Ohsuga, A .
MOBILE AGENTS, PROCEEDINGS, 2002, 2535 :32-46
[48]   Using abductive logic agents for modeling the judicial evaluation of criminal evidence [J].
Ciampolini, A ;
Torroni, P .
APPLIED ARTIFICIAL INTELLIGENCE, 2004, 18 (3-4) :251-275
[49]   SLDNFA: An abductive procedure for abductive logic programs [J].
Denecker, M ;
De Schreye, D .
JOURNAL OF LOGIC PROGRAMMING, 1998, 34 (02) :111-167
[50]   Advice on abductive logic [J].
Gabbay, Dov ;
Woods, John .
LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) :189-219
12345