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

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

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

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