Простейшие правила логического вывода
Реферат, 27 Марта 2013, автор: пользователь скрыл имя
Краткое описание
Правила вывода это соотношения между посылками и заключениями, которые в рамках логического вывода являются истинными всегда.
Когда мы задаем вопрос системе логического вывода, то она ищет ответ на него с помощью правил вывода. Есть простейшие правила вывода, которые могут быть применены для программ, состоящих только из фактов, и простых вопросов, состоящих из одной цели.
Правило совпадения- если в логической программе имеется факт, тождественно совпадающий с утверждением вопроса, то вопрос выводим из логической программы.