Система отслеживания истинности предположений

Характеристика вычислительных методов, которые используются для отслеживания зависимостей между представлением в программе состояний, действий и предположений. Отслеживание зависимостей. Пересмотр теорий высказываний. Работа со множеством контекстов.

Рубрика Программирование, компьютеры и кибернетика
Вид реферат
Язык русский
Дата добавления 26.08.2010
Размер файла 696,9 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Файл не выбран
Обзор

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Обзор основных алгоритмов и методов распознавания лиц. Архитектура средств динамического отслеживания лиц в видеопоследовательности. Результаты тестирования на больших объемах видеоданных. Разработка алгоритмов и методов динамического отслеживания лиц.

    дипломная работа [5,9 M], добавлен 20.07.2014

  • Обзор систем управления сайтом, регистрации и отслеживания ошибок. Создание проекта "Senet" в системе регистрации и отслеживания проблем Mantis. Расчет затрат на разработку и эксплуатацию программного обеспечения. Охрана труда и техника безопасности.

    дипломная работа [1,7 M], добавлен 24.06.2015

  • Основные виды зависимостей между атрибутами отношений: функциональные, транзитивные и многозначные. Определение частичной и полной функциональной зависимости, выявление составных элементов ключа. Типы, обозначение и пример многозначных зависимостей.

    презентация [47,0 K], добавлен 14.10.2013

  • Понятие высказывания, операции над простыми высказываниями, таблицы истинности. Примеры построения таблиц истинности сложных высказываний. Таблица истинности импликации. Закон тождества, противоречия, двойного отрицания. Решение логических задач.

    курсовая работа [507,3 K], добавлен 23.04.2013

  • Принципы работы Microsoft Project (программы по управлению проектами), ее основные понятия: задачи, ресурсы, назначения. Последовательность действий по созданию нового проекта, вводу задач и зависимостей между ними, вводу ресурсов. Работа с календарями.

    курсовая работа [3,1 M], добавлен 23.01.2011

  • Простые системы для отслеживания заявок. Информационные потоки, возникающие на этапе поступления запроса для решения инцидента. Концептуальная и логическая модель данных. Разработка программного обеспечения по автоматизации процесса Службы Service Desk.

    дипломная работа [2,6 M], добавлен 11.06.2017

  • Мониторинг сервисов веб-приложения. Проблема отслеживания большого количества сервисов, поддерживающих работу веб-приложения, ее решение с помощью "Service discovery"-инструментов. Применение программного инструмента Consul как клиент-серверной системы.

    статья [184,4 K], добавлен 10.12.2016

  • Базы данных, содержащие информацию о графических редакторах. Предметная область, словарь понятий и терминов. Построение функциональных зависимостей. Синтез схемы базы данных на основании функциональных зависимостей. Построение неизбыточного покрытия.

    курсовая работа [190,8 K], добавлен 12.05.2009

  • Анализ предметной области, ее формализации с помощью функциональных зависимостей. Этапы минимизации системы функциональных зависимостей и на основании полученной редуцированной системы проектирование модели базы данных. Создание и моделирование запросов.

    курсовая работа [1,7 M], добавлен 21.06.2010

  • История развития игровых манипуляторов: появление первых джойстиков и их виды. Обеспечение взаимодействия между игроком и консолью при помощи геймпадов. Использование компьютерного руля в автосимуляторах. Трекеры - системы отслеживания движений головы.

    реферат [30,8 K], добавлен 27.12.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.