f2lp公司

系统f2lp–计算一阶公式的答案集。我们提出了一个实现的通用语言的稳定模型提出了法拉利,李和利夫希茨。在一定条件下,系统f2lp将稳定模型语义下的一阶理论转化为一个答案集程序,使得现有的答案集求解器可以用来计算通用语言。首先消除量词,然后将生成的无量词公式转化为规则。基于稳定模型与边界的关系,f2lp还可以作为一般约束理论的推理机。我们举例说明如何使用f2lp来计算限定事件演算。