Abstract
In this paper, we investigate the use of logic-based multi-agent systems for modelling active environments. Our case study is an intelligent support system for a so-called “active museum”. We show the approach of structuring the “agent space”, i.e., the social organisations acting within the environment, is well fitted to naturally represent not only the physical structure of the application, but also the virtual structure in which it operates. The adoption of a logic-based modelling system provides high-level programming concepts, and allows the designer to rapidly design and develop flexible software to be used in active environments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)
Bordini, R., Visser, W., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking multi-agent programs with CASP. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 110–113. Springer, Heidelberg (2003)
Bratman, M.E.: Intentions, Plans, and Practical Reason. Havard University Press, Cambridge (1987)
Busetta, P., Doná, A., Nori, M.: Channeled multicast for group communications. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1280–1287. ACM Press, New York (2002)
Busetta, P., Kuflik, T., Merzi, M., Rossi, S.: Service delivery in smart environments by implicit organizations. In: Proceedings of the First Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), Boston, MA, USA, August 22-26, pp. 356–363. IEEE Computer Society Press, Los Alamitos (2004)
Busetta, P., Merzi, M., Rossi, S., Legras, F.: Intra-Role Coordination Using Group Communication: A Preliminary Report. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 231–253. Springer, Heidelberg (2004)
Ferber, J., Gutknecht, O.: Aalaadin: a meta-model for the analysis and design of organisations in multi-agent systems. Research Report R.R.LIRMM 97189, LIRM, Université Montpelier, France (December 1997)
Fisher, M.: Concurrent MetateM — A Language for Modeling Reactive Systems. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694. Springer, Heidelberg (1993)
Fisher, M.: An Introduction to Executable Temporal Logics. Knowledge Engineering Review 11(1), 43–56 (1996)
Fisher, M.: A normal form for temporal logic and its application in theorem-proving and execution. Journal of Logic and Computation 7(4), 429–456 (1997)
Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Francisco (1999)
Fisher, M., Ghidini, C.: The ABC of rational agent modelling. In: Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS 2002), Bologna, Italy (July 2002)
Fisher, M., Kakoudakis, T.: Flexible agent grouping in executable temporal logic. In: Proceedings of the 12th International Symposium of Intensional Programming Languages (1999)
Goldblatt, R.: Logics of Time and Computation, 2nd edn. CLSI Lecture Notes, vol. 7. CLSI, Stanford (1992)
Hirsch, B., Fisher, M., Ghidini, C.: Organising logic-based agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 15–27. Springer, Heidelberg (2003)
Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems 1, 275–306 (1998)
Agent Oriented Software Ltd. The JACK programming language (2000), http://agent-software.com.au
McCarthy, J.: Active environments: Sensing and responding to groups of people. Personal and Ubiquitous Computing 5(1) (2001)
Stock, O., Zancanaro, M.: Intelligent Interactive Information Presentation for Cultural Tourism. In: Proceedings of the International CLASS Workshop on Natural Intelligent and Effective Interaction in Multimodal Dialogue Systems, Copenhagen, Denmark, June 2002, pp. 28–29 (2002)
Pynadath, D., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Journal of Autonomous Agents and Multiagent Systems (2002)
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
Hirsch, B., Fisher, M., Ghidini, C., Busetta, P. (2005). Organising Software in Active Environments. In: Leite, J., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533092_16
Download citation
DOI: https://doi.org/10.1007/11533092_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28060-6
Online ISBN: 978-3-540-31857-6
eBook Packages: Computer ScienceComputer Science (R0)