Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Abductive Framework for Horn Knowledge Base Dynamics   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.

24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex