问题描述
我一直在练习将句子转换为 FOL。有两句话我想确认一下我的理解是否正确。
1.没有人共用一个座位。
在网上，这句话是这样转换的：
self.request.parameters = nil但我把这句话改成这样：
A x1,x2,y Person(x1) ^ Person(x2) ^ Seat(y) ^ InSeat(x1,y)^InSeat(x2,y)==> (x1=x2)
我的意思是，每个人都没有共享任何座位。
2.没有一个班级同时有新生和高年级学生同时参加。
这个问题在互联网上是不可用的，但是，我试图提取这样的感觉：
参加任何课程的新生或大四学生（但不是两者）。
然后把这句话转成这个FOL：
Ax Person(x) ^ AySeat(y)==> ~Sharing(x,y)
我不确定，但它正确吗？我是否在提取意义并将其正确转换为 FOL？
顺便说一下，我从这里学会了在 FOL 中使用要么使用要么不使用：
https://math.stackexchange.com/questions/658511/propositional-logic-p-or-q-but-not-both
他们展示了不同的方法来做到这一点，所以我选择了其中一种。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）