Логика умолчаний как альтернатива модификационных исчислений
Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
Подобные документы
- 26. Разработка устройства для экспертной диагностики систем на основе нечеткой логики нейронных сетей
Определение работоспособности технологической системы по косвенным физическим параметрам. Алгоритмизация диагностики, разработка формальной модели принятия и оценки решений. Создание экспертного устройства нейронных сетей на основе нечеткой логики.
статья, добавлен 15.05.2017 Определение Клодом Шенноном теоремы о пропускной способности зашумленных каналов связи. Метод исчислений количества новой (непредсказуемой) и избыточной (предсказуемой) информации, содержащейся в сообщениях, передаваемых по каналам технической связи.
реферат, добавлен 06.12.2011Основные методологические особенности системных исследований. Современное развитие системного подхода. Абстрактная модель системы произвольной природы. Физическое и математическое моделирование. Шкалы номинального типа. Основные функции алгебры логики.
учебное пособие, добавлен 01.01.2014Одноалфавитная и многоалфавитная одноконтурная обыкновенная подстановка. Примеры таблиц замены. Шифрование с помощью таблицы Вижинера. Использование свойств циклического сдвига. Замена при дешифровании. Стойкость простой многоалфавитной подстановки.
реферат, добавлен 29.04.2016История и развитие программируемой матричной логики. Программируемые логические матрицы. Воспроизведение скобочных форм переключательных функций. Общее правило решения задач с помощью программируемых логических матриц. ПМЛ с разделяемыми коньюнкторами.
реферат, добавлен 12.12.2012Совокупность теоретических основ, методов, алгоритмов, процедур и программных средств, базирующихся на использовании нечетких знаний и оценок экспертов для решения широкого круга задач. Проблемы создания вычислительной системы на основе нечёткой логики.
статья, добавлен 20.04.2019Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
курсовая работа, добавлен 09.06.2013Характеристика метода вывода на основе прецедентов для интеллектуальных систем поддержки принятия решений. Технологическая схема парового компенсационного объема. Этапы модифицированного CBR-цикла для интеллектуальных систем поддержки принятия решений.
статья, добавлен 19.01.2018Использование математического аппарата нечеткой логики в системах искусственного интеллекта для управления объектами в условиях неточности. Лингвистическая форма представления управляющих команд ограниченного потока слов и предложений словесного языка.
лекция, добавлен 28.08.2013Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
статья, добавлен 30.01.2021Анализ сложности построения инженерных теорий как в научном, так и практическом направлении на основе использования нетрадиционного подхода к задачам эффективного мониторинга данных. Анализ взаимосвязей элементов этих объектов на основе известных методов.
статья, добавлен 24.05.2020Рассмотрение истоков формальной логики и способов мышления: понятия, высказывания и умозаключения. Алгебра высказываний и логические функции. Логические выражения и таблицы истинности; правила преобразования выражений и основы устройства компьютера.
курсовая работа, добавлен 14.06.2013Логические операции: дизъюнкция, конъюнкция и отрицание. Описание логических операций таблицами истинности, отражающими результаты сложных высказываний. Логические основы компьютера и законы алгебры логики. Триггер как элемент памяти, схема RS-триггера.
курсовая работа, добавлен 07.01.2015Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Основные понятия алгебры логики, её применение в информатике. Решение задачи с расчетом стоимости стеклопакетов. Информационная и аналитическая модель задачи, технология решения задачи в MS Excel. Результаты компьютерного эксперимента и их анализ.
курсовая работа, добавлен 22.01.2015Выбор средства и метода решения задачи и среды программирования. Средства Delphi для реализации алгоритмов нечеткой логики. Реализация системы в программе fuzzyTECH. Информационное и программное обеспечение проекта. Расчет экономической эффективности.
дипломная работа, добавлен 22.09.2011Рассмотрение истории появления вычислительных машин. Создание ЭВМ с хранимой в памяти программой. Характеристика первых составляющих будущей науки, двоичной системы счисления. Соединение электроники с логикой. Развитие цифровой ВТ в настоящее время.
реферат, добавлен 16.01.2015Основные понятия алгебры логики, ее применение в информатике. Постановка задачи, цели ее решения и условия. Компьютерная модель решения задачи: информационная и аналитическая модели, решение в MS Excel. Результаты компьютерного эксперимента и анализ.
курсовая работа, добавлен 04.05.2014Алгоритмическая структура "цикл". Виды алгоритмических структур: цикл с предусловием (типа "пока"), с постусловием (типа "до"), с параметром (типа "для"). Циклы типа repeat и while. Способы записи структур. Примеры решения задач с помощью этих структур.
презентация, добавлен 05.11.2014Характеристика строения, функций, принципа работы накопителей информации (дисковод, винчестер, CD-ROM, картовод). Характеристика распространенных расширений программных, текстовых, графических, медийных файлов. Профилактические методы борьбы с вирусами.
контрольная работа, добавлен 25.12.2009Представление информации. Количество информации и единицы ее измерения. Системы счисления и перевод чисел из одной системы счисления в другую. Двоичная арифметика. Основные понятия и операции формальной логики. Основные логические элементы компьютера.
методичка, добавлен 12.07.2010Анализ методов управления программами ИТ-проектов. Предпроектное обследование компании ЗАО "КонсОМ СКС". Разработка механизмов управления программами ИТ-проектов. Рекомендации по эксплуатированию системы. Методика расчета экономических и других эффектов.
дипломная работа, добавлен 30.04.2019Изучение основных методов регистрации расширений файлов. Открытие файла с помощью ассоциированного приложения. Раздел, в котором регистрируются файлы. Изменение значения "По умолчанию" на "Описание программы". Описание созданного reg-файла. Путь файла.
практическая работа, добавлен 10.05.2015Основные принципы работы с логическими элементами и выполняемые ими функции. Возможность построения простых логических схем в специализированной программе Multisim. Способы задания логических функций. Аксиомы алгебры логики, таблица истинности и пр.
лабораторная работа, добавлен 13.12.2015Языки программирования контроллеров PLC. Внедрение стандарта IEC 61131. Программирование с нечеткой логикой. Использование языков функциональных блоков, релейной логики, последовательных функциональных схем, инструкций и структурированного текста.
реферат, добавлен 25.11.2015