Non-determinism and uncertainty in the situation calculus

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 8, Issue 2, 2000, Pages 127-149

  Pinto, Javier ^a   Sernadas, Amílcar ^b   Sernadas, Cristina ^b   Mateus, Paulo ^b  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

Non Deterministic Actions; Situation Calculus; Theories of Action; Uncertainty Handling

Indexed keywords

EID: 0010365117     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488500000101     Document Type: Article

References (21)

1. Pinto, J. A. Causality in theories of action. In Common-Sense '98 (January 1998), R. Miller and M. Shanahan, Eds., Queen Mary and Westfield College, University of London, pp. 349-364. Also found at URL = http://www.ida.liu.se/ext/etai/-nj/fcs-98/349/paper.ps.
2. McCarthy, J., and Hayes, P. J. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, B. Meltzer and D. Michie, Eds. Edinburgh University Press, Edinburgh, Scotland, 1969, pp. 463-502.
3. Reiter, R. The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, 1991, pp. 359-380.
4. Poole, D. Decision Theory, the Situation Calculus, and Conditional Plans. Linköping Electronic Articles in Computer and Information Science 3, 8 (1998). URL = http://www.ep.liu.se/ea/cis/1998/008/.
5. Bacchus, F., Halpern, J., and Levesque, H. Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artificial Intelligence 111, 1-2 (1999), 171-208.
6. Pereira, C., Garcia, F., Lang, J., and Martin-Clouaire, R. Planning with graded non-deterministic actions: A possibilistic approach. International Journal of Intelligent Systems 12(12) (1997).
7. Saffiotti, A., Konolige, K., and Ruspini, E. A multivalued logic approach to integrating planning and control. Artificial Intelligence 76, 1-2 (1995), 481-526.
8. McCarthy, J. Situation, actions, and causal laws. Tech. Rep. Memo 2, Stanford Artificial Intelligence Project, 1963.
9. Lin, F., and Reiter, R. State Constraints Revisited. Journal of Logic and Computation 4, 5 (1994), 655-678. Special Issue on Actions and Processes.
10. Pinto, J. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. Journal of Logic and Computation 8 (1998), 777-808.
11. Baier, C., and Kwiatkowska, M. Automatic verification of liveness properties of randomized systems (extended abstract). In Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing (June 1997).
12. Shafer, G. The Art of Causal Conjecture. The MIT Press, 1996.
13. Pinto, J., Sernadas, A., Sernadas, C., Mateus, P., and Pacheco, A. Probabilistic Reasoning in the Situation Calculus. In progress.
14. Pinto, J. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, Feb. 1994. URL = ftp://ftp.cs.toronto.edu/~cogrob/jpThesis.ps.Z.
15. Reiter, R. KNOWLEDGE IN ACTION: Logical Foundations for Describing and Implementing Dynamical Systems. Book Draft, Available from URL = http://www. cs.utoronto.ca/~cogrobo, 1999.
16. Apt, K., and Bezem, M. Acyclic programs. In Logic Programming: Proceedings of the Seventh International Conference. (1990), D. Warren and P. Szeredi, Eds., pp. 617-633.
17. Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. Reasoning About Knowledge. The MIT Press, 1995.
18. Scherl, R., and Levesque, H. The Frame Problem and Knowledge Producing Actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence (Washington, D.C., July 1993), AAAI, pp. 689-695.
19. Moore, R. C. A formal Theory of Knowledge and Action. In Formal Theories of the Commonsense World, J. B. Hobbs and R. C. Moore, Eds. Ablex Publishing Corp., Norwood, New Jersey, 1985, ch. 9, pp. 319-358.
20. Zadeh, L. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1 (3-28 1978).
21. Goldszmidt, M., and Pearl, J. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84, 1-2 (1996), 57-112.