Методы и инструментальные средства моделирования рассуждений в интеллектуальных системах поддержки принятия решений (СППР)

Объект исследования - методы и алгоритмы, основанные на неклассических логиках, в том числе темпоральные, нечеткие и пересматриваемые логики, абдуктивный и индуктивный вывод, а также вывод на основе прецедентов и аналогий. Цель исследования - разработка методов, моделей и базовых инструментальных программных средств для представления и обработки информации (данных и знаний) на основе нетрадиционных логик (индуктивных, абдуктивных, темпоральных, нечетких и т.п.) в интеллектуальных системах поддержки принятия решений, предназначенных для помощи лицу, принимающему решения, при мониторинге и управлении сложными техническими и организационными системами типа объектов энергетики и транспортных систем. Проведены теоретические и экспериментальные исследования в области моделей, методов и алгоритмов поиска (вывода) решений на основе нетрадиционных логик - индуктивных, абдуктивных и темпоральных логик, вывода на основе аргументации, аналогии и прецедентов с целью расширения возможностей и повышения эффективности современных интеллектуальных систем поддержки принятия решений. Исследованы и разработаны методы и алгоритмы правдоподобного вывода на основе индуктивного формирования понятий, абдуктивного вывода; подготовлены методы теории аргументации для работы с противоречивыми данными. Исследованы методы, модели и алгоритмы поиска решений на основе прецедентов и аналогий. Для обработки сложных временных зависимостей были исследованы и разработаны модели, методы и алгоритмы поиска решений на основе темпоральных логик. На основе полученных теоретических результатов была проведена разработка базового информационного и программного обеспечения интеллектуальных систем поддержки принятия решений на основе нетрадиционных логик. Для реализации проекта были использованы современные рабочие станции, объединенные в сеть, средства параллельной обработки информации высокопроизводительных вычислительных систем коллективного доступа, а также лицензионные программные продукты и разработанные авторским коллективом программные инструментальные средства.