Пытаюсь разобраться с http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%BE_%D1%80%D0%B5%D0%B7%D0%BE%D0%BB%D1%8E%D1%86%D0%B8%D0%B9. В принципе, всё понятно, кроме одного. Что делают с кванторами.
Вот стандартный пример:
| Цитата |
Человек - это живое существо;
Все живые существа смертны;
Сократ - человек.
Доказать: Сократ смертен.
|
Не трудно записать это в виде формул логики предикатов.
| Код |
∀x(Человек(x) ⊃ ЖивоеСущество(x)).
∀y(ЖивоеСущество(y) ⊃ Смертно(y)).
|
И цель
доказывает, что Сократ смертен.
Теперь имеем несколько сайтов с подобными задачами (http://www.intuit.ru/department/human/isrob/3/isrob_3.html и http://www.aiportal.ru/articles/knowledge-models/method-resolution.html). (Примеры на обоих внизу страницы). Так вот, вопрос заключается в том, каким образом осуществляется переход к дизъюнктивной форме? На первом сайте видим так
| Цитата |
2. Человек, читающий книги, - неглуп
Предикат: ∀Y(read(Y) ⊃ smart(Y))
Дизъюнктивная форма: ¬read(Y) ∧ smart(Y)
|
А на втором:
| Цитата |
Предикат: ∀x(Человек(x) ⊃ Живое_Существо(x)).
Дизъюнктивная форма: ¬(Человек(x) ∨ Живое_Существо(x))
|
Может кто-нибудь объяснить, каким волшебным образом получают дизъюнктивную форму из предикатной, и почему в двух примерах они на столько разные? Подскажите хотя бы ресурс, на котором об этом можно почитать. А то, везде есть примеры, а как это сделано - не написано.
|