88 search results - page 2 / 18 » A Combined System for Update Logic and Belief Revision |
JANCL
2007
13 years 5 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
ENTCS
2006
13 years 5 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...
CORR
1999
Springer
13 years 5 months ago
1999
Springer
EVOW
2001
Springer
13 years 9 months ago
2001
Springer
We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarck...
KR
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...