235_1

В работе обсуждаются вопросы организации логического вывода в инструментальной среде разработки экспертных систем «Гераклит». Вывод в ней представляет собой цепочку вычислений на продукционной вычислительной сети с тремя типами вершин: вершины -факты, вершины -проду кции и вершины -объединения свидетельств . Продукции упорядочиваются причинно- следственным образом. При выводе не требует ся сопоставл ять факт ы с шаблонами и многократн о переб ирать продукци и, что делает его достаточно быстрым и эффективным .