Sciweavers

286 search results - page 10 / 58
» A calculus of atomic actions
Sort
View
UAI
1994
13 years 10 months ago
A Probabilistic Calculus of Actions
Wepresenta symbolicmachinerythatadmits bothprobabilisticand causalinformation abouta givendomainand producesprobabilisticstatementsabouttheeffectofactions andtheimpactof observati...
Judea Pearl
LOGCOM
1998
178views more  LOGCOM 1998»
13 years 8 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
13 years 11 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
14 years 1 months ago
State Defaults and Ramifications in the Unifying Action Calculus
Ringo Baumann, Gerhard Brewka, Hannes Strass, Mich...
IJCAI
2003
13 years 10 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