Логика умолчаний как альтернатива модификационных исчислений
Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
Подобные документы
Изложение возможностей программы 1С:Предпрятие и принципа её работы. Решение прикладных задач: хранение неограниченного объёма информации за любой период времени; возможность анализа хранящихся данных за определённый период с учётом определённой логики.
презентация, добавлен 11.10.2014Использование компьютеров для создания баз знаний, их применение в различных областях науки и техники. Развитие нейрокибернетики как науки, применение методов математической логики для разработки аппаратно-программных средств искусственного интеллекта.
реферат, добавлен 25.01.2013- 103. Опыт реализации системы управления научно-техническими программами на платформе Lotus Domino&Notes
Структурированное описание действующей нормативной базы и сложившейся практики ее применения. Оценка возможности использования стандартных компонент Lotus Domino&Notes. Процесс выполнения эскизного проекта управления научно-техническими программами.
статья, добавлен 22.08.2020 Функциональные требования к базе данных и приложению доступа к данным. Определение состава бизнес-операций на основе функциональных требований. Реализация бизнес-логики в виде SQL-запросов. Демонстрация работоспособности разработанных SQL-запросов.
курсовая работа, добавлен 23.12.2018Задачи Data Mining: описательные и предсказательные, классификации и регрессии, поиска ассоциативных правил, кластеризации. Практическое применение Data Mining. Особенности нечеткой логики, виды физической неопределенности. Процесс обнаружения знаний.
презентация, добавлен 27.04.2023Этапы разработки клиент-серверного приложения: анализ требований, кодирование, тестирование. Выбор браузера и расширений. Проектирование пользовательского интерфейса: определение основных разделов, создание блока отображения тестов и блока фильтра.
дипломная работа, добавлен 24.06.2018Особенности и основные признаки интеллектуальности информационных систем. Характеристика систем с интеллектуальным интерфейсом. Рассмотрение архитектуры и инструментария построения экспертных систем. Характеристика классификации систем нечеткой логики.
курсовая работа, добавлен 09.12.2013Изучение сущности информации. Возникновение, становление и этапы развития информатики (этап математизации и формализации знаний, этап информатизации, информационно-логического представления знаний). Связь информатики с другими научными дисциплинами.
контрольная работа, добавлен 24.03.2013Технологии качественного исследования сложных, нелинейных явлений. Нечеткие процедуры и асимптотика. Структурный асимптотический анализ и построение субоптимальных управлений. Применение нечеткой логики в сочетании с асимптотическими методами решения.
статья, добавлен 16.01.2018Моделирование степени доступа пользователя к решению задач на компьютерной системе в зависимости от ее диагностического состояния c использованием нечеткой логики. Главная особенность уменьшения времени восстановления системы после возможного отказа.
статья, добавлен 19.06.2018Описание процесса внедрения нового оборудования, составление оптимального плана его использования либо замены и применение для этого динамического программирования. Этапы моделирования в экономической науке, принципы оптимальности Сорокина и Беллмана.
курсовая работа, добавлен 12.03.2014Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Общая характеристика и описание понятий предметной области. Автоматизация бизнес-процессов клиники. Обеспечение оперативного поиска информации уже при обращении к ее услугам. Разработка программного обеспечения и бизнес-логики для информационной системы.
курсовая работа, добавлен 06.06.2023Описание простых и перечисляемых типов данных. Определение понятия константы. Диапазоны представления целых и вещественных типов. Примеры программ, иллюстрирующих просмотр с целью поиска компонента с заданным значением в структурах данных типа array.
курсовая работа, добавлен 17.02.2012Описание реляционной модели данных. Использование null-значений вместо неизвестных данных. Парадоксальные следствия применения трехзначной логики. Уникальные атрибуты, используемые для идентификации кортежей. Операции, нарушающие ссылочную целостность.
учебное пособие, добавлен 16.03.2015Важность проблем интеллектуализации принятия решений в медицинской диагностики. Описание модели информационной системы принятия решения о состоянии пациента на базе нечеткой логики, разработанной в среде Matlab. Эффективность разработки данной системы.
статья, добавлен 06.12.2016Анализ логики времени в пространстве в естественном языке Методики описания пространственно-временных отношений. Расширение объектно-атрибутной грамматики для работы с пространственными отношениями. Разработка программного модуля анализа отношений.
дипломная работа, добавлен 01.07.2017Понятие искусственного интеллекта. Гранулирование информации и его роли в рассуждениях. Сжатие данных с помощью слов. Выражение данных в виде предложений естественного языка. Правила вывода в нечеткой логике. Использование лингвистической аппроксимации.
реферат, добавлен 10.03.2013Основы нечеткой логики. Аппарат теории нечетких множеств. Методы построения функций принадлежности нечетких множеств. Операции над нечеткими множествами. Наглядное представление операций над нечеткими множествами. Нечеткая и лингвистическая переменные.
реферат, добавлен 19.06.2010Характеристика основных процессов преобразования информации. Жизненный цикл информационных теорий. Технология обработки данных в документальных информационно-поисковых системах. Главные методы автоматического рубрицирования, основанные на знаниях.
курс лекций, добавлен 12.03.2015Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
лекция, добавлен 29.10.2013Сущность научно-технической реализации компьютерной техники, характеристика основных этапов развития. Особенности современных теорий искусственного интеллекта и информатики. Условия представления схемы знаний. Передача сложных семантических значений.
лекция, добавлен 23.10.2013Преимущества и недостатки использования CRM-систем традиционного и облачного типа. Поддержка и обновление системы производителем программного обеспечения. Функционал для автоматизации бизнес-процессов, учета и управления совместной работой предприятия.
статья, добавлен 17.07.2018Разработка Microsoft нового языка С#. Общее описание языка С#, сравнение с другими языками программирования, использование и примеры программы. Возможность конструирования различных компонентов - от высокоуровневой бизнес логики до системных приложений.
реферат, добавлен 22.11.2009Изучение темы "Основы робототехники с Lego Mindstorms NXT 2.0", непосредственно для начинающих, при изучении палитры данных: их настроек, возможностей и примеры программирования в среде NXT-G 2.0. Внешний вид разъемов данных и цветовая окраска шин данных.
статья, добавлен 10.08.2018