Sciweavers

1195 search results - page 2 / 239
» Resources for Situated Actions
Sort
View
MASA
2001
Springer
13 years 10 months ago
Replanning in a Resource-Based Framework
An important aspect of agents is how they construct a plan to reach their goals. Since most agents live in a dynamic environment, they also will often be confronted with situations...
Roman van der Krogt, André Bos, Cees Wittev...
IJCAI
1993
13 years 6 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
AAAI
1992
13 years 6 months ago
Concurrent Actions in the Situation Calculus
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
Fangzhen Lin, Yoav Shoham
AI
2011
Springer
13 years 18 days ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon
KR
2004
Springer
13 years 11 months ago
Situations, Si! Situation Terms, No!
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
Gerhard Lakemeyer, Hector J. Levesque