7,129
个编辑
更改
跳到导航
跳到搜索
第228行：
第228行： − +
→逻辑
===逻辑===
===逻辑===
逻辑<ref name="ACM Computing Classification System: Artificial intelligence">"ACM Computing Classification System: Artificial intelligence". ACM. 1998. ~I.2.3 and ~I.2.4. </ref>被用来表示知识和解决问题，还可以应用到其他问题上。例如，satplan 算法就使用逻辑进行规划<ref name="Satplan"/>。另外，归纳逻辑编程是一种学习方法。
逻辑<ref name="ACM Computing Classification System: Artificial intelligence">"ACM Computing Classification System: Artificial intelligence". ACM. 1998. ~I.2.3 and ~I.2.4. </ref>被用来表示知识和解决问题，还可以应用到其他问题上。例如，satplan 算法就使用逻辑进行规划。另外，归纳逻辑编程是一种学习方法。