SciELO - Scientific Electronic Library Online

 
vol.21 número3Branching Path Planning with Modal LogicsAlgoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Journal

Artigo

Indicadores

Links relacionados

  • Não possue artigos similaresSimilares em SciELO

Compartilhar


Computación y Sistemas

versão On-line ISSN 2007-9737versão impressa ISSN 1405-5546

Resumo

CHAVEZ-BOSQUEZ, Oscar; POZOS-PARRA, Pilar  e  MA, Jianbing. Implementing ∆ps (PS-Merge) Belief Merging Operator for Belief Revision. Comp. y Sist. [online]. 2017, vol.21, n.3, pp.419-434. ISSN 2007-9737.  https://doi.org/10.13053/cys-21-3-2441.

Belief merging aims at combining information from multiple sources while belief revision studies strategies for retracting information in order to maintain consistency when the addition of new evidence to a belief base makes it inconsistent. An ordering of the sentences in the belief base is used to determine priorities among sentences so that those with lower priority can be identified and retracted. This ordering can be difficult to generate and maintain. To address this difficulty, in this paper we show how to generate automatically an ordering of the belief base sentences through the implementation of a belief merging operator. We extend the ∆ps (PS-Merge) belief merging operator in order to consider constraints, then we use this extension, called p s μ (∆ps under constraints), as a strategy for belief revision. We treat new evidence as a constraint and apply the extended merging operator to obtain the revised belief base. We propose several properties of this operator when compared to other two belief revision operators solving four examples described as real-life scenarios. Finally we show a software prototype based on this approach, called Belief Reviser, freely accessible online.

Palavras-chave : Belief revision; belief merging under constraints; knowledge modeling; decision support systems; ∆ps (PS-Merge operator).

        · texto em Inglês     · Inglês ( pdf )