Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics

10/20/2020
by   Tiago Mota, et al.
0

A robot's ability to provide descriptions of its decisions and beliefs promotes effective collaboration with humans. Providing such transparency is particularly challenging in integrated robot systems that include knowledge-based reasoning methods and data-driven learning algorithms. Towards addressing this challenge, our architecture couples the complementary strengths of non-monotonic logical reasoning, deep learning, and decision-tree induction. During reasoning and learning, the architecture enables a robot to provide on-demand relational descriptions of its decisions, beliefs, and the outcomes of hypothetical actions. These capabilities are grounded and evaluated in the context of scene understanding tasks and planning tasks performed using simulated images and images from a physical robot manipulating tabletop objects.

READ FULL TEXT

page 1

page 6

research
08/01/2015

Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics

Robots assisting humans in complex domains have to represent knowledge a...
research
09/23/2019

Non-monotonic Logical Reasoning Guiding Deep Learning for Explainable Visual Question Answering

State of the art algorithms for many pattern recognition problems rely o...
research
01/25/2022

Combining Commonsense Reasoning and Knowledge Acquisition to Guide Deep Learning in Robotics

Algorithms based on deep network models are being used for many pattern ...
research
07/31/2019

Towards a Theory of Intentions for Human-Robot Collaboration

The architecture described in this paper encodes a theory of intentions ...
research
01/16/2019

Robot Sequential Decision Making using LSTM-based Learning and Logical-probabilistic Reasoning

Sequential decision-making (SDM) plays a key role in intelligent robotic...
research
09/12/2017

Probability Reversal and the Disjunction Effect in Reasoning Systems

Data based judgments go into artificial intelligence applications but th...
research
07/28/2013

Reasoning for Moving Blocks Problem: Formal Representation and Implementation

The combined approach of the Qualitative Reasoning and Probabilistic Fun...

Please sign up or login with your details

Forgot password? Click here to reset