Skip to main content
SpringerLink
Log in

A Logical Theory of Localization

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A central problem in applying logical knowledge representation formalisms to traditional robotics is that the treatment of belief change is categorical in the former, while probabilistic in the latter. A typical example is the fundamental capability of localization where a robot uses its noisy sensors to situate itself in a dynamic world. Domain designers are then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors to black-box probabilistic tools and then interpreting their outputs in an abstract way. Building on a first-principles approach by Bacchus, Halpern and Levesque, and a recent continuous extension to it by Belle and Levesque, we provide an axiomatization that shows how localization can be realized wrt a basic action theory, thereby demonstrating how such capabilities can be enabled in a single logical framework. We then show how the framework can also enable localization for multiple agents, where an agent can appeal to the sensing already performed by another agent and the knowledge of their relative positions to localize itself.

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. Bacchus F.: Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, MA (1990)

    Google Scholar 

  2. Bacchus F., Halpern J. Y., Levesque H. J.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence 111(1–2), 171–208 (1999)

    Article  Google Scholar 

  3. Baltag, A., L. S. Moss, and S. Solecki, The logic of public announcements, common knowledge, and private suspicions, in Proceedings of TARK, 1998, pp. 43–56.

  4. Belle, V., and G. Lakemeyer, A semantical account of progression in the presence of uncertainty, in Proceedings of AAAI, 2011, pp. 165–170.

  5. Belle, V., and H. J. Levesque, Reasoning about continuous uncertainty in the situation calculus, in Proceedings of IJCAI, 2013.

  6. Belle, V., and H. J. Levesque, Reasoning about probabilities in dynamic systems using goal regression, in Proceedings of UAI, 2013.

  7. Belle, V., and H. J. Levesque, Robot location estimation in the situation calculus, in Symposium on Logical Formalizations of Commonsense Reasoning, 2013.

  8. Belle, V., and H. J. Levesque, How to progress beliefs in continuous domains, in Proceedings of KR, 2014.

  9. Belle, V., and H. J. Levesque, PREGO: An action language for belief-based cognitive robotics in continuous domains, in Proceedings of AAAI, 2014.

  10. Billingsley, P., Probability and Measure, 3rd edn., Wiley-Interscience, New York, 1995.

  11. Boutilier, C., R. Reiter, M. Soutchanski, and S. Thrun, Decision-theoretic, high-level agent programming in the situation calculus, in Proceedings of AAAI, 2000, pp. 355–362.

  12. Burgard W., Cremers A. B., Fox D., Hähnel D., Lakemeyer G., Schulz D., Steiner W., Thrun S.: Experiences with an interactive museum tour-guide robot. Artificial Intelligence 114(1–2), 3–55 (1999)

    Article  Google Scholar 

  13. Choi, J., A. Guzman-Rivera, and E. Amir, Lifted relational Kalman filtering, in Proceedings of IJCAI, 2011, pp. 2092–2099.

  14. Cox I. J.: Blanche—An experiment in guidance and navigation of an autonomous robot vehicle. IEEE Transactions on Robotics and Automation 7(2), 193–204 (1991)

    Article  Google Scholar 

  15. Da Prato, G., An Introduction to Infinite-Dimensional Analysis, Universitext, Springer, 2006.

  16. Darwiche, A., and M. Goldszmidt, Action networks: A framework for reasoning about actions and change under uncertainty, in Proceedings of UAI, 1994, pp. 136–144.

  17. De Giacomo, G., and H. J. Levesque, Two approaches to efficient open-world reasoning, in Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Norwell, MA, 2000, pp. 59–78.

  18. Delgrande, J. P., and H. J. Levesque, A formal account of nondeterministic and failed actions, in IJCAI, 2013.

  19. Dellaert, F., D. Fox, W. Burgard, and S.Thrun, Monte carlo localization for mobile robots, in Proceedings Robotics and Automation, vol. 2, IEEE, 1999, pp. 1322–1328.

  20. Fagin R., Halpern J. Y.: Reasoning about knowledge and probability. Journal of the ACM 41(2), 340–367 (1994)

    Article  Google Scholar 

  21. Fox D., Burgard W., Kruppa H., Thrun S.: A probabilistic approach to collaborative multi-robot localization. Autonomous Robots 8(3), 325–344 (2000)

    Article  Google Scholar 

  22. Gabaldon, A., and G. Lakemeyer, ESP: A logic of only-knowing, noisy sensing and acting, in Proceedings of AAAI, 2007, pp. 974–979.

  23. Ge, X., and J. Renz, Representation and reasoning about general solid rectangles, in IJCAI, 2013.

  24. De Giacomo, G., L. Iocchi, D. Nardi, and R. Rosati, Moving a robot: The kr & r approach at work, in Proceedings of KR, 1996, pp. 198–209.

  25. Hajishirzi, H., and E. Amir, Reasoning about deterministic actions with probabilistic prior and application to stochastic filtering, in Proceedings of KR, 2010.

  26. Halpern J. Y., Tuttle M. R.: Knowledge, probability, and adversaries. Journal of the ACM 40, 917–960 (1993)

    Article  Google Scholar 

  27. Halpern J. Y.: An analysis of first-order logics of probability. Artificial Intelligence 46(3), 311–350 (1990)

    Article  Google Scholar 

  28. Hintikka, J., Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, 1962.

  29. Jetto L., Longhi S., Vitali D.: Localization of a wheeled mobile robot by sensor data fusion based on a fuzzy logic adapted Kalman filter. Control Engineering Practice 7(6), 763–771 (1999)

    Article  Google Scholar 

  30. Kelly R. F., Pearce A. R.: Asynchronous knowledge with hidden actions in the situation calculus. Artificial Intelligence 221, 1–35 (2015)

    Article  Google Scholar 

  31. Kripke S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83–94 (1963)

    Google Scholar 

  32. Kushmerick, N., S. Hanks, and D. S. Weld, An algorithm for probabilistic planning, Artificial Intelligence 76(1):239–286, 1995.

  33. Lakemeyer, G., and H. J. Levesque, Cognitive robotics, in Handbook of Knowledge Representation, Elsevier, Amsterdam, 2007, pp. 869–886.

  34. Lee, J. H., J. Renz, and D. Wolter, Starvars—Effective reasoning about relative directions, in Francesca Rossi, (ed.), IJCAI, IJCAI/AAAI, 2013.

  35. Levesque, H. J., and R. Reiter, High-level robotic control: Beyond planning, Position paper at AAAI Spring Symposium on Integrating Robotics Research, 1998.

  36. Levesque, H. J., R. Reiter, Y. Lespérance, F. Lin, and R. Scherl, Golog: A logic programming language for dynamic domains, Journal of Logic Programming 31:59–84, 1997.

  37. Levesque H. J., Pirri F., Reiter R.: Foundations for the situation calculus. Electronic Transactions in Artificial Intelligence 2, 159–178 (1998)

    Google Scholar 

  38. Lin F., Reiter R.: How to progress a database. Artificial Intelligence 92(1–2), 131–167 (1997)

    Article  Google Scholar 

  39. Mateus P., Pacheco A., Pinto J., Sernadas A., Sernadas C.: Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence 32(1–4), 393–431 (2001)

    Article  Google Scholar 

  40. McCarthy, J., and P. J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in Machine Intelligence, 1969, pp. 463–502.

  41. McIlraith, S., G. Biswas, D. Clancy, and V. Gupta, Hybrid systems diagnosis, in Proceedings of Workshop on Hybrid Systems: Computation and Control, LNCS, 2000, pp. 282–295.

  42. Moore, R. C., A formal theory of knowledge and action, in Formal Theories of the Commonsense World, Ablex, Norwood, NJ, 1985, pp. 319–358.

  43. Ng R., Subrahmanian V.S.: Probabilistic logic programming. Information and Computation 101(2), 150–201 (1992)

    Article  Google Scholar 

  44. Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.

  45. Poole D.: Decision theory, the situation calculus and conditional plans. Electronic Transactions in Artificial Intelligence 2, 105–158 (1998)

    Google Scholar 

  46. Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, Cambridge, MA, 2001.

  47. Richardson M., Domingos P.: Markov logic networks. Machine learning 62(1), 107–136 (2006)

    Article  Google Scholar 

  48. Sanner, S., Relational dynamic influence diagram language (rddl): Language description, Technical Report, Australian National University, 2011.

  49. Scherl R. B., Levesque H. J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1–2), 1–39 (2003)

    Article  Google Scholar 

  50. Shapiro, S., Belief change with noisy sensing and introspection, in NRAC Workshop, 2005, pp. 84–89.

  51. Shapiro, S., Y. Lespérance, and H. J. Levesque, The cognitive agents specification language and verification environment for multiagent systems, in Proceedings of AAMAS, 2002, pp. 19–26.

  52. Shapiro, S., Y. Lespérance, and H. J. Levesque, Goal change, in Proceedings IJCAI, 2005, pp. 582–588.

  53. Thielscher, M., Planning with noisy actions (preliminary report), in Proceedings of the Australian Joint Conference on Artificial Intelligence, 2001, pp. 27–45.

  54. Thielscher M.: Flux: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5(4–5), 533–565 (2005)

    Article  Google Scholar 

  55. Thrun, S., W. Burgard, and D. Fox, Probabilistic Robotics, MIT Press, Cambridge, MA, 2005.

  56. Van Benthem J., Gerbrandy J., Kooi B.: Dynamic update with probabilities. Studia Logica 93(1), 67–96 (2009)

    Article  Google Scholar 

  57. Younes, H., and M. Littman, PPDDL 1.0: An extension to pddl for expressing planning domains with probabilistic effects, Technical Report, Carnegie Mellon University, 2004.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, Toronto, ON, M5S 3H5

    Vaishak Belle & Hector J. Levesque

Authors
  1. Vaishak Belle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hector J. Levesque
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vaishak Belle.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Belle, V., Levesque, H.J. A Logical Theory of Localization. Stud Logica 104, 741–772 (2016). https://doi.org/10.1007/s11225-015-9625-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-015-9625-0

Keywords

Search

Navigation