推理逻辑规则选择问题
汤米、吉尔和旅行者属于 Sc 俱乐部。sc 俱乐部的每个成员要么是冲浪者，要么是骑自行车的人，或者两者兼而有之。没有骑自行车的人喜欢下雨天，而所有的冲浪者都喜欢晴天。吉尔喜欢汤米喜欢的任何东西。不管汤米不喜欢什么。汤米喜欢雨天和晴天。
我想用一阶谓词逻辑来表示上述信息，这样我就可以表示问题“谁是 SC 俱乐部的成员，是骑自行车的人，但不是冲浪者？”作为谓词逻辑表达式。
我应该选择什么一阶推理规则——前向链接、后向链接或解析反驳。
Tommy, jill and travelor belong to the Sc club.Every member of sc club is either a surfer or a bike rider or both.No bike rider likes a rainy day and all the surfers like a sunny day.Jill like whatever Tommy likes and likes whatever tommy dislikes.Tommy likes a rainy day and a sunny day.
I want to represent the above information in first order predicate logic in such a way that I can represent the question " who is a member of SC club who is a bike rider but not a surfer?" as a predicate logic expression.
What first order inference rule I should pick- forward chaining, backward chaining, or resolution refutation.??
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
首先这个问题听起来像是直接从书上问出来的。如果是这种情况，如果您在问题中引用这本书可能会有所帮助。如果您在尝试解决问题后确实陷入困境，那么请问自己......
每个推理规则如何工作，以及它对于寻找一阶逻辑问题的解决方案有何作用？一旦你知道了，要么......
您已经花了一些时间尝试解决问题，这会让其他人更有可能帮助您。您还会提出一些问题，表明您缺乏概念理解，这是在这里发布问题的一个很好的理由，而不是像这样“回答我的作业”这样的听起来问题。
First off this question sounds like it is being asked directly out of a book. If that is the case, it might help if you reference the book in your question. If you are truly stuck after trying to work it out, then ask yourself this...
How does each inference rule work, and what purpose does it serve toward finding solutions in first order logic problems? Once you know that, either...
Showing that you have taken some time to try and figure out the problem before posting a book style question on stackoverflow will make other people more likely to help you. You will also have questions that show your lack of conceptual understanding, which is a very good reason to post a question here, as opposed to "answer my homework" sounding questions such as this.