Ontology reasoning in agent-oriented programming

  • Authors:

  • Claudio Fuzitaki;Álvaro Moreira;Renata Vieira

  • Affiliations:

  • Institute of Informatics, Federal University of Rio Grande do Sul, Brazil;Institute of Informatics, Federal University of Rio Grande do Sul, Brazil;Faculty of Informatics, Pontifical Catholic University of Rio Grande do Sul, Brazil

  • Venue:
  • SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

DL-Lite is being regarded as an effective logic for ontology reasoning due both to its expressive power and its computational properties. Considering that ontologies are important constructs for multi-agent system, in this paper we propose the integration of ontology reasoning and agent-oriented programming. More specifically, we consider an agent-oriented programming language based on DL-Lite with belief bases consisting of an immutable TBox, with the characterization of concepts and roles, and of an ABox with factual knowledge, which can change as the result of perception of the environment, internal actions, and inter-agent communication. We discuss the benefits of ontological reasoning and we give algorithms for belief base querying, plan selection, and for a principled approach for belief base update. The language we propose, AgentSpeak-DL, is a subset of AgentSpeak, a well known BDI multi-agent oriented programming language.