Jump to Content

Action Language Hybrid AL

Jeffrey Remmel
Logic Programming and Nonmonotonic Reasoning, LPNMR, 14th International Conference, 2017


This paper introduces Hybrid AL, an extension of the action language AL that allows to reason about actions and their consequences for the domains where such consequences can be described practically only as results of the computations by exetrnal algorithms. While the semantics of the action language AL is defined using ASP, the semantics of the action language Hybrid AL is defined using Hybrid ASP - an extension of ASP allowing rules to control sequential processing of arbitrary binary data by external algorithms.