Abstract
Context aware intelligent agents are key components in the development of pervasive systems. In this paper, we present an extension of a BDI programming language to support ontological reasoning and ontology-based speech act communication. These extensions were guided by the new requirements brought about by such emerging computing styles. These new features are essential for the development multi-agent systems with context awareness, given that ontologies have been widely pointed out as an appropriate way to model contexts.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J. L. Austin. How to Do Things with Words. Oxford University Press, London, 1962.
R. H. Bordini, J. F. Hübner, and R. Vieira. Jason and the Golden Fleece of agent-oriented programming. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming, chapter 1. Springer, 2005.
R. H. Bordini and Á. F. Moreira. Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence, 42(1–3): 197–226, Sept. 2004. Special Issue on Computational Logic in Multi-Agent Systems.
M. E. Bratman. Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
H. Chen, T. Finin, A. Joshi, F. Perich, D. Chakraborty, and L. Kagal. Intelligent agents meet the semantic web in smart spaces. IEEE Internet Computing, 19(5):69–79, 2004.
H. Chen, F. Perich, T. Finin, and A. Joshi. SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications. In International Conference on Mobile and Ubiquitous Systems: Networking and Services, Boston, MA, August 2004.
Y. Ding, D. Fensel, M. C. A. Klein, B. Omelayenko, and E. Schulten. The role of ontologies in ecommerce. In R. Studer, editors. Handbook on Ontologies. International Handbooks on Information Systems. Springer, 2004 Staab and Studer [21], pages 593–616.
I. Foster and C. Kesselman, editors. The Grid 2: Blueprint for a New Computing Infrastruc-ture. Morgan Kaufmann, second edition, 2003.
N. Gibbins, S. Harris, and N. Shadbolt. Agent-based semantic web services. J. Web Sem., 1(2):141–154, 2004.
V. Haarslev and R. Moller. Description of the RACER system and its applications. In Proceedings of the International Workshop in Description Logics 2001 (DL’01), 2001.
I. Horrocks. FaCT and iFaCT. In Proceedings of the International Workshop on Description Logics (DL’99), pages 133–135, 1999.
Y. Labrou and T. Finin. A semantics approach for KQML–a general purpose communication language for software agents. In Proceedings of the Third International Conference on Information and Knowledge Management (CIKM’94). ACM Press, Nov. 1994.
D. L. McGuinness and F van Harmelen, editors. OWL Web Ontology Language overview. W3C Recommendation. Avalilable at http://www.w3.org/TR/owl-features/, February 2004.
S. E. Middleton, D. D. Roure, and N. R. Shadbolt. Ontology-based recommender systems. In R. Studer, editors. Handbook on Ontologies. International Handbooks on Information Systems. Springer, 2004 Staab and Studer [21], pages 577–498.
Á. F. Moreira and R. H. Bordini. An operational semantics for a BDI agent-oriented programming language. Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), pages 45–59, 2002.
Á. F. Moreira, R. Vieira, and R. H. Bordini. Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Declarative Agent Languages and Technologies, Proceedings of the First International Workshop (DALT-03), LNAI, pages 135–154, Berlin, 2004. Springer-Verlag.
A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW’96), 22–25 January, Eindhoven, The Netherlands, number 1038 in LNAI, pages 42–55, London, 1996. Springer-Verlag.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293–343, 1998.
J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, 1969.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.
S. Staab and R. Studer, editors. Handbook on Ontologies. International Handbooks on Information Systems. Springer, 2004.
R. Stevens, C. Wroe, P. W. Lord, and C. A. Goble. Ontologies in bioinformatics. In R. Studer, editors. Handbook on Ontologies. International Handbooks on Information Systems. Springer, 2004 Staab and Studer [21], pages 635–658.
M. Uschold. Where are the semantics in the semantic web? AI Magazine, 24(3):25–36, 2003.
M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Vieira, R., Moreira, Á.F., Bordini, R.H., Hübner, J. (2006). An Agent-Oriented Programming Language for Computing in Context. In: Debenham, J. (eds) Professional Practice in Artificial Intelligence. IFIP WCC TC12 2006. IFIP International Federation for Information Processing, vol 218. Springer, Boston, MA . https://doi.org/10.1007/978-0-387-34749-3_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-34749-3_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34655-7
Online ISBN: 978-0-387-34749-3
eBook Packages: Computer ScienceComputer Science (R0)