Помогите с преобразованием в логику первого порядка

Использование только этих предикатов.....

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.

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


logic first-order-logic predicates
person John    schedule 30.09.2010    source источник

Ответы (2)


arrow_upward
0
arrow_downward

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

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

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

person Sagar V    schedule 30.09.2010
comment
это не сработает, насколько я знаю, потому что.... это будет означать, что она может быть дома в солнечный день....!!! - person John; 30.09.2010
comment
что, если я напишу что-то вроде [солнечно (Y) -> местоположение (Джули, Y, парк)] V местоположение (Джули, Y, дом) - person John; 30.09.2010
comment
@John: Я не совсем уверен в этом, прежде всего потому, что это переводится как [местоположение (Джули, Y, парк) ^ ~ солнечно (Y)] V местоположение (Джули, Y, дом). Я не совсем уверен, что это правильно. - person Sagar V; 30.09.2010

arrow_upward
0
arrow_downward

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

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

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

person Robokop    schedule 27.12.2010