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