Sciweavers

307 search results - page 22 / 62
» Formalizing Communication Protocols for Multiagent Systems
Sort
View
ATAL
2005
Springer
15 years 3 months ago
Modeling exceptions via commitment protocols
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
Ashok U. Mallya, Munindar P. Singh
ATAL
2003
Springer
15 years 3 months ago
A preliminary taxonomy of multi-agent interactions
Discussions of agent interactions frequently characterize behavior as “coherent,” “collaborative,” “cooperative,” “competitive,” or “coordinated.” We propose a...
H. Van Dyke Parunak, Sven Brueckner, Mitchell Flei...
ICOIN
2001
Springer
15 years 2 months ago
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teru...
91
Voted
ATAL
2007
Springer
15 years 2 months ago
Hypotheses refinement under topological communication constraints
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...
Gauvain Bourgne, Gael Hette, Nicolas Maudet, Suzan...
99
Voted
CLIMA
2006
14 years 11 months ago
Belief Updating by Communication Channel
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo