关于知识表示练习的问题

Question

我在做知识表达练习。我不确定我的解决方案。

练习：

做体育锻炼能让人快乐。不做体育活动会使人放松。放松的人是快乐的。

定义一个词汇表，并适当地将上述描述表示为一阶公式.

词汇表：

people(x)

PA (x ) (x做体力活动)

(x是愉快的)

松弛(x )(x放松)

每个(X) ((people(x)->PA(x))->happy(x))对应于每个(X) ((people(x)->not(PA(x)))->relaxed(x))的

(X) ((people(x)->relaxed(x))->happy(x))

提前谢谢你的帮助。

Answer 1

您通常不会有第二个含义，而是使用连词。我要说的第一个问题是：

• for each(x) (people(x) & PA(x) -> happy(x))

所以，对于每一个X，如果X是一个人，而X做了体育锻炼，那么它就说明X是快乐的。

• for each(x) (people(x) & !PA(x) -> relaxed(x))

同样的原则。

• for each(x) (people(x) & relaxed(x) -> happy(x))

如果X是人，X是放松的，那么X是快乐的。