如何在FOL（一阶逻辑）中表示以下句子“有只吃肉的动物”
以下表示是否正确？
Ǝx Eats(x, meat) 其中 x 是动物
问问题
638 次
4 回答
0
他能不能说：
-吃(x, y) ^ y != 肉
暗示肉是动物唯一不吃的东西？
相当悲观的观点，但它完成了工作，哈哈。
于 2011-01-03T17:17:03.343 回答
0
不，这并不完全正确。正如Gabe在评论中指出的那样，您的表达并不排除x也吃其他东西的可能性。您需要添加一个不包括所有非肉类食品的合取词。你如何做到这一点取决于你使用的是哪种逻辑。
于 2011-01-03T16:55:55.340 回答
0
我认为表示句子的一种简单方法是：
Ǝx∀y (Animal(x) ∧ Eats(x,y)) --> Meat(y)
于 2014-11-10T22:29:16.910 回答
0
一个小的更正就会使它正确。不过看起来会有点傻。将 Eats 变成 OnlyEats。
于 2011-01-03T16:00:18.270 回答