О верификации свойств вероятностных мультиагентных систем
Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
Подобные документы
Система "Miracle" как универсальный программный инструментарий для создания интеллектуальных приложений. Архитектура комплекса инструментальных программных средств для создания динамических интеллектуальных систем. Реализация на суперкомпьютере.
статья, добавлен 17.01.2018Типизация, унификация проектных решений, средств проектирования средств и систем управления. Стохастические системы, описываемые вероятностными понятиями. Система автоматического управления турбогенератора. Назначение интегрированных CAD-систем.
курс лекций, добавлен 27.10.2013Основы самообучающихся интеллектуальных систем и характеристика хранилищ данных. Обработка естественного языка - общего направления искусственного интеллекта и математической лингвистики. Виды и технологии интеллектуальных информационных систем.
реферат, добавлен 16.10.2011Технологии в области теории систем. Модель классификации и виды критериев качества систем. Их показатели: практичность, целостность, эффективность, корректность, возможность взаимодействия и другие. Шкала качества и дерево свойств систем с управлением.
контрольная работа, добавлен 16.04.2013Изучение проектирования современных распределенных интеллектуальных систем. Введение специальных механизмов, использующих вероятностные, эмпирические или нечеткие методы учета неполноты информации. Анализ неточного вывода на основе факторов уверенности.
статья, добавлен 24.08.2020Разработка алгоритма двусвязного списка на основе указателей для выполнения операций добавления элемента, распечатки подсписков, корректировки поля элемента и поиска данных по полю. Рассмотрение свойств динамических структур данных, области их применения.
курсовая работа, добавлен 19.10.2010Исследование поведения сложных систем, функционирующих в среде Интернет. Анализ модели антагонистического противоборства и кооперации команд агентов. Исследование архитектуры интегрированной программной среды агентно-ориентированного моделирования.
статья, добавлен 16.01.2018Преобразование структурной схемы системы автоматического управления. Определение передаточной функции и динамических характеристик корректирующего звена. Построение динамических характеристик систем. Определение устойчивости по критерию Михайлова.
курсовая работа, добавлен 31.07.2012Синтез замкнутой системы автоматического управления с пи-регулятором при наличии и отсутствии запаздывания в канале регулирования. Анализ динамических свойств объекта во временной и частотной областях, построение амплитудно- и фазочастотной характеристик.
курсовая работа, добавлен 16.06.2013Описание принципов и приемов, позволяющих проектировать интеллектуальные пользовательские интерфейсы для интеллектуальных систем. Особенности разработки унифицированной модели пользовательских интерфейсов. Создание интеллектуальной help-системы.
статья, добавлен 06.03.2019Исследование возможностей и функциональных свойств информационных систем. Обзор основных этапов развития информационных систем в СССР и России. Характеристика проблем, стоящих на пути информатизации общества. Виды задач и процессов обработки информации.
реферат, добавлен 30.01.2013Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Классификация и облик компьютерных систем имитационного моделирования, позволяющих на отдельных этапах разработки бортовых интеллектуальных систем отрабатывать их базы знаний. Разработка информационной системы "Ситуационная осведомленность экипажа".
статья, добавлен 18.01.2018Построение и исследование биологически инспирированной компьютерной модели автономных агентов с потребностями питания, размножения, безопасности. Модель эволюции популяции самообучающихся агентов. Возможность формирования естественного поведения агентов.
статья, добавлен 18.01.2018Понятие, определение и функции автоматизированных экономических информационных систем. Количественный анализ информативных свойств системы. Разработка и модернизации информационных систем в результате специализации групп разработчиков по подсистемам.
статья, добавлен 18.03.2018База знаний как ключевой компонент интеллектуальной справочной системы. Коллективное проектирования комплексной методики проектирования интеллектуальных справочных систем, проектирование семантической модели и детальная структуризация базы знаний.
статья, добавлен 06.03.2019Разработка новых подходов к созданию современных интеллектуальных технологий повышения эффективности информационных систем. Архитектура компьютерных систем и сетей. Изучение эффективности ИС как технической системы и как средства обработки информации.
статья, добавлен 27.04.2017Проблема включения визуальных образов в базы знаний интеллектуальных систем. Принципы формирования базы знаний на основе фреймоподобных структур, включающих кортежи образов. Анализ фрагмента лингво-образного фрейма в области медицинской диагностики.
статья, добавлен 02.09.2018Описание новой информационной технологии создания интеллектуальных прикладных систем с использованием геометрических, математических, четких и нечетких знаний. Гибридизация методов программирования и классического ИИ. Лингвистическая переменная.
статья, добавлен 19.01.2018Функциональные возможности интеллектуальных систем. Элементарная база для аппаратной реализации нейрокомпьютера. Анализ возможности применения робастных методов в ИС высокой точности и надежности. Пространство Харди. Функциональное программирование.
учебное пособие, добавлен 12.05.2014Расширение методологии проектирования интеллектуальных программных агентов для крупномасштабных гетерогенных сетей. Методика заполнения параметрического пространства расширенной объектно-ориентированной модели интеллектуального программного агента.
статья, добавлен 06.05.2018Основные алгоритмы интеллектуальных систем, их характеристики и условия применимости для задач оптимизации. Меметический алгоритм оптимизации, его этапы и компоненты. Описание культурного алгоритма, основанного на эволюционном программировании.
реферат, добавлен 12.12.2012Теоретические аспекты математических основ моделирования. Общие сведения о динамических системах. Описание программного пакета WinSet: окно программы и приемы работы с графическими построениями для отображений и систем ОДУ. Типы данных Mathlab.
дипломная работа, добавлен 28.12.2010Комплексное изучение основных принципов, лежащих в основе новой методики проектирования семантических моделей баз знаний интеллектуальных справочных систем. Ключевые компоненты интеллектуальных систем различного назначения. Разработка баз знаний.
статья, добавлен 06.03.2019Особенности и основные признаки интеллектуальности информационных систем. Характеристика систем с интеллектуальным интерфейсом. Рассмотрение архитектуры и инструментария построения экспертных систем. Характеристика классификации систем нечеткой логики.
курсовая работа, добавлен 09.12.2013