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

##plugins.themes.bootstrap3.article.main##

A .D . Zakrevsky

Abstract

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

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Закревский А Д . ЭКСИЛОР - экспертная система логического распознавания / / Управляющие системы и машины, 1992, 5/6, с.118-125.
Zakrev}sky A.D. Implicative regularities in formal cognition models// LMPS’87 Abstracts. - 1987. Vol.l, p.373-375.
Закревский А Д . Матричный аппарат логического вывода в конечных предикатах / / Философские основы неклассических логик: Тр. науч.-исслед. семинара по логике. М.: Ин-т философии АН СССР, 1990, с.70-80.