AAAI Publications, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Online Situation-Determined Agents and their Supervision
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Last modified: 2016-03-30

Abstract


Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. In this work, we investigate supervision of an agent that may acquire new knowledge about her environment during execution, for example, by sensing. Thus we consider an agent's online executions, where, as she executes the program, at each time point she must make decisions on what to do next based on what her current knowledge is. This is done in a setting based on the situation calculus and a variant of the ConGolog programming language. To reason about such agents, we first define a notion of online situation-determined agent which ensures that for any sequence of actions that the agent can perform online, the resulting agent configuration is unique. We then present our formalization of the online maximally permissive supervisor.

Keywords


Agent Supervision and Control; Situation Calculus; Online Execution; Autonomous Agents; Reasoning about Action; Reasoning about Processes

Full Text: PDF