126 search results - page 3 / 26 » Goal Change in the Situation Calculus |
AUSAI
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
IJUFKS
2000
13 years 4 months ago
2000
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...
LOGCOM
2007
13 years 4 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
LOGCOM
1998
13 years 4 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
AAAI
1994
13 years 6 months ago
1994
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...