Online Agent Logic Programming with oClingo

摘要

The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set Programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construction of a 'safe' program-one that satisfies an arcane modularity condition. We provide an alternative in the form of so-called Agent Logic Programs-a concise declarative language for describing agent control strategies. Specifically, we take an ASP-compatible subset of Agent Logic Programs, extend it with exogenous actions, argue this translation is faithful to the original definition, and prove that it guarantees oClingo's modularity condition. The result is a safe, clean input language for oClingo and a new implementation for Agent Logic Programs.