Formalizing sensing actions - a transition function based approach

Artificial Intelligence

Volumn 125, Issue 1-2, 2001, Pages 19-91

  Son, Tran Cao ^a   Baral, Chitta ^b  

^a Stanford University   (United States)

^b AZ 85281   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECISION THEORY; ERROR CORRECTION; REGRESSION ANALYSIS; STATE SPACE METHODS;

ACTION DESCRIPTION LANGUAGES; TRANSITION FUNCTION-BASED METHODS;

ARTIFICIAL INTELLIGENCE;

EID: 0035124264     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00080-1     Document Type: Article

References (55)

1. Baral C. Reasoning about actions: Non-deterministic effects, constraints and qualification. Proc. IJCAI-95, Montreal, Quebec. 1995;2017-2023.
2. Baral C., Gelfond M. Representing concurrent actions in extended logic programming. Proc. IJCAI-93, Chambéry, France. 1993;866-871.
3. Baral C., Gelfond M. Reasoning about effects of concurrent actions. J. Logic Programming. 31:(1-3):1997;85-117.
4. Baral C., Gelfond M., Provetti A. Representing actions: Laws, observations and hypothesis. J. Logic Programming. 31:(1-3):1997;201-243.
5. Baral C., Gabaldon A., Provetti A. Formalizing narratives using nested circumscription. Artificial Intelligence. 104:(1-2):1998;107-164.
6. Barrett A., Golden K., Penberthy J., Weld D. UCPOP User's Manual, Version 2.0. 1993;Technical Report 93-09-06, Department of Computer Science and Engineering, University of Washington, Seattle, WA.
7. Bacchus F., Halpern J., Levesque H. Reasoning about noisy sensors in the situation calculus. Proc. IJCAI-95, Montreal, Quebec. 1995;1933-1940.
8. Baral C., Kreinovich V., Trejo R. Planning and approximate planning in presence of incompleteness. Proc. IJCAI-99, Stockholm, Sweden. 1999;948-953.
9. Baral C., Son T. Formalizing sensing actions: A transition function based approach. 1998;Technical Report, Department of Computer Science, University of Texas at El Paso, TX. http://cs.utep. edu/chitta/chitta.html.
10. Dimopoulos Y., Nebel B., Koehler J. Encoding planning problems in non-monotonic logic programs. Proc. European Conference on Planning. 1997;169-181.
11. Etzioni O., Hanks S., Weld D., Draper D., Lesh N., Williamson M. An approach to planning with incomplete information. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA. 1992;115-125.
12. Erdem E., Lifschitz V. Transformations of logic programs related to causality and planning. Proc. 5th International Conference on Logic Programming and Non-monotonic Reasoning. 1999.
13. E. Erdem, Application of logic programming to planning: Computational experiments; draft (http://www.cs. utexas.edu/tag).
14. Fagin R., Halpern J., Moses Y., Vardi M. Reasoning about Knowledge. 1995;MIT Press, Cambridge, MA.
15. Goldman R., Boddy M. Representing uncertainity in simple planners. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany. 1994;238-245.
16. Goldman R., Boddy M. Expressive planning and explicit knowledge. Proc. AIPS-96. 1996;110-117.
17. Gelfond M. Strong introspection. Proc. AAAI-91, Anaheim, CA. 1991;386-391.
18. Golden K., Etzioni O., Weld D. Planning with execution and incomplete informations. February 1996;Technical Report, TR96-01-09, Department of Computer Science, University of Washington, Seattle, WA.
19. Giunchiglia E., Kartha G., Lifschitz V. Representing action: Indeterminacy and ramifications. Artificial Intelligence. 95:1997;409-443.
20. Gelfond M., Lifschitz V. Representing actions in extended logic programs. Proc. Joint International Conference and Symposium on Logic Programming. 1992;559-573.
21. Gelfond M., Lifschitz V. Representing actions and change by logic programs. J. Logic Programming. 17:(2-4):1993;301-323.
22. Golden K. Planning and knowledge representation for softbots. November 1997;Ph.D. Thesis, University of Washington, Seattle, WA.
23. Golden K., Weld D. Representing sensing actions: The middle ground revisited. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA. 1996;174-185.
24. Haas L. A syntactic theory of belief and action. Artificial Intelligence. 28:1986;245-292.
25. Kartha G. Soundness and completeness theorems for three formalizations of action. Proc. IJCAI-93, Chambéry, France. 1993;724-729.
26. Kartha G., Lifschitz V. Actions with indirect effects: Preliminary report. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany. 1994;341-350.
27. Kautz H., McAllester D., Selman B. Encoding plans in propositional logic. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA. 1996;374-384.
28. Krebsbach K., Olawsky D., Gini M. An empirical study of sensing and defaulting in planning. Proc. 1st Conference of AI Planning Systems. 1992;136-144.
29. Kautz H., Selman B. Planning as satisfiability. Proc. ECAI-92, Vienna, Austria. 1992;359-363.
30. Kautz H., Selman B. Unifying sat-based and graph-based planning. Proc. IJCAI-99, Stockholm, Sweden. 1999;318-325.
31. Levesque H. What is planning in the presence of sensing? Proc. AAAI-96, Portland, OR. 1996;1139-1146.
32. Lifschitz V. Circumscription. Gabbay D.M., Hogger C.J., Robinson J.A. The Handbook of Logic in AI and Logic Programming, Vol. 3. 1994;298-352 Oxford University Press, Oxford.
33. Lifschitz V. Nested abnormality theories. Artificial Intelligence. 74:1995;351-365.
34. Lifschitz V. Two components of an action language. Ann. Math. Artificial Intelligence. 21:(2-4):1997;305-320.
35. Lin F. Embracing causality in specifying the indirect effects of actions. Proc. IJCAI-95, Montreal, Quebec. 1995;1985-1993.
36. Lin F., Reiter R. State constraints revisited. J. Logic Comput. 4:(5):1994;655-678.
37. Lin F., Shoham Y. Concurrent actions in the situation calculus. Proc. AAAI-92, San Jose, CA. 1992;590-595.
38. Lobo J., Taylor S., Mendez G. Adding knowledge to the action description language A. Proc. AAAI-97, Providence, RI. 1997;454-459.
39. McCarthy J. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence. 26:(3):1986;89-116.
40. Moore R. Reasoning about knowledge and action. 1979;Ph.D. Thesis, MIT, Cambridge, MA.
41. Moore R. A formal theory of knowledge and action. Hobbs J., Moore R. Formal Theories of the Commonsense World. 1985;Ablex, Norwood, NJ.
42. Miller R., Shanahan M. Narratives in the situation calculus. J. Logic Comput. 4:(5):1994;513-530.
43. McCain N., Turner H. A causal theory of ramifications and qualifications. Proc. IJCAI-95, Montreal, Quebec. 1995;1978-1984.
44. Pryor L., Collins G. Planning for contingencies: A decision-based approach. J. AI Res. 4:1996;287-339.
45. Pednault E. ADL and the state-transition model of actions. J. Logic Comput. 4:(5):1994;467-513.
46. Peot M., Smith D. Conditional non-linear planning. Proc. 1st Conference of AI Planning Systems. 1992;189-197.
47. Reiter R. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Lifschitz V. Artificial Intelligence and Mathematical Theory of Computation. 1991;359-380 Academic Press, New York.
48. Reiter R. Knowledge in Action: Logical Foundation for Describing and Implementing Dynamical Systems. 1998;MIT Press, Cambridge, MA. Manuscript.
49. Scherl R., Levesque H. The frame problem and knowledge producing actions. Proc. AAAI-93, Washington, DC. 1993;689-695.
50. Smith D., Weld D. Conformant graphplan. Proc. AAAI-98, Madison, WI. 1998.
51. Son T.C. Reasoning about sensing actions and its application to diagnostic problem solving. 2000;Ph.D. Thesis, University of Texas at El Paso, TX.
52. Turner H. Signed logic programs. Proc. 1994 International Symposium on Logic Programming. 1994;61-75.
53. Turner H. Representing actions in logic programs and default theories. J. Logic Programming. 31:(1-3):1997;245-298.
54. Weld D., Anderson C., Smith D. Extending graphplan to handle uncertainity and sensing actions. Proc. AAAI-98, Madison, WI. 1998;897-904.
55. Weld D. An introduction to least commitment planning. AI Magazine. 15:(4):1994;27-61.