Помочь с преобразованием в логику первого заказа

Question

Используя только эти предикаты .....

child(X)            X is a child
unwell(X,Y) X is unwell on day Y
location(X,Y,Z)     Location of X on day Y is Z (school, park, home)
sunny(X)            X is a sunny day

Generally, children do not go to school whenever they are unwell
∄x [Child(x) ∧ location(X,y,home) → Child(x) ∧ unwell(X,y)]

Не уверен, что я написал правильно или неправильно

Также не уверен, как преобразовать эту линию ...

On sunny days Julie goes to the park, otherwise she stays at home.

Буду признателен за помощью ... Спасибо ...

Answer 1

Может быть, что-то вроде этого:

 ((child(Julie) ^ location(Julie,Y,park)) -> sunny(Y)) ^ ((child(Julie) ^ location(Julie,Y,home)) -> ~sunny(Y))

Я отредактирую это дальше, если смогу думать о чем-то. Было какое-то время, так как я коснулся логики первого порядка :)

Answer 2

Ваш первый ответ не является правильным, но на самом деле он не переносится, потому что он описывает, не описывает строгое правило, но только то, что, как правило, в основном. Чтобы описать такие вещи, вам понадобится какая-то не монотонная логика.

Но даже если мы уйдем это, и просто asume это строгое правило и игнорируйте все исключительное поведение, которое вы здесь говорите, что нет сущности X, которое, если это ребенок, а дома болен и ребенок. Я думаю, что вы имели в виду быть вторым прецедентом последствия, чтобы быть $ местоположением (X, Y, School) $

Оказание второго предложения SAGAR V выглядит хорошо, но, возможно, вы хотите отменить смысл (зависит от того, какое причинное отношение вы хотите иметь), и его приговор заставляет Джули быть ребенком, которое не в вашей проблеме