Логика умолчаний как альтернатива модификационных исчислений
Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
Подобные документы
Разработка методов и программных средств, реализующих механизмы правдоподобных рассуждений (рассуждений "здравого смысла") для систем искусственного интеллекта. Способы представления прецедентов и методы их извлечения из библиотеки прецедентов системы.
статья, добавлен 19.01.2018Механизмы организации и управления знаниями и данными в интеллектуальных компьютерных системах. Структурная организация и концептуальная модель данных и знаний. Трудности и тенденции в реализации правдоподобных рассуждений в интеллектуальных системах.
статья, добавлен 19.01.2018Теория алгоритмов как теоретический фундамент вычислительных наук. Понятие алгоритма, его свойства и особенности изучения. Тесная связь информатики и математики. Основная идея математической логики (метаматематики) - формализация знаний и рассуждений.
курсовая работа, добавлен 29.12.2011Развитие навыков формализации и моделирования на примере искусственно созданных предметных областей, определенных среди логических задач повышенной сложности. Использование основных языков логического программирования и средств математической логики.
статья, добавлен 26.09.2017Анализ взаимосвязи между логикой и функционированием электронно-вычислительных машин. Особенности операций дизъюнкции и конъюнкции с помощью ЭВМ. Использование математической логики при построении базах данных, электронных таблиц и программировании.
презентация, добавлен 19.10.2014История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
контрольная работа, добавлен 25.03.2017Формы мышления и история развития алгебры логики. Примеры логических высказываний и умозаключений. Принцип работы одноразрядного двоичного сумматора. Основные логические элементы компьютера. Решение содержательных задач с помощью алгебры логики.
презентация, добавлен 05.02.2015Основные понятия математической логики. Примеры логических выражений. Использование дизъюнкции в логическом выражении. Повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно. Обозначения истины или лжи.
контрольная работа, добавлен 18.12.2013Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.
курсовая работа, добавлен 06.01.2016- 11. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 - 12. Алгебра логики
Задачи алгебры логики как математического аппарата, ее связь с двоичным кодированием и основные законы. Особенности логических высказываний и формул. Порядок записи данных и команд в памяти компьютера и регистрах процессора. Сущность триггера и сумматора.
реферат, добавлен 22.02.2013 Классификация основных устройств ЭВМ по функциональному назначению. Разработка управляющего автомата с жесткой логикой на базе логических элементов и элементов памяти. Структурная схема автомата с программируемой логикой, порядок следования микрокоманд.
курсовая работа, добавлен 14.09.2011Разработка схемы алгоритма и составление операционного описания по формированию номеров параллельных кодов А (1:32) и В (1:32) в функциональной схеме управляющего автомата. Построение и анализ структурной схемы УА с программируемой логикой и адресацией.
курсовая работа, добавлен 24.03.2012- 15. Интелектуальная мультиагентная система сбора и анализа данных для моделей знаний предметных областей
Методы построения мультиагентной системы посредством логической оценки получаемых данных. Построение нейронной сети с нейронами, обладающими памятью и интегральной логикой. Реализация логики на основе генетического алгоритма совершенствования "генов".
статья, добавлен 13.01.2017 Логики с PN-операторами как логический базис для систем интеллектуального анализа данных, основанных на когнитивных рассуждениях, использующих немонотонные модификационные исчисления. Анализ основных альтернатив многозначным логикам с J-операторами.
статья, добавлен 18.01.2018Понятие нечеткой логики и нечетких систем, условия их применения. Нечеткие лингвистические переменные. Описание процесса нагрева воды с помощью аппарата булевой алгебры и четкой логики. Формализация процедур логического вывода в нечетких системах.
лекция, добавлен 09.10.2013Рассмотрение современного подхода к моделированию темпоральных (временных) рассуждений в интеллектуальных системах. Определение значения разработки компьютерных систем временных рассуждений. Ознакомление с алгоритмом создания нового ограничения.
статья, добавлен 17.01.2018Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018Понятие алгебры логики. Основные логические операции. Логические выражения и таблицы истинности. Алгебра логики в компьютерах. Логические законы и их использование при построении схем компьютера. Программа для проверки любого закона алгебры логики.
статья, добавлен 22.03.2019Теоретическое исследование понятия информация. Рассмотрение способов ее измерения, передачи и обработки. Анализ каналов связи, кодирования, свойств меры информации. Рассмотрение вопросов формализации информации в Internet. Изложение примеров и упражнений.
учебное пособие, добавлен 30.04.2014Логика - наука о формах и способах рассуждений. Основные формы мышления: понятие, суждение (высказывание), умозаключение, доказательство. Логические функции, связки и выражения: конъюнкция, дизъюнкция, инверсия, импликация (следование), эквиваленция.
реферат, добавлен 20.12.2011Использование аппарата нечеткой логики для представления сложных пространственных моделей. Проектирование и модернизация объектов размещения отходов промышленных предприятий. Определение границ санитарно-защитной зоны полигона захоронения отходов.
статья, добавлен 30.05.2017Понятия нечеткой логики. Рассмотрение одного из способов проектирования экспертной информационной системы медицинской диагностики на базе нечеткой логики и интеграции этой системы с интеллектуальными парадигмами на примере нейронной сети Хопфилда.
статья, добавлен 04.12.2018- 25. Русская логика
Основные положения алгебры логики. Минимизация определённых булевых функций. Построение преобразователя двоичного кода в двоично-десятичный. Метод решения логических уравнений, основанный на применении алгоритма "Волга". Законы импликативных выражений.
курс лекций, добавлен 08.02.2018