DeepAI
Log In Sign Up

Merging Uncertain Knowledge Bases in a Possibilistic Logic Framework

01/30/2013
by   Salem Benferhat, et al.
0

This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic knowledge bases, provided by different sources, into a new possibilistic knowledge base. These combination rules are first described at the meta-level outside the language of possibilistic logic. Next, an extension of possibilistic logic, where the combination rules are inside the language, is proposed. A proof system in a sequent form, which is sound and complete with respect to the possibilistic logic semantics, is given.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/15/2012

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intel...
03/13/2013

Lattice-Based Graded Logic: a Multimodal Approach

Experts do not always feel very, comfortable when they have to give prec...
10/23/2019

Knowledge of Uncertain Worlds: Programming with Logical Constraints

Programming with logic for sophisticated applications must deal with rec...
09/16/2002

Reasoning about Evolving Nonmonotonic Knowledge Bases

Recently, several approaches to updating knowledge bases modeled as exte...
01/23/2013

Possibilistic logic bases and possibilistic graphs

Possibilistic logic bases and possibilistic graphs are two different fra...
03/31/2016

Distributing Knowledge into Simple Bases

Understanding the behavior of belief change operators for fragments of c...
02/14/2022

HAKE: A Knowledge Engine Foundation for Human Activity Understanding

Human activity understanding is of widespread interest in artificial int...