Integrating Logical and non-Logical Reasoning
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 30, 2011
- Accession Number
- ADA556379
Entities
People
- Claude Sammut
- David Rajaratnam
- Maurice Pagnucco
- Michael Thielscher
Organizations
- University of New South Wales