Sciweavers

8 search results - page 2 / 2
» Belief Revision with Bounded Treewidth
Sort
View
105
Voted
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
92
Voted
IJPRAI
2006
78views more  IJPRAI 2006»
14 years 11 months ago
The Unexpected Aspects of Surprise
Some symbolic AI models for example BDI (belief, desire, intention) models are conceived as explicit and operational models of the intentional pursuit and belief dynamics. The mai...
Emiliano Lorini, Cristiano Castelfranchi
100
Voted
JAIR
2008
171views more  JAIR 2008»
14 years 11 months ago
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...
Robert Mateescu, Rina Dechter, Radu Marinescu 0002