智能ai是如何逻辑运算的，以及智能ai是如何逻辑运算的呢对应的知识点，小编就整理了1个相关介绍。如果能碰巧解决你现在面临的问题，希望对各位有所帮助！

AI逻辑指的是什么？

人工智能逻辑名词解释：泛指用于计算机和人工智能的各种逻辑系统和逻辑 *** 。如20世纪70年代科尔默劳尔(AlainColmerauer)建立的Prolog语言及其系统就是一种人工智能逻辑,它使用回溯推理,从给定的事实和规则出发,根据使用者的提问,推出答案。

自动推理和机器证明是人工智能逻辑的重要方面,它试图借助计算机来实施推理和证明的自动化,使人们从复杂的、难以胜任的逻辑推理中解放出来。

中国学者已经在这方面做了出色的工作,例如,吴文俊院士提出了著名的“吴 *** ”,成功地用于几何定理的机器证明,在方程组求解、一阶逻辑公式的证明、微分几何、理论物理、力学等领域也有应用。

到此，以上就是小编对于智能ai是如何逻辑运算的的问题就介绍到这了，希望介绍关于智能ai是如何逻辑运算的的1点解答对大家有用。