Building cognitive and immersive systems: architecture, implementation, and formalization
Loading...
Authors
Peveler, Matthew
Issue Date
2020-12
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Computer science
Alternative Title
Abstract
To address these concerns, in this dissertation we introduce aframework for building what we term \textit{cognitive and immersive systems} (CAIS). Within our approach, and to handle the demands above, we emphasize techniques that are well-formalized and that operate at a ``theory of mind'' level. To accomplish this, we look to underpin our system with a formal language that has a high level of expressivity. For this, we turn to the \textit{cognitive event calculus} (CEC), a multi-operator multi-sorted quantified modal logic, and a matching high-expressivity automated reasoner and planner. Stemming from this we can establish a formalized set of principles by which these systems operate; and these systems can operate within scenarios that require not only reasoning about the physical world, but also the cognitive states of our agents within the CAIS. To validate our approach and demonstrate its effectiveness, we provide a real-world open-source implementation of a CAIS, and utilize it on tasks of planning and plan recognition.
Description
December 2020
School of Science
School of Science
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY