What Sensing Tells Us: Towards A Formal Theory of Testing for Dynamical Systems

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 483-490

  McIlraith, Sheila A ^a   Scherl, Richard ^b  

^a Stanford University   (United States)

^b University Heights   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICAL SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

AUTOMATED REASONING; FORMAL THEORY; FORMALISATION; INDIRECT EFFECTS; LOGIC PROGRAMMING LANGUAGES; RAMIFICATION PROBLEMS; SIMPLE TESTS; SITUATION CALCULUS; STATE CONSTRAINTS; STATES OF KNOWLEDGE;

PROBLEM SOLVING;

EID: 0013406370     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. Baral, C., and Tran, S. 1998. Formalizing sensing actions: a transition function based approach. In Proc. of AAAI 98 Fall Symposium on Cognitive Robotics.
2. Baral, C.; McIlraith, S.; and Tran, S. 2000. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proc. Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000). To appear.
3. De Giacomo, G., and Levesque, H. J. 1999a. An incremental interpreter for high-level programs with sensing. In Levesque, H. J., and Pirri, F., eds., Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Berlin: Springer. 86-102.
4. De Giacomo, G., and Levesque, H. J. 1999b. Progression and regression using sensors. In Proc. Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), 160-165.
5. Funge, J. 1998. Making Them Behave: Cognitive Models for Computer Animation. Ph.D. Dissertation, Department of Computer Science, University of Toronto.
6. Golden, K., and Weld, D. 1996. Representing sensing actions: The middle ground revisited. In Proc. Fifth Intnl. Conf. on Principles of Knowledge Representation and Reasoning (KR'96).
7. Lakemeyer, G. 1999. On sensing and off-line interpreting in GOLOG. In Levesque, H. J., and Pirri, F., eds., Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Berlin: Springer. 173-189.
8. Lespérance, Y.; Levesque, H. J.; Lin, F.; and Scherl, R. B. 2000. Ability and knowing how in the situation calculus. Studia Logica. To appear.
9. Lespérance, Y. 1994. An approach to the synthesis of plans with perception acts and conditionals. In Working Notes of the Canadian Workshop on Distributed Artificial Intelligence.
10. Levesque, H.; Reiter, R.; Lespérance, Y.; Lin, F.; and Scherl, R. 1997. GOLOG: A logic programming language for dynamic domains. The Journal of Logic Programming 31:59-84.
11. Levesque, H. 1996. What is planning in the presence of sensing? In Proc. Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1139-1146.
12. Lin, F., and Reiter, R. 1994. State constraints revisited. Journal of Logic and Computation 4(5):655-678. Special Issue on Action and Processes.
13. Lobo, J. 1998. COPLAS: a COnditional PLAnner with Sensing actions. In Working Notes of the AAAI98 Fall Symposium on Cognitive Robotics, 109-116.
14. Manna, Z., and Waldinger, R. 1987. How to clear a block: A theory of plans. Journal of Automated Reasoning 3:343-377.
15. McDermott, D. 1991. Regression planning. International Journal of Intelligent Systems 6:356-416.
16. McIlraith, S., and Reiter, R. 1992. On tests for hypothetical reasoning. In W. Hamscher, L. C., and de Kleer, J., eds., Readings in model-based diagnosis. Morgan Kaufmann. 89-96.
17. McIlraith, S. 1994. Generating tests using abduction. In Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), 449-460.
18. McIlraith, S. 1997. Towards a Formal Account of Diagnostic Problem Solving. Ph.D. Dissertation, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada.
19. McIlraith, S. 2000. A closed-form solution to the ramification problem (sometimes). Artificial Intelligence 116(1-2):87-121.
20. Moore, R. 1985. A formal theory of knowledge and action. In Hobbs, J. B., and Moore, R. C., eds., Formal Theories of the Commonsense World. Ablex Publishing Corp. 319-358.
21. Ramsey, D. 1999. The Complete Idiot's Guide to Trouble-Free Car Care. Alpha Books.
22. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of J. McCarthy.
23. Reiter, R. 1995. CS2532S course notes. Unpublished manuscript.
24. Reiter, R. 2000. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. In preparation. Draft available at http://www.cs.toronto.edu/~cogrobo/.
25. Rosenschein, S. 1981. Plan synthesis: A logical perspective. In Proc. Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), 331-337.
26. Scherl, R., and Levesque, H. 1993. The frame problem and knowledge producing actions. In Proc. Eleventh National Conference on Artificial Intelligence (AAAI-93), 689-695.
27. Shanahan, M. 1996a. Noise and the common sense informatic situation for a mobile robot. In Proc. Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1098-1103.
28. Shanahan, M. 1996b. Robotics and the common sense informatic situation. In Proc. European Conference on Artificial Intelligence (ECAI-96), 684-688.
29. Stone, M. 1998. Abductive planning with sensing. In Proc. Fifteenth National Conference on Artificial Intelligence (AAAI-98), 631-636.
30. Weld, D. 1999. Recent advances in AI planning. AI Magazine.