боснован ряд интересных соображений о взаимосвязи нечетких оценок типа "размер -- расстояние". Он внес большой вклад в логический подход к развитию интеллектуальных систем38, разработав псевдофизические логики -- специальные логики для описания восприятия человеком процессов, протекающих в реальном мире39.
Главное и общепризнанное достижение Д. А. Поспелова состоит в создании в конце 60-годов XX-го века комплекса новых методов построения систем управления, в основе которых лежат семиотические модели представления объектов управления и описания процедур управления40. Им был создан аппарат ярусно-параллельных форм, позволивший ставить и решать многие проблемы, связанные с организацией параллельных вычислений в вычислительных комплексах и сетях. На его основе в 70-е годы были решены такие проблемы как синхронное и асинхронное распределение программ по машинам компьютерной системы, оптимальная сегментация программ, оптимизация информационных обменов41.
Финн Виктор Константинович -- специалист в области логики, интеллектуальных систем и приложений логических методов в интеллектуальных системах для наук о жизни (медицина, фармакология, биохимия) и наук о поведении (социология, социальная психология). Он предложил способ формализации многозначных логик, который использует два типа пропозициональных переменных (для булевских и небулевских значений). Финн разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, а также сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Основной идеей ДСМ-метода является синтез трех познавательных процедур -- индукции, аналогии, абдукции, реализуемый посредством ДСМ-рассуждений в интеллектуальных системах. 42.
Развитие
Страницы: << < 16 | 17 | 18 | 19 | 20 > >>