Аршинский Леонид Вадимович, Нитежук Марина Сергеевна, Шлаустас Ромас Юргевич

Иркутский государственный университет путей сообщения

Работа посвящена обсуждению вопроса выявления противоречий в продукционных базах знаний (БЗ) на основе аппарата логик с векторной семантикой. Дается краткое освещение проблемы верификации знаний. Отмечается, что важной проблемой верификации является обнаружение внутренних противоречий, когда те или иные цепочки вывода порождают противоречивые заключения. Показано, что аппарат логик с векторной семантикой, в силу естественной способности работать с противоречивыми данными и знаниями, может помочь автоматизировать процедуру выявления внутренних противоречий в таких БЗ.

продукционная модель знаний, внутренние противоречия, выявление противоречий, логики с векторной семантикой