Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents

Reliable Computing

Volumn 5, Issue 1, 1999, Pages 35-61

  Funge, John ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013366737     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026441624550     Document Type: Article

References (18)

1. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, 1983.
2. Bacchus, F., Halpern, J. Y., and Levesque, H.: Reasoning about Noisy Sensors in the Situation Calculus, in: Mellish, C. S. (ed.), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, 1995, pp. 1933-1940.
3. Blake, A.: Canonical Expressions in Boolean Algebra, PhD thesis, University of Chicago, 1938. Published by University of Chicago Libraries, 1938.
4. Enderton, H. B.: A Mathematical Introduction to Logic, Academic Press, 1972.
5. Funge, J.: Making Them Behave: Cognitive Models for Computer Animation, PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada, 1998.
6. Ginsberg, M. L. and Smith, D. E.: Reasoning about Action ii: The Qualification Problem, Artificial Intelligence 35 (1988), pp. 311-342.
7. Hanks, S. and McDermott, D.: Temporal Reasoning and Default Logics, Technical report, Yale University, Computer Science Research Rept. No. 430, 1985.
8. Hehner, E. C. R.: Boolean Formalism and Explanations, International Conference on Algebraic Methods and Software Technology, 1996.
9. Levesque, H.: Personal Communication, University of Toronto, 1997.
10. Lin, F. and Reiter, R.: State Constraints Revisited, Journal of Logic and Computation, Special Issue on Actions and Processes 4 (5) (1994), pp. 655-678.
11. McCarthy, J.: Epistemological Problems of Artificial Intelligence, in: Proceedings of the International Joint Conference on Artificial Intelligence (UCAI-77), Cambridge, MA, 1977, pp. 1038-1044.
12. McCarthy, J. and Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence, in: Meltzer, B. and Michie, D. (eds), Machine Intelligence 4, Edinburgh University Press, Edinburgh, 1969, pp. 463-502.
13. Moore, R. E.: Interval Analysis, Prentice-Hall, 1966.
14. Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, 1979.
15. Pesonen, J. and Hyvonen, E.: Interval Approach Challanges Monte Carlo Simulation, in: Scientific Computing, Computer Arithmetic and Validated Numerics, 1995.
16. Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression, in: Lifschitz, V. (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honour of John McCarthy, Academic Press, 1991, pp. 359-380, 418-420.
17. Scherl, R. and Levesque, H.: The Frame Problem and Knowledge-Producing Actions, in: Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), Menlo Park, CA., AAAI Press, 1993.
18. Tupper, J.: Graphing Equations with Generalized Interval Arithmetic, MSc thesis, Department of Computer Science, University of Toronto, Toronto, Canada, January 1996.