Contrary‐to‐duty reasoning with preference‐based dyadic obligations

L van der Torre, YH Tan - Annals of Mathematics and Artificial Intelligence, 1999 - Springer
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference‐based dyadic
deontic logic. In our preference‐based interpretation of obligations “α should be (done) if β is …

Modeling belief in dynamic systems, part II: Revision and update

N Friedman, JY Halpern - Journal of Artificial Intelligence Research, 1999 - jair.org
The study of belief change has been an active area in philosophy and AI. In recent years two
special cases of belief change, belief revision and belief update, have been studied in detail …

Set-theoretic completeness for epistemic and conditional logic

JY Halpern - Annals of Mathematics and Artificial Intelligence, 1999 - Springer
The standard approach to logic in the literature in philosophy and mathematics, which has
also been adopted in computer science, is to define a language (the syntax), an appropriate …

Plausibility measures and default reasoning: An overview

N Friedman, JY Halpern - … on Logic in Computer Science (Cat …, 1999 - ieeexplore.ieee.org
We introduce a new approach to modeling uncertainty based on plausibility measures. This
approach is easily seen to generalize other approaches to modeling uncertainty, such as …

[PDF][PDF] The Dynamics of Reasoning

J Engelfriet - 1999 - research.vu.nl
VU Research Portal Page 1 VU Research Portal The Dynamics of Reasoning Engelfriet, J.
1999 document version Publisher's PDF, also known as Version of record Link to publication …

Aspects of the theory of qualitative rational belief change

SM Glaister - 1999 - search.proquest.com
If we suppose that reasonable belief is reasonable not because it has a foundation but
because it is self-correcting, and that bodies of reasonable belief are self-correctable in …