Sciweavers

286 search results - page 10 / 58
» A calculus of atomic actions
Sort
View
UAI
1994
15 years 1 months ago
A Probabilistic Calculus of Actions
Wepresenta symbolicmachinerythatadmits bothprobabilisticand causalinformation abouta givendomainand producesprobabilisticstatementsabouttheeffectofactions andtheimpactof observati...
Judea Pearl
LOGCOM
1998
178views more  LOGCOM 1998»
14 years 11 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
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...
Munindar P. Singh
AAAI
2008
15 years 2 months ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
KR
2010
Springer
15 years 4 months ago
State Defaults and Ramifications in the Unifying Action Calculus
Ringo Baumann, Gerhard Brewka, Hannes Strass, Mich...
IJCAI
2003
15 years 1 months ago
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
Alfredo Gabaldon