Сложность верификации мультиагентных систем с вероятностными состояниями и программами
Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
Подобные документы
Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Рассмотрение последовательных вероятностных мультиагентных систем. Вычисление семантики вероятностной логической программы. Глобальное поведение ВМАС. Определение Марковских процессов принятия решений. Верификация динамических свойств вероятностных МАС.
статья, добавлен 18.01.2018Рассмотрение характеристики мультиагентных систем. Описание методики и способов взаимодействия их агентов. Установление связи между понятиями, используемыми в теории интеллектуальных систем и терминами объектно-ориентированного программирования.
статья, добавлен 11.04.2016Знакомство с задачами распределенного взаимодействия и управления в сетях динамических систем. Мультиагентные системы как сложные системы, функционирующие с помощью нескольких интеллектуальных агентов. Анализ особенностей программного мобильного агента.
статья, добавлен 20.08.2018- 6. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 Архитектура агентов, построение мультиагентных систем для автоматизации проектирования изделий и технологических процессов. Применение автоматизированных систем в машиностроительном производстве. Соответствующие инструментальные программные средства.
статья, добавлен 17.01.2018Описание методологии мультиагентной системы для верификации времени, знаний, и стратегий, с помощью математического представления системы обработки знаний. Исследование содержания ATL и эпистемологические формулы для различных классов экспертных систем.
статья, добавлен 28.11.2016Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Понятие мультиагентных систем. Рассмотрение опыта их промышленной разработки, оценка трудоемкости. Управление мобильными ресурсами в реальном времени. Создание компьютерных систем нового поколения, использующих принципы самоорганизации и эволюции.
статья, добавлен 19.01.2018Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Изучение вопроса создания системы распознавания графических объектов в видеопотоке на основе мультиагентных рекурсивных когнитивных архитектур. Структура системы, иерархия агентов и их взаимодействие. Описание разработанного протокола обмена сообщениями.
статья, добавлен 30.07.2017Алгоритмизация адаптивного искусственного интеллекта в мультиагентных играх. Моделирование конкурентной среды интеллектуальных агентов. Исследование эффективности алгоритмов в колониях DT, ABC и в нейронной сети, обучаемой генетическим алгоритмом.
дипломная работа, добавлен 01.09.2016Технология и теория агентов, концепция кросс-платформенных, распределенных и интеллектуальных программных систем. Управление сетевым трафиком в крупных сетях. Особенности мультиагентной платформы JASDK, архитектура и API аглетов, их передача по сети.
дипломная работа, добавлен 31.05.2013Характеристика мультиагентных систем на примере конкретной робототехнической системы. Анализ основных логических вычислений рассмотренной мультиагентной системы, которые выполняются при помощи нейронных сетей. Изучение задачи исследования местности.
статья, добавлен 29.07.2018Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Изучение проектирования современных распределенных интеллектуальных систем. Введение специальных механизмов, использующих вероятностные, эмпирические или нечеткие методы учета неполноты информации. Анализ неточного вывода на основе факторов уверенности.
статья, добавлен 24.08.2020Конфликтные ситуации в интеллектуальных мультиагентных процессах преобразования ресурсов. Разработка программного комплекса jSIM системы моделирования процессов. Реализация механизма общения при переговорах между агентами с целью достижения компромиссов.
статья, добавлен 10.03.2018Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Функциональные задачи интеллектуальных систем анализа изображений. Области применения, классификация систем распознавания лиц (2D-; 3D-(трехмерная) идентификация). Алгоритмизация верификации лиц по 68 "волшебным точкам", описание математического аппарата.
статья, добавлен 14.02.2022Сущность концепции изучения личности, характеристика её динамических когнитивных моделей. Разработка мультиагентных иерархических систем, анализ их самоорганизации в процессе научного проекта. Использование и специфика метода компьютерного моделирования.
диссертация, добавлен 14.04.2016Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018