Thesis
An architecture for reasoning in hybrid discrete-continuous domains
Master of Science (M.S.), Drexel University
Jun 2017
DOI:
https://doi.org/10.17918/etd-7338
Abstract
Hybrid domains are those featuring a mix of discrete and continuous variables. Recent research has resulted in sophisticated general purpose languages for modeling hybrid domains such as PDDL+ and H as well as efficient planning algorithms based on translation to logical formalisms. However, other reasoning tasks, such as execution monitoring and diagnosis, have not received as much attention. In this thesis, we address this shortcoming and propose execution monitoring and diagnostic reasoning algorithms based on action language H together with an agent architecture that combines planning, diagnostics, and execution monitoring for hybrid domains. The algorithms are based on an expanded translation of action language H to Constraint Answer Set Programming (CASP), which we developed for this project. We demonstrate our approach on two simple, but non-trivial scenarios including one that we tested on an actual robot.
Metrics
34 File views/ downloads
34 Record Views
Details
- Title
- An architecture for reasoning in hybrid discrete-continuous domains
- Creators
- Ryan David Young - DU
- Contributors
- Marcello Balduccini (Advisor) - Drexel University (1970-)
- Awarding Institution
- Drexel University
- Degree Awarded
- Master of Science (M.S.)
- Publisher
- Drexel University; Philadelphia, Pennsylvania
- Resource Type
- Thesis
- Language
- English
- Academic Unit
- Computer Science (Computing) (2013-2026); College of Computing and Informatics (2013-2026); Drexel University
- Other Identifier
- 7338; 991014632556804721