Proposition of formal semantics for multi-agent systems

Computers and Industrial Engineering

Volumn 37, Issue 1, 1999, Pages 453-456

  Chainbi, Walid ^a  

^a UNIVERSITY OF SFAX   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; PETRI NETS;

DISTRIBUTED ARTIFICIAL INTELLIGENCE; FORMAL SEMANTICS; MULTI AGENT SYSTEM;

COMPUTATIONAL LINGUISTICS;

EID: 0032599485     PISSN: 03608352     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0360-8352(99)00116-3     Document Type: Article

References (7)

1. Chainbi, W. (1997). Cooperation in multi-agent systems. Internal report, LARIS, F.S.E.G, Sfax.
2. Chainbi, W. and Hannachi, C. and Sibertin-Blanc, C. (1996). The multi-agent prey/predator problem: A petri net solution. In: Proc. of CESA'96 IMACS Multiconference, IEEE-SMC, Lille.
3. Cohen, P.R. and Levesque, H.J. (1990). Intention is choice with commitment, Artificial Intelligence, 42, 213-261.
4. Purvis, M. and Cranefield, S. (1996). Agent modelling with petri nets. In: Proc. of CESA'96 IMACS Multiconference, IEEE-SMC, Lille.
5. Rao, A.S. and Georgeff, M.P. (1991). An abstract architecture for rational agents. In: Proc. of KR&R, 473-484.
6. Wooldridge, M. (1994). This is MYWORLD: The logic of an agent-oriented DAI testbed, LNAI 890, Springer-Verlag.
7. Wooldridge, M. and Jennings, N.R. (1994). Agent theories, architectures, and languages: A survey. LNAI 890, Springer-Verlag.