2026-07-23T06:52:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1641 2024-03-06T11:08:16Z ddc:004 open_access

Belief Update in AgentSpeak-DL Moreira, Álvaro F. Vieira, Renata Belief Update Ontology Agent Oriented Programming Languages 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Álvaro F. Moreira and Renata Vieira 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08361.5 urn:nbn:de:0030-drops-16418 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.5 eng https://creativecommons.org/licenses/by/4.0/legalcode