Accession Number:

ADA556379

Title:

Integrating Logical and non-Logical Reasoning

Descriptive Note:

Final rept. 13 Sep 2010-13 Nov 2011

Corporate Author:

NEW SOUTH WALES UNIV SYDNEY (AUSTRALIA)

Report Date:

2011-11-30

Pagination or Media Count:

11.0

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 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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE