Составные продукции

Среди всех цепочек, выводящих один факт, можно выделить кратчайшую (оптимальную):

.

Цепочка оптимальная, если факт, выводимый любой продукцией , содержится в условной части одной из следующих продукций: и не совпадает с целевым фактом последней продукции .

Для цепочки вывода (не обязательно оптимальной)

.

Образуем следующие множества:

– множество элементарных условий (левых частей) всех продукций ;

– множество заключений (правых частей) продукций;

– множество исходных фактов (они не выводятся продукциями);

– множество фактов, устанавливаемых одними продукциями цепочки и используемых другими.

Алгоритм построения заключительной составной продукции: достаточно сопоставить множества и и вычеркнуть общие факты (т.е. найти множество ). Если при этом получится, что множество содержит один терминальный факт, то заключительная продукция будет получена, причем где .