问人工智能中的范式
EN

Software Engineering用户

提问于 2016-07-20 00:52:59

回答 2查看 1.2K关注 0票数 -1

为什么我们在人工智能中使用常规形式(如Conjuctive范式和析取范式)？用普通形式造句的具体目的是什么？

回答已采纳

发布于 2016-07-20 01:14:47

规范表单的意义在于表达式之间的一致性。它使相同的表达更容易发现，并使推理和简化更容易。

连词、析取、甚至命题表达只是表达相同事物的不同方式。

人工智能只在人工智能执行逻辑运算时才关注这些逻辑形式。大多数人工智能以某种形式使用逻辑。

票数 0

发布于 2016-07-20 01:33:35

许多算法，如SAT求解器，都是针对联合范式进行优化的。

例如，请参见http://minisat.se/

票数 0

页面原文内容由Software Engineering提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://softwareengineering.stackexchange.com/questions/325263

复制

相似问题

问人工智能中的范式EN