Online Agent Supervision in the Situation Calculus

Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves

Online Agent Supervision in the Situation Calculus

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 922-927.

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. The main results of this paper are (i) a formalization of the online maximally permissive supervisor, (ii) a sound and complete technique for execution of the agent as constrained by such a supervisor, and (iii)a new type of lookahead search construct that ensures nonblockingness over such online executions.

Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. 2016. Online Agent Supervision in the Situation Calculus. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 922–927. https://ijcai.org/proceedings/2016/135

@inproceedings{ijcai2016p135,
  title     = {Online Agent Supervision in the Situation Calculus},
  author    = {Banihashemi, Bita and De Giacomo, Giuseppe and Lespérance, Yves},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {922--927},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/135},
}

TY  - CPAPER
TI  - Online Agent Supervision in the Situation Calculus
AU  - Banihashemi, Bita
AU  - De Giacomo, Giuseppe
AU  - Lespérance, Yves
T2  - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2016
SP  - 922
EP  - 927
UR  - https://ijcai.org/proceedings/2016/135
ER  -