Логика умолчаний как альтернатива модификационных исчислений
Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
Подобные документы
Этапы развития логики как науки, изучающей законы и формы мышления. Анализ логической схемы работы компьютера. Понятие высказывания, его виды. оценка истинности и инверсия. Дизъюнкция как логическое сложение. Логические выражения и таблицы истинности.
презентация, добавлен 12.03.2021Рассмотрение общих вопросов функционирования операционных автоматов. Изучение схемы и принципов работы устройств управления с программируемой логикой. Проектирование и тестирование операционного устройства и управляющего автомата процессорного модуля.
курсовая работа, добавлен 21.06.2011Рассмотрение набора шаблонов, позволяющих эффективно решать ряд задач, возникающих при построении систем на уровне доступа к данным и уровне бизнес-логики. Этапы проектирования и разработки системы дистанционного обучения Competentum.Instructor.
статья, добавлен 08.12.2018Рассмотрение особенностей проектирования систем искусственного интеллекта. Прямая и обратная цепочки логических рассуждений. Определение основных фактов, имеющих отношение к целям изучения процессов. Создание интеллектуальных агентов и сред любого типа.
лекция, добавлен 28.03.2020Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010Выбор фрагмента микропрограммы. Описание закона функционирования и построение структурной таблицы переходов. Структурный метод синтеза. Минимизация функций возбуждения путем выделения общих частей. Синтез управляющего автомата с программируемой логикой.
курсовая работа, добавлен 21.12.2008Назначение и особенности работы программы Блокнот. Поиск и замена символов или слов, переход к конкретной строке. Вырезание, копирование, вставка и удаление текста. Изменение начертания и размера шрифта, изменение способа отображения напечатанного текста.
контрольная работа, добавлен 23.03.2010Степень отличия компьютера от устройств с жесткой логикой. Примеры простейших фракталов. Генетическая программа элементарных частиц. Проявление информационности мира в бытии. Проблема самовоспроизведения, решаемая в рамках материалистической парадигмы.
монография, добавлен 27.08.2013Структурная интерпретация системы автоматического управления. Понятие кругового критерия. Устойчивость систем с логическими алгоритмами управления и метод частотных круговых диаграмм. Программа для построения годографов на языке программирования Си++.
курсовая работа, добавлен 12.06.2010Исследование систем выявления аномального состояния в компьютерных сетях, определение их недостатков. Разработка метода определения идентифицирующих термов, базирующегося на математических моделях и методах нечеткой логики, обоснование его эффективности.
статья, добавлен 21.02.2017Анализ трудностей синтеза систем управления, функционирующих в условиях неопределенности. Применение аппарата нечёткой логики, который позволяет решить задачу адаптации системы управления самонаводящихся зенитных управляемых ракет к изменяющимся условиям.
статья, добавлен 27.02.2019Мягкие вычисления - раздел науки синтетического интеллекта, в которой нечеткая логика, теория вероятностей, нейронные сети синергетически взаимодействуют для подражания процессам рассуждений. Предпосылки создания и развития интеллектуальных систем.
статья, добавлен 22.08.2020Анализ подходов к оценке пропускной способности автоматизированной системы управления в ходе динамики местоположения объектов противостоящей системы. Методика разработки модели оценки пропускной способности с использованием аппарата нечеткой логики.
статья, добавлен 02.04.2019Разработка алгоритма обучения технических систем, позволяющего выполнять автоматическую настройку функций принадлежности нечетких (fuzzy) множеств в соответствии с обучающей выборкой. Результаты моделирования алгоритма обучения в системе Matlab.
статья, добавлен 02.02.2019Технологии компьютерного визуального графоаналитического системного моделирования процессов управления. Средства для формализации процессов. Описание базовых конструкций процесса. Особенности преобразования терминов исчисления в конструкции языка Promela.
автореферат, добавлен 27.03.2018Проектирование алгоритма работы управляющего автомата. Составление граф-схемы алгоритма. Реализация алгоритма на языке программирования Assembler. Синтез функций возбуждения и выходов. Выбор варианта кодирования состояний автомата с жёсткой логикой.
курсовая работа, добавлен 12.02.2013- 67. Сети доверия
Методы реализации логических рассуждений. Теория Демпстера-Шефера, функция доверия как функция присвоения базовых вероятностей. Применение Байесовского подхода к теории. Методы вычислений Гордона и Шортлиффа. Сравнение методов неточных рассуждений.
реферат, добавлен 26.08.2010 Моделирование проектных задач с позиций рассуждений, использование которых привело к их решению. Разработка вопросно-ответного протоколирования рассуждений, построение на этой базе специального класса вопросно-ответных моделей и их исследование.
статья, добавлен 16.01.2018Оценка интеллектуального подхода как использования в экспертных системах неполных и не вполне достоверных исходных данных, реализованных в системах недостоверного управления и вероятностных рассуждений. Обзор вероятностных рассуждений по методу Байеса.
статья, добавлен 23.03.2018Сущность и классификация информационных технологий, их разновидности и сферы практического применения, предъявляемые требования и значение. Роль и причины информационных революций в истории развития цивилизации. Примеры формализации и техническая база.
шпаргалка, добавлен 22.09.2016- 71. Персональный компьютер: принципы хранения информации, основные характеристики носителей информации
Принципы хранения информации на персональных компьютерах. Основные характеристики современных носителей данных. Распространение оптических дисков, USB флеш-накопителей. Особенности хранения информации в Интернете. Примеры расширений файлов разных типов.
контрольная работа, добавлен 24.10.2014 Изучение систем исчисления и постановка проблемы перевода из двоичной системы исчисления в десятеричную, из шестнадцатеричной в десятеричную и обратно. Исследование методологического подхода к данному переводу, создание алгоритма и написание программы.
реферат, добавлен 04.12.2009Рассмотрение приемов работ с программами Ms Word и Excel. Изучение материнской платы и устройств, размещенных на ней (шин данных). Обеспечение работы с неподвижными изображениями, анимированной графикой и высококачественным звуком средствами мультимедиа.
контрольная работа, добавлен 24.10.2009Обзор структуры предприятия. Изучение технологических процессов обработки информации и систем автоматизированного проектирования. Знакомство с оборудованием и программами управления объектами. Получение навыков работы с программами и базами данных.
отчет по практике, добавлен 21.06.2014Механизмы использования математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ. Принципы алгоритмизации, программирования и решения задач в информатике. Описание прикладного программного обеспечения электронных вычислительных машин.
курсовая работа, добавлен 22.11.2012