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. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
Zúñiga, F., Ramos, F., & Piza, H. I. (2005). Specifying agent’s goals in 3D scenarios using process algebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3563 LNCS, pp. 472–482). Springer Verlag. https://doi.org/10.1007/11533962_43
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
