Экспертная система логического распознавания как средство обучения методам логического вывода.
##plugins.themes.bootstrap3.article.main##
Abstract
В Институте технической кибернетики АН Беларуси разработана экспертная система логического распознавания ЭКСИЛОР, ориентированная на приложения в разнообразных предметных областях [1]. Она снабжена интерфейсами эксперта и пользователя (распознавателя) и развитыми средствами отображения данных и знаний (в словесной, символической, графической и матричной формах), а также подсистемой объяснений своих действий. Это позволяет использовать систему ддя обучения реализуемым в ней методам логического вывода.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Zakrevsky A. .D . Экспертная система логического распознавания как средство обучения методам логического вывода. // Logicheskie Issledovaniya / Logical Investigations. 1995. VOL. 3. C. 178-180.
Issue
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.
Zakrev}sky A.D. Implicative regularities in formal cognition models// LMPS’87 Abstracts. - 1987. Vol.l, p.373-375.
Закревский А Д . Матричный аппарат логического вывода в конечных предикатах / / Философские основы неклассических логик: Тр. науч.-исслед. семинара по логике. М.: Ин-т философии АН СССР, 1990, с.70-80.