36 search results - page 6 / 8 » Belief Calculus |
CL
2000
Springer
13 years 11 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
ITS
2000
Springer
13 years 11 months ago
2000
Springer
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...
AAAI
2007
13 years 9 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
JAL
2008
13 years 7 months ago
2008
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
KBS
2011
13 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...