Sciweavers

233 search results - page 42 / 47
» Explanation in the Situation Calculus
Sort
View
ATAL
1995
Springer
13 years 11 months ago
Foundations of a Logical Approach to Agent Programming
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
Yves Lespérance, Hector J. Levesque, Fangzh...
AIPS
2007
13 years 9 months ago
Monitoring Plan Optimality During Execution
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
Christian Fritz, Sheila A. McIlraith
DAGSTUHL
2007
13 years 8 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
IJCAI
2007
13 years 8 months ago
Towards an Integration of Golog and Planning
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...
Jens Claßen, Patrick Eyerich, Gerhard Lakeme...
AAAI
2000
13 years 8 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl