Sciweavers

1231 search results - page 38 / 247
» A Framework for Belief Update
Sort
View
97
Voted
DAGSTUHL
2007
15 years 1 months ago
Dynamic Interactions Between Goals and Beliefs
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...
Steven Shapiro, Gerhard Brewka
IICAI
2007
15 years 1 months ago
Logics for Action
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
Michael P. Fourman
100
Voted
SEMWEB
2007
Springer
15 years 6 months ago
Ontology Revision as Non-Prioritized Belief Revision
Ontology revision is the process of managing an ontology when a new axiom or fact would render it inconsistent. So far, the AGM approach to belief revision has been adapted to work...
Mauro Mazzieri, Aldo Franco Dragoni
UAI
1994
15 years 1 months ago
Global Conditioning for Probabilistic Inference in Belief Networks
In this paper we propose a new approach to probabilistic inference on belief networks, global conditioning, which is a simple generalization of Pearl's (1986b) method of loop...
Ross D. Shachter, Stig K. Andersen, Peter Szolovit...
111
Voted
AAAI
1994
15 years 1 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...