CLIPS 中使用的逻辑名称是什么？

Question

我正在写一份关于使用 CLIPS 的软件的正式文档。我需要提到计算机科学中使用的逻辑（命题、一阶、时间等）。我需要引用一些参考，其中提到了 CLIPS 中使用的逻辑。我想这是演绎逻辑（一种自上而下的方法），但我不是逻辑专家，所以欢迎任何帮助。

谢谢

Answer 1

根据生产系统的维基百科条目，有多种意见。一是生产系统没有逻辑语义，二是正向链接是逻辑推理的手段。