Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Relevance Sensitive Non-Monotonic Inference on Belief Sequences   We present a method for relevance sensitive non-monotonic inference from
belief sequences which incorporates insights pertaining to prioritized
inference and relevance sensitive, inconsistency tolerant belief revision.
  Our model uses a finite, logically open sequence of propositional formulas as
a representation for beliefs and defines a notion of inference from
maxiconsistent subsets of formulas guided by two orderings: a temporal
sequencing and an ordering based on relevance relations between the conclusion
and formulas in the sequence. The relevance relations are ternary (using
context as a parameter) as opposed to standard binary axiomatizations. The
inference operation thus defined easily handles iterated revision by
maintaining a revision history, blocks the derivation of inconsistent answers
from a possibly inconsistent sequence and maintains the distinction between
explicit and implicit beliefs. In doing so, it provides a finitely presented
formalism and a plausible model of reasoning for automated agents.

5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph