-2

给定句子: 1.Tom 有一台不错的笔记本电脑 2. 只有当 Mary 去餐厅时,Tom 才会去餐厅

我将如何将其转换为命题逻辑和谓词逻辑。我试着试一试,但我不确定它是否正确。

Propositional
1. P = Tom has a nice laptop
   p
2. p= tom goes to restaurant
   q= mary goes to restaurant 
   q->p

predicate 
1. has_a_laptop(tom)
2. Goes_to_rest(mary) - > goes to rest(tom)

这个对吗?

4

2 回答 2

0

你误解了第二句话:它不是说汤姆只要玛丽去就去餐馆,而是说汤姆只有在玛丽去的时候才去餐馆,即汤姆从不去餐馆,除非玛丽去。

根据您对此进行可视化的方式,您可以将其写为q ∨ ¬p¬q → ¬p,它们是等价的。

同样的问题适用于您的一阶表示。

您对第一句话的表示是好的,但是如果您必须添加对象和对象属性,您将乘以谓词。你也错过了表达笔记本电脑“好”质量的机会。

您可以通过使用具体化来解决这两个问题,即将一个变量与膝上型电脑对象相关联,如laptop(x) ∧ nice(x) ∧ has(tom,x).

于 2014-05-22T12:14:09.113 回答
0

观看此视频 - https://www.youtube.com/watch?v=OZVTDQIgGz8人工智能命题逻辑示例中的命题逻辑 PL Eng Hindi

于 2019-11-13T20:23:58.840 回答