An Agent-Oriented Programming Language for Computing in Context

  • Renata Vieira
  • Álvaro F. Moreira
  • Rafael H. Bordini
  • Jomi Hübner
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 218)


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.


  1. 1.
    J. L. Austin. How to Do Things with Words. Oxford University Press, London, 1962.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.MATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    M. E. Bratman. Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.Google Scholar
  5. 5.
    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.CrossRefGoogle Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    I. Foster and C. Kesselman, editors. The Grid 2: Blueprint for a New Computing Infrastruc-ture. Morgan Kaufmann, second edition, 2003.Google Scholar
  9. 9.
    N. Gibbins, S. Harris, and N. Shadbolt. Agent-based semantic web services. J. Web Sem., 1(2):141–154, 2004.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    I. Horrocks. FaCT and iFaCT. In Proceedings of the International Workshop on Description Logics (DL’99), pages 133–135, 1999.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    D. L. McGuinness and F van Harmelen, editors. OWL Web Ontology Language overview. W3C Recommendation. Avalilable at, February 2004.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    Á. 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.Google Scholar
  16. 16.
    Á. 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.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293–343, 1998.MATHMathSciNetCrossRefGoogle Scholar
  19. 19.
    J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, 1969.Google Scholar
  20. 20.
    Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.MathSciNetCrossRefGoogle Scholar
  21. 21.
    S. Staab and R. Studer, editors. Handbook on Ontologies. International Handbooks on Information Systems. Springer, 2004.Google Scholar
  22. 22.
    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.Google Scholar
  23. 23.
    M. Uschold. Where are the semantics in the semantic web? AI Magazine, 24(3):25–36, 2003.Google Scholar
  24. 24.
    M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.MATHGoogle Scholar

Copyright information

© International Federation for Information Processing 2006

Authors and Affiliations

  • Renata Vieira
    • 1
  • Álvaro F. Moreira
    • 2
  • Rafael H. Bordini
    • 3
  • Jomi Hübner
    • 4
  1. 1.Universidade do Vale do Rio dos SinosBrazil
  2. 2.Universidade Federal do Rio Grande do SulBrazil
  3. 3.University of DurhamDurham
  4. 4.Universidade Regional de BlumenauBlumenau

Personalised recommendations