64 search results - page 8 / 13 » Belief revision in Horn theories |
90
Voted
SLOGICA
2002
15 years 6 days ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
97
Voted
TBILLC
2007
Springer
15 years 6 months ago
2007
Springer
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
103
click to vote
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
126
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
131
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...