斯特尔特

STELP——一种时态回答集编程工具。在本文中,我们提出STELP,求解集编程的时间算子。作为输入的一种特殊类型的逻辑程序与模态运算符(称为可分割时态逻辑程序),STELP获得其时间均衡模型的集合(广义的稳定模型的扩展语法)。所获得的一组模型以确定性B“UCI自动机捕获完整的程序行为”来表示。在小例子中,这个自动机可以以直接和可读的方式图形化地显示。输入语言提供了一组构造,该结构允许时间逻辑程序的简单定义,包括可用于简化图形输出的动作域的特殊语法。STELP结合了标准的ASP求解器和线性时序逻辑模型检查器的使用,以找到输入理论的所有模型。