ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
Приводится метод компьютеризации содержательного рассуждения посредством кодирования силлогистических суждений векторами тритов и созданием ДССП-процедур, осуществляющих силлогистический вывод.