64 search results - page 4 / 13 » Belief revision in Horn theories |
AUSAI
1999
Springer
15 years 2 months ago
1999
Springer
This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decisiontheoretic principle of Pareto-optimality to derive a no...
KR
2000
Springer
15 years 1 months ago
2000
Springer
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
ENTCS
2006
14 years 10 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
AIML
1998
14 years 11 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
AAAI
1994
14 years 11 months ago
1994
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...