Non-monotonic reasoning for localisation in robocup

Proceedings of the 2005 Australasian Conference on Robotics and Automation, ACRA 2005

Volumn , Issue , 2005, Pages

  Billington, David ^a   Estivill Castro, Vlad ^a   Hexel, René ^a   Rock, Andrew ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INCOMPLETE KNOWLEDGE; LOCALISATION; NON-MONOTONIC REASONING; NONMONOTONIC LOGIC; REACTIVE SYSTEM; REAL TIME; ROBOCUP; ROBOTIC SOCCER; SONY AIBO; SYMBOLIC REASONING;

ROBOTS;

ROBOTICS;

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

References (18)

1. [Antoniou, 1997] G. Antoniou. Nonmonotonic Reasoning. MIT Press, Cambridge, Mass., 1997.
2. [Billington and Rock, 2001] David Billington and Andrew Rock. Propositional plausible logic: Introduction and implementation. Studia Logica, 67:243-269, 2001. (Pubitemid 33810521)
3. [Billington, 2005] D. Billington. The proof algorithms of plausible logic form a hierarchy. Proc. 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 2005. Springer Verlag LNAI. To appear.
4. [Brooks, 1991] R.A. Brooks. Intelligence without reason. Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, pages 569-595, San Mateo, CA, 1991.
5. ICJAI-91, Morgan Kaufmann. Sydney, Australia. [Fox et al., 1999] D. Fox, W. Burgard, and S. Thrun. Markov localization for mobile robots in dynamic environments. J. Artificial Intelligent Research, 11:391-427, November 1999. (Pubitemid 129628770)
6. [Gutmann and Fox, 2002] J.-S. Gutmann and D. Fox. An experimental comparison of localization methods continued. Proc. IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2002.
7. [Kahney, 2003] L. Kahney. The new pet craze: Robovacs. Wired Magazine, 2003. June, 16th; visited Septenber 10th, 2003,www.wired.com/news/technology/0, 1282,59249,00.html.
8. [Marek and Truszczynski, 1993] V.W. Marek and M. Truszczynski. Nonmonotonic Logic: Context- Dependent Reasoning. Springer Verlag, Berlin, 1993.
9. [Rich and Knight, 1991] E. Rich and K. Knight. Artificial Intelligence. McGraw-Hill, NY, second edition, 1991.
10. [Rock, ] Andrew Rock. The DPL (decisive Plausible Logic) tool. Technical report, (continually) in preparation, available at www.cit.gu.edu.au/~arock/.
11. [Rock and Billington, 2000] Andrew Rock and David Billington. An implementation of propositional plausible logic. J. Edwards, ed. 23rd Australasian Computer Science Conference, volume 22(1) of Australian Computer Science Communications, pages 204-210, Canberra, January 2000. IEEE Computer Society, Los Alamitos.
12. [Röfer and Jüngel, 2004] T. Röfer and M. Jüngel. Fast and robust edge-based localization in the SONY fourlegged robot league. 7th Int. Workshop on RoboCup 2003 (Robot World Cup Soccer Games and Conferences), Padova, July 2004. Springer Verlag LNAI.
13. [Russell and Norvig, 2002] S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice- Hall, Englewood Cliffs, NJ, second edition, 2002.
14. [Thrun et al., 1999] S. Thrun, M. Bennewitz, W. Burgard, A.B. Cremers, F. Dellaert, D. Fox, D. Hahnel, C.R. Rosenberg, N. Roy, J. Schulte, and D. Schulz. MINERVA: A tour-guide robot that learns. KI - Kunstliche Intelligenz, pages 14-26, 1999.
15. [Thrun et al., 2001] S. Thrun, D. Fox, W. Burgard, and F. Dellaert. Robust monte carlo localization for mobile robots. Artificial Intelligence, 128:99-141, 2001. (Pubitemid 32421511)
16. [Veloso et al., 1998] M. Veloso, W. Uther, M. Fujita, M. Asada, and H. Kitano. Playing soccer with legged robots. Proc. IROS-98, Intelligent Robots and Systems Conference, Victoria, Canada, October 1998.
17. [Wallich, 2001] P. Wallich. Mindstorms - not just a kids toy. IEEE Spectrum, pages 53-57, September 2001.
18. [Wooldridge, 2002] M. Wooldridge. An Introduction to MultiAgent Systems. Wiley, NY, 2002.