Система отслеживания истинности предположений
Характеристика вычислительных методов, которые используются для отслеживания зависимостей между представлением в программе состояний, действий и предположений. Отслеживание зависимостей. Пересмотр теорий высказываний. Работа со множеством контекстов.
Рубрика | Программирование, компьютеры и кибернетика |
Вид | реферат |
Язык | русский |
Дата добавления | 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