Implementing Δ<sub>ps</sub> (PS-Merge) Belief Merging Operator for Belief Revision

Authors

  • Oscar Chávez-Bosquez Universidad Juárez Autónoma de Tabasco
  • Pilar Pozos-Parra Universidad Juárez Autónoma de Tabasco
  • Jianbing Ma Bournemouth University

DOI:

https://doi.org/10.13053/cys-21-3-2441

Keywords:

Belief revision, belief merging under constraints, knowledge modelling, decision support systems, Δps (PS-Merge)

Abstract

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 Δps-μ (Δ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.

Author Biographies

Oscar Chávez-Bosquez, Universidad Juárez Autónoma de Tabasco

Computer scientist @ División Académica de Informática y Sistemas

Pilar Pozos-Parra, Universidad Juárez Autónoma de Tabasco

Professor-Researcher at División Académica de Informática y Sistemas

Jianbing Ma, Bournemouth University

Researcher at School of Design, Engineering and Computing

Downloads

Published

2016-12-26

Issue

Vol. 21 No. 3 (2017): Thematic issue: Advances in Logic-based Methods for Intelligent Systems (J. C. Nieves, E. Hermann Haeusler, B. Lopes)

Section

Articles of the Thematic Issue

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.