TL;DR通过引入引伸函数,扩展一阶稳定模型语义,并将其用作定义Answer Set Programming Modulo Theories (ASPMT)的基础,从而实现类似SMT的有效一阶推理,解决包含实数的领域中的接地问题。
Abstract
In classical logic, nonBoolean fluents, such as the location of an object, can be naturally described by functions. However, this is not the case in answer set programs, where the values of functions are pre-defi