Экспертная система логического распознавания как средство обучения методам логического вывода.

Abstract

В Институте технической кибернетики АН Беларуси разработана экспертная система логического распознавания ЭКСИЛОР, ориентированная на приложения в разнообразных предметных областях [1]. Она снабжена интерфейсами эксперта и пользователя (распознавателя) и развитыми средствами отображения данных и знаний (в словесной, символической, графической и матричной формах), а также подсистемой объяснений своих действий. Это позволяет использовать систему ддя обучения реализуемым в ней методам логического вывода.