Tentative Formalization of Human-Agent Interaction for Model-Based Interaction Design

To construct a general theory in human-agent interaction (HAI), it is essential to discuss how to generalize from models within the research area. In this study, we propose a formulation of HAI for the establishment of axiom systems. The environment for agents, behavior as a time change in the environment, and the internal state as an evaluation of the environment are identified as basic variables. The relations of these variables are expressed by functions. Ideally, HAIs should be explained in one axiomatic system to discuss the similarities and differences among human-human interaction, human-animal interaction, and human-robot interaction. For this purpose, we need to verify the model theoretically in a future study.