Hybrid Answer Set Programming |
| |
Authors: | Alex Brik Jeffrey Remmel |
| |
Institution: | Department of Mathematics, University of California, San Diego, La Jolla, CA 92093-0112, USA |
| |
Abstract: | This paper discusses an extension of Answer Set Programming (ASP) called Hybrid Answer Set Programming (H-ASP) which allows the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule are satisfied and the constraints of the rule are not violated, then the algorithm associated with the rule is invoked. |
| |
Keywords: | 68T27 68T30 03B70 68N17 |
本文献已被 ScienceDirect 等数据库收录! |
|