Skip to main content
SpringerLink
Log in

Reasoning about Sensing Actions in Domains with Multi-Valued Fluents

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called AM K , provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then define the entailment relationship between action theories and queries in AM K , denoted by ⊧AM K , and discuss some properties about AM K .

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. BARAL, C., V. KREINOVICH, and R. TREJO, ‘Computational complexity of planning and approximate planning in the presence of incompleteness’, Artificial Intelligence 122 (2000), 241–267. Elsevier.

    Article  Google Scholar 

  2. BARAL, C., S. MCILRAITH, and T. SON, ‘Formulating diagnostic problem solving using an action language with narratives and sensing’, in Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000), Morgan Kaufmann, 2000, pp. 311–322.

  3. EITER, T., W. FABER, N. LEONE, G. PFEIFER, and A. POLLERES, ‘Planning under incomplete information’, in Proceedings of the First International Conference on Computational Logic (CL'00), Springer Verlag, LNAI 1861, 2000, pp. 807–821.

  4. GELFOND, M., and V. LIFSCHITZ, ‘Representing actions and change by logic programs’, Journal of Logic Programming 17, No. 2,3,4, (1993), 301–323. Elsevier.

    Article  Google Scholar 

  5. GELFOND, M., and V. LIFSCHITZ, ‘Action languages’, ETAI 3, No. 6 (1998).

  6. GIUNCHIGLIA, E., G. KARTHA, and V. LIFSCHITZ, ‘Representing action: indeterminacy and rami.cations’, Artificial Intelligence 95 (1997), 409–443. Elsevier.

    Article  Google Scholar 

  7. GOLDEN, K., and D. WELD, ‘Representing sensing actions: the middle ground revisited’, in Proceedings of the Fifth International Conference on Principles of Knowledge and Representation and Reasoning (KR 1996), Morgan Kaufmann, 1996, pp. 174–185.

  8. LEVESQUE, H., ‘What is planning in the presence of sensing?’, in Proceedings of the Thirdteenth Conference on Artificial Intelligence, AAAI Press, 1996, pp. 1139–1146.

  9. LOBO, J., S. TAYLOR, and G. MENDEZ, ‘Adding knowledge to the action description language A’, in Proceedings of the Fourteenth Conference on Artificial Intelligence, AAAI Press, 1997, pp. 454–459.

  10. MCCAIN, N., and H. TURNER, ‘A causal theory of rami.cations and quali.cations’, in Proceedings of the 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, San Mateo, CA, 1995, pp. 1978–1984.

    Google Scholar 

  11. MOORE, R., ‘A formal theory of knowledge and action’, in Formal theories of the commonsense world, J. Hobbs and R. Moore, (eds.), Ablex, Norwood, NJ, 1985.

    Google Scholar 

  12. SCHERL, R., and H. LEVESQUE, ‘The frame problem and knowledge producing actions’, in Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI Press, 1993, pp. 689–695.

  13. SON, T., and C. BARAL, ‘Formalizing sensing actions - a transition function based approach’, Artificial Intelligence 125, No. 1–2 (January), (2001), 19–91. Elsevier.

    Google Scholar 

  14. THIELSCHER, M., ‘Representating the knowledge of a robot’, in Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000), Morgan Kaufmann, 2000, pp. 109–120.

  15. WELD, D., C. ANDERSON, and D. SMITH, ‘Extending graphplan to handle uncertainity and sensing actions’, in Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI Press, 1998, pp. 897–904.

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, New Mexico State University, MSC CS, PO Box 30001, Las Cruces, NM, 88003, USA

    Tran Cao Son

  2. Computer Science and Engineering, Arizona State University, Tempe, AZ, 85287, USA

    Phan Huy Tu & Xin Zhang

Authors
  1. Tran Cao Son
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Phan Huy Tu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xin Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tran Cao Son.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Son, T.C., Tu, P.H. & Zhang, X. Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Stud Logica 79, 135–160 (2005). https://doi.org/10.1007/s11225-005-0499-4

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-005-0499-4

Keywords

Search

Navigation