Реализация Treat алгоритма на основе сопоставления с образцом в программной оболочке CLIPS

Abstract

Предложена реализация логического вывода по прикладной базе знаний на основании Rete и Treat алгоритмов сопоставления с образцом для определения оптимального из них по ресурсоемкости и быстродействию. Приведено описание реализации Treat алгоритма для программной оболочки CLIPS, позволяющее сохранить существующие структуры данных и методы оптимизации логического вывода вследствие хеширования, представления сети предкомпиляции и реорганизации базы знаний. Предложенный подход позволяет в дальнейшем расширить программную среду CLIPS дополнительными инкрементными алгоритмами сопоставления.

Запропоновано реалізацію логічного виведення за прикладною базою знань на основі Rete і Treat алгоритмів співставлення зі зразком для визначення оптимального з них за ресурсоємністю та швидкодією. Надано опис реалізації Treat алгоритму для програмної оболонки CLIPS, який дозволяє зберегти існуючі структури даних та методи оптимізації логічного виведення внаслідок хешування, представлення мережі прекомпіляції та реорганізації бази знань. Запропонований підхід дозволяє надалі розширити програмне середовище CLIPS додатковими інкрементними алгоритмами співставлення.

Implementation of the logical inference by the applied knowledge base based on Rete and Treat match algorithms for choosing optimal one in terms of resources usage and performance has been proposed. Treat algorithm implementation, which allows saving current approaches for data representation and optimizations by hashing, precompile network representation and knowledge base representation, was formalized for CLIPS. The proposed approach allows further extension of the CLIPS programming environment by additional incremental match algorithms.