Системы дедукции на основе правил
Дедукция (от латинского deductio - выведение),
вывод по правилам логики. Системы,
которые рассматриваются в этой главе
используют ППФ в форме, близкой к
первоначальному виду. Правильно
построенные формулы, представляющие
знания в виде утверждений, относящихся
к некоторой проблеме, разделяются на
две категории: правила и факты. Правила
состоят из утверждений в форме импликаций.
Обычно они выражают общиезнания о конкретной предметной области
и используются в качестве порождающих
правил. Факты – это утверждения, которые
не выражаются в форме импликаций; они
представляютспецифическиезнания, относящиеся к конкретному
случаю. Задачей систем продукций,
обсуждаемых в данной главе, является
доказательство целевойППФисходя из этих фактов и правил.
Этот тип систем доказательства теорем
является примером непосредственного
доказательства. Система непосредственного
доказательства не обязательно является
более эффективной по сравнению с системой
опровержения, но ее действие легче
воспринимается на интуитивном уровне.
Системы такого типа называют системами
дедукции, основанными на правилах.
