汤米、吉尔和旅行者属于 Sc 俱乐部。sc 俱乐部的每个成员要么是冲浪者，要么是骑自行车的人，或两者兼而有之。没有骑自行车的人喜欢下雨天，而所有的冲浪者都喜欢晴天。Jill 喜欢 Tommy 喜欢和喜欢的任何东西无论汤米不喜欢什么。汤米喜欢下雨天和晴天。
我想在一阶谓词逻辑中表示上述信息，以便我可以表示“谁是 SC 俱乐部的成员，谁是骑自行车的人但不是冲浪者？” 作为谓词逻辑表达式。
我应该选择什么一阶推理规则——前向链接、后向链接或解析反驳。？？
问问题
364 次
1 回答
2
首先，这个问题听起来像是直接从书中提出的。如果是这种情况，如果您在问题中参考这本书可能会有所帮助。如果你在尝试解决之后真的被卡住了，那么问问自己这个......
每个推理规则是如何工作的，它用于在一阶逻辑问题中寻找解决方案的目的是什么？一旦你知道了，要么...
- 你不会理解它，但你会有一个更好的问题来问一个特定的技术
- 显而易见的答案会突然出现在你身上
- 你会意识到哪些技术可以解决你的问题，然后选择一个
表明您在在 stackoverflow 上发布书本式问题之前花了一些时间尝试找出问题，这将使其他人更有可能帮助您。您还会有一些问题表明您缺乏概念理解，这是在这里发布问题的一个很好的理由，而不是像这样的“回答我的家庭作业”听起来的问题。
于 2010-08-04T20:48:04.323 回答