Integrating Logical and non-Logical Reasoning

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 project's 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.