У меня есть как факты эти (эль выступает за слона): el(Sam) el(Clyde) el(Oscar)
pink(Sam)
gray(Clyde) likes(Clyde, Oscar)
pink(Oscar)Vgray(Oscar) likes(Oscar, Sam)
Теперь я хочу, чтобы доказать,
Я проходил через document here о проблемах с FOL, мне нужно преобразовать выражение в соответствующий FOL. Точно один студент прошел тест. два варианта следующим образом, я не уверен, что любой из эти
Для выражения Полет из Бостона прибыл. Мне нужно дать ориентированное на событие представление логического порядка первого порядка. Если бы это было the flight arrived, я бы сказал Прибыл (е)^arrived_
Мне было интересно, действительно ли вычислительная семантика используется в любой реальной системе? (Простые примеры here и here). Я хотел бы посмотреть, как работает реальная система. Похоже, есть к