Логика высказываний и логика предикатов

Question

С учетом предложения: 1. У Тома хороший ноутбук. 2. Том ходит в ресторан, только когда Мэри ходит в ресторан.

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

Propositional
1. P = Tom has a nice laptop
   p
2. p= tom goes to restaurant
   q= mary goes to restaurant 
   q->p

predicate 
1. has_a_laptop(tom)
2. Goes_to_rest(mary) - > goes to rest(tom)

это правильно?

Answer 1

Вы неправильно поняли второе предложение: в нем не говорится, что Том ходит в ресторан каждый раз, когда Мэри делает это, в нем говорится, что Том ходит в ресторан, только если Мария делает, то есть Том никогда не ходит в ресторан, если не делает Мэри.

В зависимости от того, как вы это визуализируете, вы можете написать это как q ∨ ¬p или как ¬q → ¬p, которые эквивалентны.

Та же проблема относится к вашему представлению первого порядка.

Ваше представление первого предложения в порядке, но вы будете умножать предикаты, если вам нужно будет добавить объекты и свойства объекта. Вы также упустили возможность выразить "хорошее" качество ноутбука.

Вы можете решить обе эти проблемы, используя reification, то есть, связав переменную с объектом ноутбука, как в laptop(x) ∧ nice(x) ∧ has(tom,x),

Answer 2

См . это видео - https://www.youtube.com/watch?v=OZVTDQIgGz8 Примеры логики высказываний в искусственном интеллекте PL Eng Hindi