Sciweavers

244 search results - page 17 / 49
» Iterated belief revision, revised
Sort
View
LPNMR
2009
Springer
14 years 3 months ago
Belief Revision with Bounded Treewidth
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...
FLAIRS
1998
13 years 9 months ago
Incorporating Specificity in Extended Logic Programs for Belief Revision
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Berilhes Borges Garcia, José Gabriel Pereir...
TIME
1994
IEEE
14 years 16 days ago
Belief Revision in a Discrete Temporal Probability-Logic
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...
SIGIR
1999
ACM
14 years 22 days ago
Using a Belief Revision Operator for Document Ranking in Extended Boolean Models
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
David E. Losada, Alvaro Barreiro
ATAL
2008
Springer
13 years 10 months ago
Internal models and private multi-agent belief revision
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
Guillaume Aucher