Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
Подобные документы
Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Аппаратная реализация устройств управления и их значение в информационных системах реального времени. Граф переходов автомата с выбором логического условия. Структурная модель автомата с операционным устройством, особенности взаимосвязи элементов.
лекция, добавлен 22.10.2013Возникновение вариантов решений в результате анализа проблемной ситуации, представленной в виде описательной модели. Аналитический и геометрический методы расчета при минимаксном критерии принятия решений. Критерии принятия решений Гурвица и Гермейера.
лабораторная работа, добавлен 08.02.2015Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008Применение анализа формальных концептов к объектам OLAP. Составление каталога показателей для систематизации объектов исследования. Разработка алгоритма построения решётки многомерных кубов. Использование метода Крайеса при принятии аналитических решений.
статья, добавлен 31.01.2019Исследование теплофизических и технологических процессов в геотермальных системах. Разработка алгоритмов и методик расчета оптимальных параметров и режимов эксплуатации различных систем. Разработка моделей принятия решений в геотермальных системах.
автореферат, добавлен 13.02.2018Применение метода перебора для анализа Марковской модели. Принятие решений при бесконечном количестве этапов. Решение системы линейных уравнений. Концептуальная схема принятия решений в Марковской модели. Нахождение безусловных оптимальных стратегий.
контрольная работа, добавлен 20.03.2016Разработка алгоритмического обеспечения инструментальных средств поддержки принятия решений по использованию госбюджета на мероприятия, обеспечивающие повышение конкурентоспособности агропромышленного комплекса. Параметры государственной поддержки.
статья, добавлен 28.04.2017Формально-математические модели принятия решений. Многокритериальная оптимизация. Принятие решений как процесс человеческой деятельности, направленный на наилучший вариант действий. Выбор стратегии поведения, товара. Тендеры и задача о назначениях.
презентация, добавлен 21.01.2015Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Порядковая логика – математический аппарат, широко применяемый при решении многих задач обработки, преобразования непрерывной информации. Рекуррентные соотношения для математической модели систолического алгоритма реализации функций порядковой логики.
статья, добавлен 22.08.2020- 13. Нечеткая логика
Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.
презентация, добавлен 29.06.2022 Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Характеристика основ нечёткой и модальной логики. Знакомство с примерами экспертных систем. Место математической логики в информационных технологиях и программировании. Рассмотрение правил записи сложных формул. Особенности метода дедуктивного вывода.
книга, добавлен 07.08.2013- 17. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Древние представления о времени. Ньютонова модель, теория относительности. Единая модель циклической единицы времени в астрономии. Натуральные меры времени колебательного процесса. Модель собственного времени конечномерного и эволюционного процессов.
книга, добавлен 28.10.2015Определение понятий "планирование", "прогнозирование". Виды неопределенностей, этапы в процессе планирования. Основные методы принятия решений. Задачи оптимизации при принятии решений. Этапы и цель разработки моделей линейного программирования.
презентация, добавлен 04.09.2016Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017- 21. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
презентация, добавлен 06.12.2013 Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015- 23. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Подходы к решению задачи прогнозирования многомерных временных рядов. Обоснование применения деревьев решений для анализа дискретного многомерного временного ряда с неизменными во времени статистическими свойствами. Способы построения деревьев решений.
статья, добавлен 27.02.2019Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015