An Abductive Framework for Horn Knowledge Base Dynamics

05/12/2014
by   Radhakrishnan Delhibabu, et al.
0

The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We introduced the Horn knowledge base dynamics to deal with two important points: first, to handle belief states that need not be deductively closed; and the second point is the ability to declare certain parts of the belief as immutable. In this paper, we address another, radically new approach to this problem. This approach is very close to the Hansson's dyadic representation of belief. Here, we consider the immutable part as defining a new logical system. By a logical system, we mean that it defines its own consequence relation and closure operator. Based on this, we provide an abductive framework for Horn knowledge base dynamics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/22/2013

A Rational and Efficient Algorithm for View Revision in Databases

The dynamics of belief and knowledge is one of the major components of a...
research
07/13/2014

A New Rational Algorithm for View Updating in Relational Databases

The dynamics of belief and knowledge is one of the major components of a...
research
05/08/2018

The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case

The classical view of epistemic logic is that an agent knows all the log...
research
02/27/2013

Generating New Beliefs From Old

In previous work [BGHK92, BGHK93], we have studied the random-worlds app...
research
03/11/2000

A Consistency-Based Model for Belief Change: Preliminary Report

We present a general, consistency-based framework for belief change. Inf...
research
11/10/2014

Comparative Study of View Update Algorithms in Rational Choice Theory

The dynamics of belief and knowledge is one of the major components of a...
research
02/27/2013

Knowledge Engineering for Large Belief Networks

We present several techniques for knowledge engineering of large belief ...

Please sign up or login with your details

Forgot password? Click here to reset