Объективные многозначные логики в интеллектуальных системах моделирования и обработки информации

Abstract

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