Artificial intelligence 推理逻辑规则选择问题

汤米、吉尔和travelor属于Sc俱乐部。Sc俱乐部的每个成员要么是冲浪者，要么是自行车骑手，要么两者兼而有之。没有一个自行车骑手喜欢下雨天，所有冲浪者都喜欢晴天。吉尔喜欢汤米喜欢的，喜欢汤米不喜欢的。汤米喜欢下雨天和晴天

我想用一阶谓词逻辑来表示上述信息，这样我就可以将“谁是SC俱乐部的成员谁是自行车骑手而不是冲浪者？”这个问题表示为谓词逻辑表达式

---

我应该选择什么样的一阶推理规则-正向链接、反向链接或解析反驳。？？

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

每个推理规则是如何工作的，它对一阶逻辑问题的解决有什么作用？一旦你知道了，或者

• 你不会理解它，但你会有一个更好的问题来询问某个特定的技术
• 显而易见的答案会冲着你而来
• 你会意识到这些技术中的哪一种可以解决你的问题，然后选择一种

---

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

糟透了……有人能回答我的问题吗？