自动推理


从一个或几个已知的判断(前提)逻辑地推论出一个新的判断(结论)的思维形式称为推理,  这是事物的客观联系在意识中的反映。人解决问题就是利用以往的知识,  通过推理得出结论。自动推理的理论和技术是程序推导、程序正确性证明、专家系统、智能机器人等研究领域的重要基础。

Open Problems

S5Cheetah

约束求解