Даны два дизъюнкта
D1 = P(x)v¬P(g(y))v¬ R(x)
и D2 = P(x)vQ(x, z).
Получить резольвенту этих дизъюнктов.

• P(x)vP(g(y))v¬R(x)vQ(x. z)
• P(x)v¬R(gM)vQ(x. z)
• P(g(y))v¬R(x)vQ(g(y),z)
• P(x)v¬R(x)vQ(g(y),z)

Другие предметы Университет Резолюция в логике предикатов интеллектуальные информационные системы университет дизъюнкты резольвента логика p(x) Q(x,z) R(x) P(g(y)) D1 D2 Новый

Для нахождения резольвенты двух дизъюнктов D1 и D2, необходимо выполнить несколько шагов. Резольвента – это новый дизъюнкт, который получается из двух исходных дизъюнктов путем применения правила резолюции.

Исходные дизъюнкты:

• D1 = P(x) v ¬P(g(y)) v ¬R(x)
• D2 = P(x) v Q(x, z)

Шаги для нахождения резольвенты:

1. Определение литералов: Найдем литералы, которые могут быть использованы для резолюции. В данном случае, у нас есть P(x) в обоих дизъюнктах.
2. Применение правила резолюции: Мы можем применить правило резолюции к литералу P(x) из D1 и D2. Это означает, что мы можем удалить P(x) из обоих дизъюнктов и объединить оставшиеся части.
3. Объединение оставшихся литералов: Из D1 после удаления P(x) останется ¬P(g(y)) v ¬R(x), а из D2 – Q(x, z). Теперь мы объединяем эти части:
4. Формирование резольвенты: Объединив оставшиеся литералы, получаем резольвенту:

Резольвента: ¬P(g(y)) v ¬R(x) v Q(x, z)

Таким образом, резольвента D1 и D2 равна ¬P(g(y)) v ¬R(x) v Q(x, z).