Toward a logic for qualitative decision theory

C Boutilier - Principles of knowledge representation and reasoning, 1994 - Elsevier
We present a logic for representing and reasoning with qualitative statements of preference
and normality and describe how these may interact in decision making under uncertainty …

Unifying default reasoning and belief revision in a modal framework

C Boutilier - Artificial intelligence, 1994 - Elsevier
We present a logic for reasoning about belief revision in which the process of revising a
knowledge base by some sentence is represented with a conditional connective. The …

Modal logics for qualitative possibility theory

C Boutilier - International Journal of Approximate Reasoning, 1994 - Elsevier
Possibilistic logic has been proposed as a numerical formalism for reasoning with
uncertainty. There has been interest in developing qualitative accounts of possibility, as well …

A modal logic for subjective default reasoning

S Ben-David, R Ben-Eliyahu - Proceedings Ninth Annual IEEE …, 1994 - ieeexplore.ieee.org
Introduces a logic endowed with a two-place modal connective that has the intended
meaning of" if/spl alpha/, then normally/spl beta/". On top of providing a well defined tool for …

[PDF][PDF] Multi preference semantics for a defeasible deontic logic

YH Tan, LWN van der Torre - Legal Knowledge-based Systems. The relation …, 1994 - jurix.nl
There is a fundamental di erence between a conditional obligation being violated by a fact,
and a conditional obligation being overridden by another conditional obligation. In this …

[PDF][PDF] An event-based abductive model of update

C Boutilier - PROCEEDINGS OF THE BIENNIAL CONFERENCE …, 1994 - cs.utoronto.ca
Abstract The Katsuno and Mendelzon theory of belief update has been proposed as a
reasonable model for revising beliefs about a changing world. However, the semantics of …

Normative, subjunctive and autoepistemic defaults

C Boutilier - Foundations of Knowledge Representation and …, 1994 - Springer
We explore the relationship between theories of nonmonotonic inference and belief revision
using modal and conditional representations. We demonstrate that the logics governing …