2014-02-24
302
Среди всех цепочек, выводящих один факт, можно выделить кратчайшую (оптимальную):
.
Цепочка оптимальная, если факт, выводимый любой продукцией 
, содержится в условной части одной из следующих продукций: 
и не совпадает с целевым фактом последней продукции 
.
Для цепочки вывода (не обязательно оптимальной)
.
Образуем следующие множества:
– множество элементарных условий (левых частей) всех продукций 
;
– множество заключений (правых частей) продукций;
– множество исходных фактов (они не выводятся продукциями);
– множество фактов, устанавливаемых одними продукциями цепочки и используемых другими.
Алгоритм построения заключительной составной продукции: достаточно сопоставить множества и и вычеркнуть общие факты (т.е. найти множество 
). Если при этом получится, что множество 
содержит один терминальный факт, то заключительная продукция будет получена, причем 
где 
.
