Mohan Sridharan, Michael Gelfond, Jeremy Wyatt, Shiqi Zhang |
PosterID:
4
PDF
Slides
Poster
|
| This article describes REBA, a knowledge representation and reasoning architecture for robots that is based on tightly-coupled transition diagrams of the domain at two different levels of granularity. An action language is extended to support non-Boolean fluents and non-deterministic causal laws, and used to describe the domain's transition diagrams, with the fine-resolution transition diagram being defined as a refinement of the coarse-resolution transition diagram. The coarse-resolution system description, and a history that includes prioritized defaults, are translated into an Answer Set Prolog (ASP) program. For any given goal, inference in the ASP program provides a plan of abstract actions. To implement each such abstract action, the robot automatically zooms to the part of the fine-resolution transition diagram relevant to this abstract transition. The zoomed fine-resolution system description, and a probabilistic representation of the uncertainty in sensing and actuation, are used to construct a partially observable Markov decision process (POMDP). The policy obtained by solving the POMDP is invoked repeatedly to implement the abstract transition as a sequence of concrete actions. The fine-resolution outcomes of executing these concrete actions are used to infer coarse-resolution outcomes that are added to the coarse-resolution history and used for subsequent coarse-resolution reasoning. The architecture thus combines the complementary strengths of declarative programming and probabilistic graphical models to represent and reason with non-monotonic logic-based and probabilistic descriptions of uncertainty and incomplete domain knowledge. In addition, we describe a general methodology for the design of software components of a robot based on these knowledge representation and reasoning tools, and provide a path for proving the correctness of these components. The architecture is evaluated in simulation and on a mobile robot finding and moving target objects to desired locations in indoor domains, to show that the architecture supports reliable and efficient reasoning with violation of defaults, noisy observations and unreliable actions, in complex domains. | |
| Canb | 10/27/2020, 17:00 – 18:00 |
| 10/31/2020, 00:00 – 01:00 |
| Paris | 10/27/2020, 07:00 – 08:00 |
| 10/30/2020, 14:00 – 15:00 |
| NYC | 10/27/2020, 02:00 – 03:00 |
| 10/30/2020, 09:00 – 10:00 |
| LA | 10/26/2020, 23:00 – 00:00 |
| 10/30/2020, 06:00 – 07:00 |
A Decentralised Strategy for Heterogeneous AUV Missions via Goal Distribution and Temporal Planning
Yaniel Carreno, Èric Pairet, Yvan Petillot, Ronald P. A. Petrick
An AI-Based Planning Framework for HAPS in a Time-Varying Environment
Jane Jean Kiam, Enrico Scala, Miquel Ramirez Javega, Axel Schulte
Observation Decoding with Sensor Models: Recognition Tasks via Classical Planning
Diego Aineto, Sergio Jimenez, Eva Onaindia
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
Mohan Sridharan, Michael Gelfond, Jeremy Wyatt, Shiqi Zhang