Sciweavers

84 search results - page 1 / 17
» Modelling and Specifying Scenarios and Agent Behaviour
Sort
View
IAT
2003
IEEE
13 years 10 months ago
Modelling and Specifying Scenarios and Agent Behaviour
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
Lijun Shan, Hong Zhu
SEKE
2005
Springer
13 years 10 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
IAT
2008
IEEE
13 years 11 months ago
Relating Cognitive Process Models to Behavioural Models of Agents
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
Alexei Sharpanskykh, Jan Treur
JOT
2010
144views more  JOT 2010»
13 years 3 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
ATAL
2009
Springer
13 years 9 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon