Integrating Logical and non-Logical Reasoning
Final rept. 13 Sep 2010-13 Nov 2011
NEW SOUTH WALES UNIV SYDNEY (AUSTRALIA)
Pagination or Media Count:
This project explores the interaction between logical and non-logical reasoning systems. It is primarily concerned with forging links between two relatively distinct sub-fields within artificial intelligence and to provide both theoretical and practical benefits. The projects fundamental goal was to explore methods for practical reasoning in the context of robotics. The project made advances in dealing with erroneous information, approximate reasoning, topological reasoning and languages for practical reasoning systems. These developments are currently being implemented on a domestic robot a Segway RMP operating in a home environment. The project therefore demonstrates practical reasoning in complex environments.