Toward Formalizing Teleportation of Pedagogical Artificial Agents

TL;DR

This paper explores formal methods for ensuring that artificial pedagogical agents can convincingly appear persistent over time despite changing embodiments, facilitating their effective use in long-term educational interactions.

Contribution

It introduces initial formalization steps for teleportation of artificial agents, enabling verification of perceived agent persistence across different embodiments.

Findings

Proposes a formal framework for agent teleportation.

Lays groundwork for verifying agent persistence in educational settings.

Addresses challenges in maintaining agent continuity over time.

Abstract

Our paradigm for the use of artificial agents to teach requires among other things that they persist through time in their interaction with human students, in such a way that they "teleport" or "migrate" from an embodiment at one time t to a different embodiment at later time t'. In this short paper, we report on initial steps toward the formalization of such teleportation, in order to enable an overseeing AI system to establish, mechanically, and verifiably, that the human students in question will likely believe that the very same artificial agent has persisted across such times despite the different embodiments.