知识（一）

知识

人类根据现有知识进行推理并得出结论。表示知识并从中得出结论的概念也用于AI中

基于知识的代理

这些是通过对知识的内部表示进行操作来进行推理的主体。

“基于知识的推理得出结论”是什么意思？

让我们从哈利波特的例子开始回答这个问题。考虑以下句子：

1. 如果不下雨，哈利今天就去了海格。
2. 哈里今天拜访了海格或邓布利多，但都不是两者。
3. 哈里今天访问了邓布利多。

基于这三个句子，我们可以回答“今天下雨了吗？”这个问题，尽管没有一个句子告诉我们今天是否下雨。我们可以按照以下方法进行处理：查看句子3，我们知道哈利拜访了邓布利多。查看句子2，我们知道哈里去过邓布利多或海格，因此我们可以得出结论

1. 哈利没有去海格。

现在，看看第1句话，我们知道，如果不下雨，哈利就会去海格。但是，知道了句子4，我们就知道不是这种情况。因此，我们可以得出结论

1. 今天下雨了。

为了得出这个结论，我们使用了逻辑，今天的讲座探讨了AI如何利用逻辑根据现有信息得出新结论。

句子

句子是用知识表示语言对世界的断言。一句话是AI如何存储知识并使用它来推断新信息。

命题逻辑

命题逻辑基于命题，即关于世界的陈述，该陈述可以是真也可以是假，如上面的句子1-5中所述。

命题符号

命题符号最常见的是字母（P，Q，R），用于表示一个命题。

逻辑连接词

逻辑连接词是连接命题符号的逻辑符号，以便以更复杂的方式对世界进行推理。

**不是（¬）**颠倒了命题的真值。因此，例如，如果P：“正在下雨”，则¬P：“未下雨”。

真值表用于比较所有可能的真值分配与命题。当与不同的逻辑连接词连接时，该工具将帮助我们更好地理解命题的真值。例如，下面是我们的第一个真值表：

P	¬P
假	真正
真正	假

**（∧）**连接两个不同的命题。当两个命题P和Q通过connected连接时，仅当P和Q均为真时，结果命题P P Q才为真。

P	问	∧
假	假	假
假	真正	假
真正	假	假
真正	真正	真正

**或（∨）**是正确的，只要其任一自变量为真即可。这意味着要使P∨Q为真，P或Q中的至少一个必须为真。

P	问	∨
假	假	假
假	真正	真正
真正	假	真正
真正	真正	真正

值得一提的是，“或”有两种类型：“包含”或“排他”。在异或中，如果P Q为真，则P Q为假。也就是说，“异”或“仅”要求其一个参数为真，而不是全部为真。如果P，Q或P∧Q中的任何一个为真，则包含或为真。对于“或”（∨），意图是包含性的“或”。

未提及的一些注意事项：

• 有时，一个示例有助于理解“包容性”或“排他性” Or。包含式或：“要吃甜点，您必须打扫房间或修剪草坪。” 在这种情况下，如果您同时做这两个杂事，您仍然会得到Cookie。独家或：“对于甜点，您可以吃饼干或冰淇淋。” 在这种情况下，您不能同时拥有两者。
• 如果您感到好奇，则异或通常会缩短为XOR，而常见的符号是⊕）。

**含义（→）表示“如果P则Q”的结构。例如，如果P：“正在下雨”而Q：“我在室内”，则P→Q表示“如果在下雨，则我在室内”。在P表示Q（P→Q）的情况下，P称为先行词，*