Реализация логики ветвящегося времени
Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
Подобные документы
История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Механизмы организации и управления знаниями и данными в интеллектуальных компьютерных системах. Структурная организация и концептуальная модель данных и знаний. Трудности и тенденции в реализации правдоподобных рассуждений в интеллектуальных системах.
статья, добавлен 19.01.2018- 3. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 Понятие нечеткой логики и нечетких систем, условия их применения. Нечеткие лингвистические переменные. Описание процесса нагрева воды с помощью аппарата булевой алгебры и четкой логики. Формализация процедур логического вывода в нечетких системах.
лекция, добавлен 09.10.2013Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
контрольная работа, добавлен 25.03.2017Подходы к моделированию интеллектуальных процессов. Квантовые нейронные системы. Математическое моделирование в бортовых интеллектуальных системах реального времени. Принципы формализации знаний и обработки информации. Организация вычислительной среды.
курс лекций, добавлен 08.02.2013Характеристика метода вывода на основе прецедентов для интеллектуальных систем поддержки принятия решений. Технологическая схема парового компенсационного объема. Этапы модифицированного CBR-цикла для интеллектуальных систем поддержки принятия решений.
статья, добавлен 19.01.2018Понятие алгебры логики. Основные логические операции. Логические выражения и таблицы истинности. Алгебра логики в компьютерах. Логические законы и их использование при построении схем компьютера. Программа для проверки любого закона алгебры логики.
статья, добавлен 22.03.2019Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
контрольная работа, добавлен 20.09.2015Рассмотрение проблемы построения формальных систем оперирования темпоральной информацией. Оценка существующих подходов представления времени и временных зависимостей в программных системах. Характеристика задачи согласования временных ограничений.
статья, добавлен 19.01.2018Возможности использования элементов аналогии и индуктивного вывода как специализаций высокоуровневых эвристик в рамках развиваемого подхода к автоматизированному формированию базы знаний. Реализация логики такого использования на задачах планиметрии.
статья, добавлен 18.01.2018Отличительные черты нечеткого подхода к моделированию систем управления и распознавания. Развитие интеллектуальных систем обработки и представления знаний. Логический вывод в интеллектуальных системах. Мониторинг образовательного процесса вуза.
статья, добавлен 18.01.2018- 14. Гибридные интеллектуальные системы на основе темпоральных логических моделей и инженерии образов
Моделирование образного мышления и немонотонных временных рассуждений, относящиеся к "прорывным направлениям" отечественной информатики и искусственного интеллекта. Суть нейроэкспертных концепций как одного из классов гибридных интеллектуальных систем.
доклад, добавлен 18.01.2018 Эволюционная кибернетика и направления исследований "искусственная жизнь" и "адаптивное поведение". Рассмотрение модели внимания и памяти, основанной на принципе доминанты. Нейросетевые технологии в бортовых интеллектуальных системах реального времени.
курс лекций, добавлен 08.02.2013- 16. Разработка устройства для экспертной диагностики систем на основе нечеткой логики нейронных сетей
Определение работоспособности технологической системы по косвенным физическим параметрам. Алгоритмизация диагностики, разработка формальной модели принятия и оценки решений. Создание экспертного устройства нейронных сетей на основе нечеткой логики.
статья, добавлен 15.05.2017 Выбор средства и метода решения задачи и среды программирования. Средства Delphi для реализации алгоритмов нечеткой логики. Реализация системы в программе fuzzyTECH. Информационное и программное обеспечение проекта. Расчет экономической эффективности.
дипломная работа, добавлен 22.09.2011Мягкие вычисления - раздел науки синтетического интеллекта, в которой нечеткая логика, теория вероятностей, нейронные сети синергетически взаимодействуют для подражания процессам рассуждений. Предпосылки создания и развития интеллектуальных систем.
статья, добавлен 22.08.2020Функциональные требования к базе данных и приложению доступа к данным. Определение состава бизнес-операций на основе функциональных требований. Реализация бизнес-логики в виде SQL-запросов. Демонстрация работоспособности разработанных SQL-запросов.
курсовая работа, добавлен 23.12.2018Понятие интеллектуальных информационных систем, их основные функции, цели и задачи. Характеристика и свойства некоторых систем искусственного интеллекта: на основе нейрокомпьютерных технологий, на основе генетических алгоритмов и на базе нечеткой логики.
лекция, добавлен 13.08.2013- 21. Алгебра логики
Выяснение сути алгебры логики, основных методов работы с логическими операторами, ее роли в вычислительной технике и информатике. Операции над логическими функциями. Переместительный, сочетательный и распределительный законы, аксиома идемпотентности.
реферат, добавлен 24.12.2013 Анализ аналитических выражений для оценки времени выполнения операции обмена между процессором и распределенной памятью. Математические модели для оценки задержек. Исследование подсистем памяти с буферизацией транзакций на моделях массового обслуживания.
статья, добавлен 13.04.2016Оценка интеллектуального подхода как использования в экспертных системах неполных и не вполне достоверных исходных данных, реализованных в системах недостоверного управления и вероятностных рассуждений. Обзор вероятностных рассуждений по методу Байеса.
статья, добавлен 23.03.2018Классификация и параметризация дефектов. Алгоритмы нечеткого моделирования для описания знания о проблемной области и адекватного отображения аспектов неопределенности человеческого мышления. Адаптивная нечёткая система с механизмом логического вывода.
статья, добавлен 15.03.2019Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018