A logic programming language for multi-agent systems

被引：34

作者：

Costantini, S ^{[1
]}

Tocchio, A ^{[1
]}

机构：

[1] Univ Aquila, Dipartimento Informat, I-67010 Coppito, Italy

来源：

LOGICS IN ARTIFICIAL INTELLIGENCE 8TH | 2002年 / 2424卷

关键词：

D O I：

10.1007/3-540-45757-7_1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a new logic programming language for modelling Agents and Multi-Agent systems in computational logic. The basic objective of the specification of this new language has been the identification and the formalization of what we consider to be the basic patterns for reactivity, proactivity, internal "thinking", and "memory". The formalization models these concepts by introducing different kinds of events, with a suitable treatment. We introduce a novel approach to the language semantics, called the evolutionary semantics.

引用

页码：1 / 13

页数：13

共 50 条

[41] Multi-agent VSK logic
Wooldridge, M
Lomuscio, A
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 300 - 312
[42] Undecidability of a multi-agent logic
Kacprzak, M
[J]. FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 213 - 220
[43] The Multi-Agent Programming Contest
Behrens, Tristan
Dastani, Mehdi
Dix, Juergen
Huebner, Jomi
Koester, Michael
Novak, Peter
Schlesinger, Federico
[J]. AI MAGAZINE, 2012, 33 (04) : 111 - 113
[44] Using the Erlang language for multi-agent systems implementation
Di Stefano, A
Santoro, C
[J]. 2005 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2005, : 679 - 685
[45] An architectural description language for secure Multi-Agent Systems
Mouratidis H.
Kolp M.
Giorgini P.
Faulkner S.
[J]. Web Intelligence and Agent Systems, 2010, 8 (01): : 99 - 122
[46] Creating a natural language interface for multi-agent systems
Wang, F
Yang, SX
Jusoh, S
[J]. ACTIVE MEDIA TECHNOLOGY, 2003, : 102 - 107
[47] On the timed temporal logic planning of coupled multi-agent systems
Nikou, Alexandros
Boskos, Dimitris
Tumova, Jana
Dimarogonas, Dimos V.
[J]. AUTOMATICA, 2018, 97 : 339 - 345
[48] Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications
Terashima, Keita
Kobayashi, Koichi
Yamashita, Yuh
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2024, E107A (01) : 31 - 37
[49] A complete coalition logic of temporal knowledge for multi-agent systems
Qingliang Chen
Kaile Su
Yong Hu
Guiwu Hu
[J]. Frontiers of Computer Science, 2015, 9 : 75 - 86
[50] The first contest on multi-agent systems based on computational logic
Dastani, Mehdi
Dix, Jurgen
Novak, Peter
[J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2006, 3900 : 373 - 384

← 1 2 3 4 5 →