Ability and Knowing How in the Situation Calculus

Studia Logica

Volumn 66, Issue 1, 2000, Pages 165-186

  Lespérance, Yves ^a,d   Levesque, Hector J ^b   Fangzhen, L I N ^c   Scherl, Richard B ^d  

^a YORK UNIVERSITY   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

^c HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001548182     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1026761331498     Document Type: Article

References (25)

1. ACRE, P. E., and D. CHAPMAN, 'What are plans for?', Robotics and Autonomous Systems 6 (1990), 17-34.
2. DAVIS, E., 'Knowledge preconditions for plans', Journal of Logic and Computation 4, 5 (1994), 721-766.
3. ETZIONI, O., S. HANKS, D. WELD, D. DRAPER, N. LESH, and M. WILLIAMSON, 'An approach to planning with incomplete information', in B. Nebel, C. Rich, and W. Swartout (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Cambridge, MA, pp. 115-125, 1992.
4. FlKES, R., and N. NlLSSON, 'STRIPS: A new approach to the application of theorem proving to problem solving', Artificial Intelligence 2 (1971), 189-208.
5. GOLDEN, K., and D. WELD, 'Representing sensing actions: the middle ground revisited', in L. C. Aiello, J. Doyle, and S. C. Shapiro (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference, Cambridge, MA, pp. 174-185, 1996.
6. GREEN, C., 'Theorem proving by resolution as a basis for question-answering systems', in B. Meltzer and D. Michie (eds.), Machine Intelligence, Vol. 4, New York: American Elsevier, pp. 183-205, 1969.
7. HAAS, A.R., 'The case for domain-specific frame axioms', in F. Brown (ed.), The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, Lawrence, KA, pp. 343-348, 1987.
8. KREBSBACH, K., D. OLAWSKY, and M. GINI, 'An empirical study of sensing and defaulting in planning', in Proceedings of the First Conference on AI Planning Systems, San Mateo, CA, pp. 136-144, 1992.
9. KRIPKE, S.A., 'Semantical considerations on modal logic', Ada Philosophica Fennica 16 (1963), 83-94.
10. LAKEMEYER, G., and H. J. LEVESQUE, 'AOL: a Logic of acting, sensing, knowing, and only-knowing', in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pp. 316-327, 1998.
11. LEVESQUE, H. J., 'What is planning in the presence of sensing?', in Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, OR, pp. 11391146, 1996.
12. LEVESQUE, H. J., R. REITER, Y. LESPéRANCE, F. LIN, and R. B. SCHERL, 'GOLOG: a logic programming language for dynamic domains', Journal of Logic Programming 31 (1997), 59-84.
13. LlN, F. and H. J. LEVESQUE, 'What robots can do: robot programs and effective achievability', Artificial Intelligence 101, 1-2 (1998), 201-226.
14. LlN, F., and R. REITER, 'State constraints revisited', Journal of Logic and Computation 4, 5 (1994), 655-678.
15. MCCARTHY, J., and P. HAYES, 'Some philosophical problems from the standpoint of artificial intelligence', in B. Meltzer and D. Michie (eds.), Machine Intelligence, Vol. 4, Edinburgh, UK, Edinburgh University Press, pp. 463-502, 1969.
16. MOORE, R. C., 'A formal theory of knowledge and action', in J. R. Hobbs and R. C. Moore (eds.), Formal Theories of the Common Sense World, Norwood, NJ, Ablex Publishing, pp. 319-358, 1985.
17. MORGENSTERN, L., 'Knowledge preconditions for actions and plans', in Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, pp. 867-874, 1987.
18. PEDNAULT, E. P. D., 'ADL: exploring the middle ground between STRIPS and the situation calculus', in R. Brachman, H. Levesque, and R. Reiter (eds.), Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, ON, pp. 324-332, 1989.
19. PEOT, M., and D. SMITH, 'Conditional nonlinear planning', in: Proceedings of the First Conference on AI Planning Systems, San Mateo, CA, pp. 189-197, 1992.
20. REITER, R., 'The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression', in V. Lifschitz (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, San Diego, CA: Academic Press, pp. 359-380, 1991.
21. SCHERL, R. B., and H. J. LEVESQUE, 'The frame problem and knowledge-producing actions', in Proceedings of the Eleventh National Conference on Artificial Intelligence, Washington, DC, pp. 689-695, 1993.
22. SCHÖPFERS, M. J., 'Building plans to monitor and exploit open-loop and closed-loop dynamics', in Proceedings of the First Conference on AI Planning Systems, San Mateo, CA, pp. 204-213, 1992.
23. SCHUBERT, L., 'Monotonie solution to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions', in H. Kyberg, R. Loui, and G. Carlson (eds.), Knowledge Representation and Defeasible Reasoning, Boston, MA, Kluwer Academic Press, pp. 23-67, 1990.
24. SlNGH, M. P., Multiagent Systems, Berlin, LNAI 799, Springer-Verlag, 1994.
25. VAN DER HOEK, W., B. VAN LINDER, and J.-J. C. MEYER, 'A logic of capabilities', in A. Nerode and Y. V. Matiyasevich (eds.): Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS'94), 1994.