36 search results - page 1 / 8 » Belief Calculus |
KR
2000
Springer
14 years 2 months ago
2000
Springer
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
IJAR
2002
13 years 10 months ago
2002
The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
This paper describes a method for risk analysis based on the approach used in CRAMM, but instead of using discrete measures for threats and vulnerabilities and lookup tables to de...
CLIMA
2007
14 years 6 days ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...