Specifying agent's goals in 3d scenarios using process algebras

Authors:
Fabiel Zúñiga;Félix Ramos;H. Ivan Piza
Affiliations:
Research and Advanced Studies Center (CINVESTAV), Guadalajara, Jalisco, México;Research and Advanced Studies Center (CINVESTAV), Guadalajara, Jalisco, México;Research and Advanced Studies Center (CINVESTAV), Guadalajara, Jalisco, México
Venue:
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Year:
2005

Citing 3
Cited 0

An introduction to LOTOS: learning by examples

Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach

FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
A Platform to Design and Run Dynamic Virtual Environments

CW '04 Proceedings of the 2004 International Conference on Cyberworlds

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a method to specify agent's goals using process algebras. Formal specification of agent's goal is important in goal oriented works because it allows more detailed description about what we want an agent to do and also is possible to detect possible problems. In this paper we present the method we use to specify formally agent's goals in GeDA-3D a platform useful to implement distributed applications where a 3D interface is useful.