Рассуждение в логике первого порядка

Question

Я читал о преобразовании предложений на естественном языке в логику первого порядка, и мне было любопытно, как логические рассуждения могут быть выражены в логике первого порядка.

Я хочу знать, как преобразовать предложения типа "Событие A происходит из-за События B" в логику первого порядка.

Примером такого предложения, которое я могу придумать, является:

X is evil; Because X is evil, X kills Y.

Как представленное выше предложение представлено в логике первого порядка?

Решение, о котором я подумал:

Evil(X) -> Kills(X, Y)

Однако я не уверен, правильно ли это или нет, так как я не могу найти примеры подобных предложений онлайн. Если это неправильно, почему это неправильно и как мне это исправить?

Answer 1

Я считаю, что такой тип связи, как "потому что", проблематичен, поскольку он не соответствует стандартам "логической связности". Вы не можете подтвердить условия, при которых обоснование имело место. Например: "Я упал, потому что я быстро побежал". Вы не можете подтвердить, что я упал, потому что я бежал быстро. Кто-то мог толкнуть меня, или я наткнулся на предмет через дорогу. Это означает, что вам нужна дополнительная информация, больше подробностей о событии, и логика первого порядка не справляется с этим. Он имеет дело только с логическими связями, которые являются связками, которые не требуют дополнительной информации о событии, чтобы подтвердить или опровергнуть утверждение.