Artificial intelligence 需要一些关于解决规则的提示吗_Artificial Intelligence_Logic_Discrete Mathematics

Artificial intelligence 需要一些关于解决规则的提示吗

artificial-intelligence logic

Artificial intelligence 需要一些关于解决规则的提示吗,artificial-intelligence,logic,discrete-mathematics,Artificial Intelligence,Logic,Discrete Mathematics,这是家庭作业。我试图证明（a v b）^（~b v c）|=（a v c）这是一个正确的解决规则。我不允许用决议规则来证明这一点。有点困惑，一开始我不知道该怎么办还有一个问题，老师让我们证明KB^~a，当KB^~a不能满足时。据我所知，我可能需要建立一个知识库，其中包括几个句子，然后我可以证明 KB^~a无法满足要求。但老师告诉我，如果我想得到一个例子，我必须让它适合每一种情况。我想知道是否有一个普遍的例子来证明这一点？我必须用例子吗希望有人能给我一些提示或有用的链接。。谢谢。您可以按照

这是家庭作业。我试图证明（a v b）^（~b v c）|=（a v c）

这是一个正确的解决规则。我不允许用决议规则来证明这一点。有点困惑，一开始我不知道该怎么办

还有一个问题，老师让我们证明KB^~a，当KB^~a不能满足时。据我所知，我可能需要建立一个知识库，其中包括几个句子，然后我可以证明 KB^~a无法满足要求。但老师告诉我，如果我想得到一个例子，我必须让它适合每一种情况。我想知道是否有一个普遍的例子来证明这一点？我必须用例子吗

希望有人能给我一些提示或有用的链接。。谢谢。

您可以按照第三段中描述的规则进行操作：

首先，为你所知道的一切建立一个知识库：即

avb

和

~bvc

然后添加你试图证明的陈述的否定：

~（avc）

。您可以在CNF中重写它并将其添加到知识库中

现在证明这个知识库是不可满足的。有两种方法可以做到这一点：

做一张真相表。有八个可能的赋值给
```
a
```
，
```
b
```
，
```
c
```
，因此它将有八行；对于任何可能的赋值，可以显示KB中至少有一条语句为false。这不是一个“例子”，因为你正在考虑所有可能的情况
根据您使用的模型，您可以在知识库本身中进行一些推断。你会有一些简单的声明，断言某个变量是真是假；然后可以使用该事实简化知识库中的其他语句。不过，你需要检查一下，你是以一种适合你的形式主义的方式来做这件事的

因此，为了证明

KB^~a

不可满足意味着

KB |=a

，通过矛盾进行证明：

您有
```
KB
```
假设给定
```
KB
```
，
```
~a
```
是可满足的
但如果这是真的，那么
```
KB^~a
```
是可满足的——你正在证明它是假的，即
```
KB^~a
```
是不可满足的
因此，我们的假设肯定是错误的，因此
```
~a
```
在
```
KB
```
的情况下是不可满足的

现在你已经差不多做到了。

证明KB |=~a不令人满意如何？我有没有办法不用例子来证明呢？@roccia在我的答案中添加了关于如何做到这一点的细节。我已经用真值表证明了第一个（（a v b）^（~b v c）|=（a v c））。但仍然坚持第二条。在您的第二个参数图（取决于您使用的模型，…）中，似乎我仍然需要构建一个知识库，但如何证明这个知识库是可以表示任何知识库的通用知识库？谢谢你的帮助。@roccia噢，我不知道你也在试图证明第二种说法——我认为这是证明第一种说法的建议方法，这就是我在回答中所说的。我也添加了一些关于证明这一点的提示。非常感谢，尽管我已经知道了如何做到这一点。