推理逻辑规则选择问题

Question

Tommy、jill 和 travelor 属于 Sc 俱乐部。sc 俱乐部的每个成员要么是冲浪者，要么是骑自行车的人，或两者兼而有之。没有骑自行车的人喜欢下雨天，而所有的冲浪者都喜欢晴天。Jill 喜欢任何东西喜欢和喜欢任何汤米不喜欢的东西。汤米喜欢下雨天和晴天。

我想在一阶谓词逻辑中表示上述信息，以便我可以表示“谁是 SC 俱乐部的成员，谁是骑自行车的人但不是冲浪者？”作为谓词逻辑表达式。

我应该选择什么一阶推理规则——前向链接、后向链接或解析反驳。？？

Answer 1

首先，这个问题听起来像是直接从书中提出的。如果是这种情况，如果您在问题中参考这本书可能会有所帮助。如果你在尝试解决之后真的被卡住了，那么问问自己这个......

每条推理规则是如何工作的，它用于在一阶逻辑问题中寻找解决方案的目的是什么？一旦你知道了，要么......

• 你不会理解它，但你会问一个关于特定技术的更好的问题
• 显而易见的答案会突然出现
• 您会意识到哪些技术可以解决您的问题，然后选择一个

在 stackoverflow 上发布书本式问题之前，表明您已经花一些时间尝试找出问题，这将使其他人更有可能帮助您。您还会有一些问题表明您缺乏概念理解，这是在这里发布问题的一个很好的理由，而不是像这样的“回答我的家庭作业”听起来的问题。