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

Question

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

谢谢

Answer 1

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