声音和不健全的推理之间有什么区别？

Question

在人工智能和逻辑知识方面，声音与不合理推理有什么区别？

另外，ID3算法使用什么样的搜索？它是广度优先搜索吗？

谢谢

Answer 1

如果前提是真实的，推理是合理的，并且可以从这些前提得出结论。例如：

  

答案upvote会让你获得10个代表   杰克有4个回答upvotes

     

---

     

杰克有40位代表

是合理的（忽略其他代表因素:)）。如果是：

  

答案upvote让你50代表   杰克有4个回答upvotes

     

---

     

杰克有200名代表

推理是有效，但不是声音，因为其中一个前提是假的

Answer 2

两个问题，没有密切关系。我只回答第一个 - 为第二个问题开始一个新的SO问题。

逻辑中有两种声音含义。第一个是哲学中流行的，是迈克尔给出的。第二种 - 通常用于形式逻辑，受模型理论术语影响的逻辑学家 - 是声音推论是真实保留的，即，只要前提是真实的，结论也是如此，或者换句话说，前提是暗示结论。

请注意，第一个比第二个要求更高：在第一个帐户上，声音参数的前提需要是真实的，而在第二个帐户上则不是。因此，＃1声音的所有推理都是＃2号声音，但反之亦然，迈克尔的帖子解释了原因：他的第一个例子是根据两个标准发声，而第二个声音仅根据第二

我认为在AI中，第二个定义更为普遍，但看到人工智能是如此多元化的学科，受到哲学的强烈影响，你可能会遇到第一个。当我教AI时，我使用了第二个。

我不知道第一个定义来自哪里，但第二个来自塔斯基。使用第一个健全性定义的人使用术语有效来谈论保持真理的论点。有关第一个定义的讨论，请参阅Validity and Soundness上的互联网哲学百科全书;有关第二个定义的解释，请参阅维基百科的article on Soundness。

Answer 3

逻辑由一组关于这些的命题和推理规则组成。

给定一个逻辑L，可以通过连续应用推理规则得到的每个命题p被称为声音。

任何无法得出的命题都可以说是不合理的，但没有人这么说。我们只是说它不在L中。

逻辑L 完成如果您（作为智能人类）认为应该为真的每个语句都是正确的。

因此，我们寻求完善和完整的逻辑。

这个问题听起来像AI 101的作业问题。