438 search results - page 1 / 88 » The Size of a Revised Knowledge Base |
PODS
1995
ACM
13 years 8 months ago
1995
ACM
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...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
ISMIS
2009
Springer
13 years 12 months ago
2009
Springer
Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to uncertain inputs, is used to re...
AAAI
2000
13 years 6 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...