artificial-intelligence - 关于知识表示练习的问题

Question

我正在做一个知识表示练习。我不确定我的解决方案。
锻炼：

进行体育锻炼使人快乐。不进行体育锻炼会使人放松。轻松的人是快乐的。

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

词汇：
people(x)
PA(x)（x做体力活动）
happy（x）（x很开心）
relaxed（x）（x很放松）

对于每个（x）（（人（x） -> PA（x））->快乐（x））

对于每个（x）（（人（x） ->不（PA（x）））->放松（x））

对于每个（x）（（人（x） ->放松（x））->快乐（x））

提前感谢您的帮助。

标签： artificial-intelligence

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 是快乐的。