Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Moreira, Álvaro F.; Vieira, Renata License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-16418
URL:

;

Belief Update in AgentSpeak-DL

pdf-format:


Abstract

In previous work (Moreira et al, DALT 2005) we proposed an extension
for the belief base of AgentSpeak agents
based on Description Logic (DL), aiming at enabling agent oriented
programming to cope with recently proposed
technologies for the Semantic Web. In such an extension an agent
belief base contains the
definition of complex concepts, besides specific factual knowledge.
The foreseen advantages are: (i) more expressive queries to the belief
base; (ii) a refined notion
of belief update, which considers consistency of a belief addition;
(iii) flexibility in plan searching allowed
by subsumption relation between concepts; and (iv) knowledge sharing
in a semantic web context (based on OWL).
Following this proposal an extension of the well know Agent Speak
interpreter, Jason, was presented by K
lapiscak and Bordini in DALT 2008. Among the interesting open issues
is how to deal with the addition of
beliefs which violates ontology consistency. In this work
discuss this problem related to
ABox updating in the context of AgentSpeak-DL.


BibTeX - Entry

@InProceedings{moreira_et_al:DagSemProc.08361.5,
  author =	{Moreira, \'{A}lvaro F. and Vieira, Renata},
  title =	{{Belief Update in AgentSpeak-DL}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1641},
  URN =		{urn:nbn:de:0030-drops-16418},
  doi =		{10.4230/DagSemProc.08361.5},
  annote =	{Keywords: Belief Update, Ontology, Agent Oriented Programming Languages}
}

Keywords: Belief Update, Ontology, Agent Oriented Programming Languages
Seminar: 08361 - Programming Multi-Agent Systems
Issue date: 2008
Date of publication: 04.11.2008


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI