Action Language Hybrid AL

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.