Nondeterminism and Uncertainty in the Situation Calculus

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 given to illustrate the approach: the Russian roulette and the alternating bit protocol.

[1]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[2]  Jérôme Lang,et al.  Planning with graded nondeterministic actions: A possibilistic approach , 1997, Int. J. Intell. Syst..

[3]  Javier Pinto,et al.  Causality in Theories of Action , 1998 .

[4]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.

[5]  Andrea Bianco,et al.  Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.

[6]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[7]  Premkumar T. Devanbu,et al.  Taxonomic Plan Reasoning , 1996, Artif. Intell..

[8]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[9]  Javier Pinto,et al.  Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus , 1998, J. Log. Comput..

[10]  Fangzhen Lin.  Embracing causality in specifying the effects of indeterminate actions , 1996, AAAI 1996.

[11]  Christel Baier,et al.  Automatic verification of liveness properties of randomized systems , 1997, PODC '97.

[12]  Fahiem Bacchus,et al.  Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..

[13]  Alessandro Saffiotti,et al.  A Multivalued Logic Approach to Integrating Planning and Control , 1995, Artif. Intell..