41 search results - page 1 / 9 » Base Belief Change for Finitary Monotonic Logics |
CAEPIA
2009
Springer
13 years 5 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
APAL
2010
13 years 4 months ago
2010
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
DEXAW
2000
IEEE
13 years 9 months ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...