Building cognitive and immersive systems: architecture, implementation, and formalization

Authors
Peveler, Matthew
ORCID
Loading...
Thumbnail Image
Other Contributors
Bringsjord, Selmer
Su, Hui
Varela, Carlos A.
Szymanśki, Bolesław
Kephart, Jeffery O.
Issue Date
2020-12
Keywords
Computer science
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
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
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.