[Zurück]

A. Haret, S. Woltran:
"Belief Revision Operators with Varying Attitudes Towards Initial Beliefs";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona, USA; 27.10.2018 - 29.10.2018; in: "17th International Workshop On Non-Monotonic Reasoning", (2018), S. 156 - 165.

Classical axiomatizations of belief revision include a postulate
stating that if new information is consistent with initial
beliefs, then revision amounts to simply adding the new information
to the initial knowledge base. This postulate assumes
a conservative attitude towards initial beliefs, in the sense that
an agent faced with the task of revising them will seek to
preserve initial beliefs as much as possible. In this work we
look at operators that can assume different attitudes towards
original beliefs, and make the case that these operators can
be put to use when doing revision in fragments of propositional
logic. We provide axiomatizations of these operators
by varying the aforementioned postulate and obtain representation
results which characterize the new types of operators in
terms of preorders on possible worlds. We also present concrete
examples for each new type of operator, using notions
inspired from decision theory.

https://publik.tuwien.ac.at/files/publik_273155.pdf

Projektleitung Johannes Peter Wallner:
EMBArg