Реализация логики ветвящегося времени
Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
Подобные документы
Принципы распределения ресурсов центрального процессора - определяющие факторы эффективного применения ЭВМ в условиях коллективного использования и при работе в режиме разделения времени. Алгоритмы распределения квантов времени между различными заданиями.
реферат, добавлен 26.10.2010Теория алгоритмов как теоретический фундамент вычислительных наук. Понятие алгоритма, его свойства и особенности изучения. Тесная связь информатики и математики. Основная идея математической логики (метаматематики) - формализация знаний и рассуждений.
курсовая работа, добавлен 29.12.2011Принципы построения электронных вычислительных машин. Графическое представление ЭВМ, построенной на принципах Д. Неймана, состав системного блока. Центральный процессор, устройство ввода-вывода и памяти компьютера. Алгоритмы и программы на языке Pascal.
курсовая работа, добавлен 04.05.2015Разработка, назначение и реализация гибридной модели, основанной на сочетании фреймового, продукционного, объектно-ориентированного и реляционного подходов к представлению знаний в сочетании с элементами нечеткой логики и механизма "правил активации".
статья, добавлен 16.01.2018Лабораторный практикум по изучению принципов шифрования для курсового проектирования. Рассмотрение кодировщиков DES, AES, RC6 и метода Хаффмана. Изучение теоретического материала. Алгоритмы шифрования, программная реализация. Вопросы для самоконтроля.
методичка, добавлен 19.10.2014Рассмотрение функций, обеспечивающих разработку программными средствами реального времени на конкретном аппаратном оборудовании. Взаимодействие между задачами персонального компьютера, разделение ресурсов. Системы жёсткого и мягкого реального времени.
статья, добавлен 09.10.2015Алгоритмическое описание методов аналитического и численного решения оптимизационных задач. Решение линейных оптимизационных задач симплексным методом. Теория множителей Лагранжа для задач с ограничениями-равенствами и задач с ограничениями-неравенствами.
учебное пособие, добавлен 14.09.2015Основные сведения об экспертных системах и моделях представления знаний. Реализация проекта с помощью нечеткой логики в MatLab. Создание программы для прогноза профпригодности абитуриента к деятельности инженера-конструктора в среде VisualProlog.
дипломная работа, добавлен 12.01.2018Функциональные возможности интеллектуальных систем. Элементарная база для аппаратной реализации нейрокомпьютера. Анализ возможности применения робастных методов в ИС высокой точности и надежности. Пространство Харди. Функциональное программирование.
учебное пособие, добавлен 12.05.2014- 85. Язык Паскаль
Рассмотрение программы как цели грамматики языка Паскаль. Организация ввода исходных данных и вывода результирующей информации. Характеристика основных типов управления очередностью действий: последовательного, ветвящегося и циклического процессов.
реферат, добавлен 17.02.2012 Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
статья, добавлен 18.01.2018Разработка алгоритма анализа потокового видео и распознавания жестов. Создание методов на основе 2D и 3D модели объекта. Характеристика способа Виолы-Джонса с использованием признаков Хаара. Обнаружение объектов на изображениях в реальном времени.
статья, добавлен 14.05.2017Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
курсовая работа, добавлен 09.06.2013Моделирование степени доступа пользователя к решению задач на компьютерной системе в зависимости от ее диагностического состояния c использованием нечеткой логики. Главная особенность уменьшения времени восстановления системы после возможного отказа.
статья, добавлен 19.06.2018Разработка системы реального времени для управления мобильным роботом (телеуправление). Реализация системы на основе пакетов ROS. Цель - проверить, какие преимущества и недостатки присущи им, для каких задач и в каких условиях их стоит использовать.
статья, добавлен 14.08.2020Моделирование процесса распознания речи на основе алгоритмов нечеткой логики, локальных экстремумов, сегментно-слогового синтеза. Определение объектов в системах автоматического анализа изображений. Функции вейвлет-фильтров для сжатия изображений.
статья, добавлен 14.06.2016Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.
статья, добавлен 13.03.2013Изложение возможностей программы 1С:Предпрятие и принципа её работы. Решение прикладных задач: хранение неограниченного объёма информации за любой период времени; возможность анализа хранящихся данных за определённый период с учётом определённой логики.
презентация, добавлен 11.10.2014Анализ вопросов управления работой команды интеллектуальных агентов. Подход к обеспечению работы команды агентов в условиях временных ограничений (в реальном времени), основанный на комбинировании моделей приближенных вычислений и anytime-алгоритмов.
статья, добавлен 16.01.2018Использование математического аппарата нечеткой логики в системах искусственного интеллекта для управления объектами в условиях неточности. Лингвистическая форма представления управляющих команд ограниченного потока слов и предложений словесного языка.
лекция, добавлен 28.08.2013Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Основные методы и алгоритмы решения задачи диспетчеризации в распределенных системах с энергоограниченными удаленными модулями. Разработка модифицированной модели структуры и математической концепции диспетчера задач. Анализ главных целей планирования.
статья, добавлен 14.07.2016- 98. Темпоральное согласование в планировании действий групп объектов в реальном операционном времени
Рассмотрение проблемы построения темпорального процессора. Планирование и управление множеством объектов с использованием различных темпоральных теорий представления временных факторов восприятия внешней среды, основанных на феномене памяти человека.
статья, добавлен 19.01.2018 Анализ логики времени в пространстве в естественном языке Методики описания пространственно-временных отношений. Расширение объектно-атрибутной грамматики для работы с пространственными отношениями. Разработка программного модуля анализа отношений.
дипломная работа, добавлен 01.07.2017Осуществление транзакций электронных платежей посредством сети Интернет. Рассмотрение порядка начисления поощрительного вознаграждения контрагентов системы онлайн-платежей. Система нечеткого логического вывода из стандартных используемых запросов.
статья, добавлен 09.04.2019