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

Peveler, Matthew
Thumbnail Image
Other Contributors
Bringsjord, Selmer
Su, Hui
Varela, Carlos A.
Szymanśki, Bolesław
Kephart, Jeffery O.
Issue Date
Computer science
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
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.
December 2020
School of Science
Dept. of Computer Science
Rensselaer Polytechnic Institute, Troy, NY
Rensselaer Theses and Dissertations Online Collection
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.