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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ramos, F., Zúñiga, F., Piza, H.I.: A 3D-Space Platform for Distributed Applications Management. In: International Symposium and School on Advanced Distributed Systems 2002 (ISSADS 2002). Guadalajara, Jal., México (November 2002) ISBN 970-27-0358-1
Iván Piza, H., Zuñiga, F., Ramos, F.R.: A Platform to Design and Run Dynamic Virtual Environments. To be published in CyberWorld, Tokyo, Japan (2004)
Groote, J.F., Reniers, M.A.: Algebraic process verification. In: Bergstra, J.A., et al. (eds.) Handbook of process algebra, ch. 17, Elsevier, Amsterdam (2001)
Katoen, J.-P., Langerak, R., Latella, D.: Modelling Systems by Probabilistic Process Algebra: An Event Structures Approach. In: Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI, Department of Computer Science, University of Twente, October 26-29, pp. 253–268 (1993)
Logrippo, L., Haj-Hussein: An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23(5), 325–342 (1992)
Drayton, L., Chetwynd, A., Blair, G.: An introduction to LOTOS through a worked example. Distributed Multimedia Research Group, School of Engineering, Computing and Mathematical Sciences, Lancaster University, Bailrigg, Lancaster LA1 4YR
Diestel, R.: Graph Theory, 2nd edn. Graduate Texts in Mathematics, vol. 173, p. 122 (2000), XIV, 313, illus., Softcover ISBN: 0-387-98976-5
Journal of Graph Theory. Copyright 2004 Wiley Periodicals, Inc., A Wiley Company 12, 45–47 (2004) Online ISSN: 1097-0118. Print ISSN: 0364-9024
Bäck, T., Hoffmeister, F., Schwefel, H.-P.: A Survey of Evolution Strategies. University of Dortmund, Department of Computer Science XI, Germany
Bäck, T., Fogel, D., Michalewicz, Z.: Handbook of Evolutionary Computation. Oxford University Press, New York (1997)
Holland, J.H.: Adaptation in Natural and Artificial Systems. University of Michigan Press, Ann Arbor (1975)
Yao, X.: A review of Evolutionary Artificial. Neural Networks. Commonwealth Scientific and Industrial Research Organisation Division of Building, Construction and Engineering, Australia
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zúñiga, F., Ramos, F., Piza, H.I. (2005). Specifying Agent’s Goals in 3D Scenarios Using Process Algebras. In: Ramos, F.F., Larios Rosillo, V., Unger, H. (eds) Advanced Distributed Systems. ISSADS 2005. Lecture Notes in Computer Science, vol 3563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533962_43
Download citation
DOI: https://doi.org/10.1007/11533962_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28063-7
Online ISBN: 978-3-540-31674-9
eBook Packages: Computer ScienceComputer Science (R0)