Логика умолчаний как альтернатива модификационных исчислений
Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
Подобные документы
Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
контрольная работа, добавлен 20.09.2015Применение специализированного программного обеспечения, сущность и значение стратегического планирования. Специфика информационной системы управления программами и проектами. Характеристика и особенности компьютерной технологии синтеза системы офисов.
статья, добавлен 30.10.2016Эффективный обмен текстовой, графической, звуковой и видеоинформацией между прикладными программами (ПП). Расширенные сетевые возможности (подключение к различного типа компьютерным сетям). Поддержка средств мультимедиа, качество звука и изображений.
реферат, добавлен 21.09.2017Понятие кибернетики, корни кибернетической теории. Все управляемые системы как объект кибернетики. Примеры кибернетических систем, направления их развития. Роль кибернетики в биологии. Связь психологии с этой наукой. Особенности чистой кибернетики.
реферат, добавлен 22.12.2011- 80. Разработка системы автоматического управления беспилотным летательным аппаратом мультироторного типа
Основные компоненты комплекса беспилотного летательного аппарата мультироторного типа на примере квадрокоптера. Схема компонентов автоматической системы управления. Основные принципы обработки информации датчиков. Алгоритмы логики управления полетом.
статья, добавлен 30.03.2015 Продукционная система как модель вычислений, играющая важную роль для создания алгоритмов поиска и моделирования решений задач человеком. Набор продукционных правил. Состояния мира в процессе рассуждений. Примеры продукционных систем и режим управления.
контрольная работа, добавлен 23.10.2013Примеры формализованного представления фреймов-сценариев. Механизмы "приспособления" фрейма к реальной ситуации. Пример стратегии как процесс интерпретации текста. Процесс понимания рассуждения, рассказа, восприятия элементов образа, идеи рассуждения.
контрольная работа, добавлен 23.10.2013Использование математического аппарата алгебры логики для анализа и синтеза схем в ЭВМ при алгоритмизации решения задач. Характеристика пакетов прикладных программ. Основные тенденции в области развития проблемно-ориентированных программных средств.
контрольная работа, добавлен 21.10.2009Основное назначение баз данных и их особенности. Описание кинопроекционного комплекса, построение модели "сущность-связь". Переход от модели "сущность-связь" к реляционной модели. Примеры теоретико-множественных и специальных операций реляционной алгебры.
курсовая работа, добавлен 11.09.2014Определение архитектуры информационной системы. Бизнес-логика и слой управления данными. Особенности распределенных систем с точки зрения проектировщика. Задержка выполнения запросов. Сложные схемы синхронизации. Хранение между активацией и деактивацией.
лекция, добавлен 18.01.2014Исследование процесса реализации аппарата формализации структурного непроизводного уровня представления системной модели. Метод ее декомпозиции на непроизводные структурные элементы, составляющие основу базы знаний информационно-аналитического комплекса.
статья, добавлен 28.01.2020Пример использования нечетких множеств для описания выбора решения в архитектуре. Различные комбинации и перестановки элементов, имеющие место при создании архитектурной композиции. Применение нечеткой логики в архитектуре и, в частности, в искусстве.
статья, добавлен 16.01.2018Разработка, назначение и реализация гибридной модели, основанной на сочетании фреймового, продукционного, объектно-ориентированного и реляционного подходов к представлению знаний в сочетании с элементами нечеткой логики и механизма "правил активации".
статья, добавлен 16.01.2018Использование оптической системы для навигации летательного аппарата при посадке в условиях плохой видимости. Определение разности смещения между текущим и предыдущим изображением. Применение нечеткой логики при управлении системой второго порядка.
статья, добавлен 13.03.2013Обобщение понятий истинного и ложного суждения в классической логике. Рассмотрение числовых характеристик суждений. Изучение вопроса упорядочения суждений в Vn-логиках. Анализ процесса формирования сложных суждений в многоаспектных векторных логиках.
статья, добавлен 18.01.2018Варианты реализации универсального программного интерфейса, полностью автоматизирующего первый этап системно-когнитивного анализа данных - когнитивной структуризации и формализации предметной области, отличающейся формой представления исходных данных.
статья, добавлен 27.04.2017Ознакомление с результатами расчета с использованием технической моментной теории цилиндрических оболочек. Определение и характеристика значения отсутствия осесимметричной составляющей в спектре нагрузки на гибкое колесо волновой зубчатой передачи.
статья, добавлен 25.03.2016Понятие стиля программирования. Базовые концепции языков программирования и их сочетания. Использование операторов goto либо объектов, обменивающихся информацией через общее поле памяти. Функциональный и объектно-ориентированный стиль программирования.
статья, добавлен 02.10.2012Проектирование цифровых устройств, выполняющих операции с плавающей точкой, а также проектирование и моделирование микропрограммных устройств управления с жесткой и программируемой логикой. Моделирование с использованием пакета PCAD на ПЭВМ типа IBM PC.
методичка, добавлен 28.06.2009Описание возможности применения информационных систем для анализа и прогнозирования изучаемых эффектов социального поведения. Рассмотрение формализации качественного анализа социологических данных средствами ДСМ-метода автоматического порождения гипотез.
доклад, добавлен 17.01.2018Математическая логика как инструмент для исследований в области оснований математики. Развитие теории алгоритмов. Реляционная модель данных. Отношение как файл. Ключевые поля отношений. Обобщенные теоретико-множественные операции над двумя отношениями.
реферат, добавлен 18.09.2013Изучение нечетких систем искусственного интеллекта, основанных на использовании математического аппарата нечеткой логики. Понятие границы между множествами значений переменных с различным смысловым понятием. Анализ сущности лингвистической переменной.
лекция, добавлен 21.10.2013Разработка системы на базе нечёткой логики, включающей в себя две входные лингвистические переменные: скорость ветра и курсовой угол ветра. Представление нечётких множеств, соответствующих термам лингвистических переменных. Границы функции принадлежности.
статья, добавлен 24.07.2018Выбор инструментальных средств разработки автоматизированных систем на основе модели нечеткой логики для вычисления результирующей функции по заданным критериям. Анализ создания информационной системы на объектно-ориентированном языке программирования.
статья, добавлен 22.05.2017- 100. Изучение массивов
Понятие, особенности и примеры массивов как группы однотипных элементов, имеющих общее имя и расположенных в памяти рядом. Определение имени, типа массива и числа элементов, выделение его места в памяти. Ввод с клавиатуры, поэлементные операции.
презентация, добавлен 26.09.2020