Векторные формализмы в логике и логико-математическом моделировании

0 коммент.

В докладе делается обзор ряда направлений в логике, связанных с использованием понятия вектора при логико-математическом моделировании различных предметных областей. Обсуждаются три таких направления. Первое связано с усложнением формального аппарата классической математической логики за счет векторизации категорий Истины и Лжи. Второе основано на векторизации логической семантики. Третье направление связано с векторизацией силлогистики Аристотеля. Все три направления имеют практическое значение и находят применение, в частности, для решения задач в области вычислительной техники и искусственного интеллекта

Похожие записи

Добавить комментарий