Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto


Mostrar registro sencillo 2004-05-07T17:28:41Z 2004-05-07T03:00:00Z 2000
dc.description.abstract In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of the beliefs that compound the knowledge of an agent, and much less take into account the computational complexity of the proposed algorithms. In this article we will explicitly introduce some of the inconveniences and the possible solutions that can be found while implementing the change operations. Firstly, we will introduce the different change operations of the AGM model. These operations are characterized by certain rationality postulates that determine their behavior on the knowledge level. This means that the change operations are specified entirely in terms of the knowledge content (beliefs), making no distinction between the explicit imformation and the implicit information. In second term, we will introduce the change operations applicable to knowledge bases (that is, finite sets not necessarily closed under logical cnsequence) in which the explicit beliefs of the konwledge base are clearly distinguished from the beliefs deduced from them. In this case the change operations are defined on a symbolic level, which contains, explicit references about the syntax of the sentences that compound the base. We will see how certain postulates defined on the knowledge level must be transfomed into less restrictive postulates with the objective of respecting the basic principles of the AGM model: minimun change, syntax irrelevancy and adequacity of konwledge representation. We will also introdece a meta-symbolic level where we preach about the behavior of the sentenes that compund a knowledge base, making no reference to its syntactic form. Lastly, we will analyze the change operations on the implementation level. On this level, it is necessary to make certain decision that are not considered not only on the knowledge level but also on the symbolic level. This analysis is of vital importance because the decisions that are made on the implementation level can have a strong impact on the knowledge level. en
dc.format.extent 12 p. es
dc.language en es
dc.title On the implementation of the belief change operators en
dc.type Articulo es
sedici.identifier.uri es
sedici.identifier.issn 1666-6038 es
sedici.creator.person Falappa, Marcelo Alejandro es
sedici.creator.person Fermé, Eduardo L. es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.keyword theory change; AGM model; knowledge representation; epistemic states; epistemic attitude; change operations en
sedici.description.fulltext true es Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000000233 es
sedici.relation.journalTitle Journal of Computer Science & Technology es
sedici.relation.journalVolumeAndIssue vol. 1, no. 2 es
sedici.subject.acmcss98 Distributed Artificial Intelligence es
sedici.subject.acmcss98 Knowledge Representation Formalisms and Methods es

Descargar archivos

Este ítem aparece en las siguientes colecciones:

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)