A concurrent agent model based on twin-subset semantic

Authors:
Youmin Ke;Shanli Hu
Affiliations:
Department of Computer Science and Technology, Fuzhou University, Fuzhou, China;Department of Computer Science and Technology, Fuzhou University, Fuzhou, China
Venue:
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Year:
2006

Citing 4
Cited 0

Intention is choice with commitment

Artificial Intelligence
A Truly Concurrent Model for Interacting Agents

PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
A representationalist theory of intention

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Under the multi-agent system (MAS) circumstances, the concurrent behaviors turn out to be very important. Concurrent behaviors can be divided into irrelative and correlative, most of them are correlative and agents should be able to deduce their behaviors. This paper put forward a concurrent Agent model based on twin-subset semantic. This model aims at the characteristics of concurrent behaviors in MAS. Based on twin-subset semantic, the logical omniscience problem and other related problems (such as side-effect problem) can be avoided. This model divides the time set into macro-time and micro-time sets, and describes the concurrency in macro-time level. In this model, parallel actions in macro-time are interleaving in micro-time level. It can be applied to establish the logical foundation for the cooperation and competition based on concurrency in MAS.