Non-monotonic Reasoning for Localisation in RoboCup

Initial progress in symbolic reasoning was mostly discarded by the autonomous/mobile robotics community because robots usually face unpredictable environments and incomplete knowledge. As an alternative, reactive systems have taken over, heavily influenced by the works of Brooks [Brooks, 1991] and others. However, we demonstrate here an application of non-monotonic logic for the solution of localisation problems. While Plausible Logic [Billington and Rock, 2001; Rock and Billington, 2000] is implementable, we show here it is operable in real time on a Sony AIBO in the RoboCup (robotic soccer) context.Initial progress in symbolic reasoning was mostly discarded by the autonomous/mobile robotics community because robots usually face unpredictable environments and incomplete knowledge. As an alternative, reactive systems have taken over, heavily influenced by the works of Brooks [Brooks, 1991] and others. However, we demonstrate here an application of non-monotonic logic for the solution of localisation problems. While Plausible Logic [Billington and Rock, 2001; Rock and Billington, 2000] is implementable, we show here it is operable in real time on a Sony AIBO in the RoboCup (robotic soccer) context.
View less >

Conference Title

Australasian Conference on Robotics and Automation 2005

Publisher URI

https://www.araa.asn.au/conference/acra-2005/

Copyright Statement

© 2005 Australian Robotics and Automation Association. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.

Publication URI

http://hdl.handle.net/10072/2653

Collection

Conference outputs