Принцип резолюции в исчислении высказываний и логике предикатов и его модификации
Экспертные системы реального времени. Основные производители. История возникновения и развития языка ПРОЛОГ. Исчисление высказываний. Исчисление предикатов. Программирование на ПРОЛОГЕ. Принцип резолюций. Поиск доказательства в системе резолюций.
Подобные документы
Понятие и основополагающие функции операционных систем, их типовая структура и принцип действия. Краткая история становления и развития операционных систем Windows, их разновидности и общая характеристика, основные требования к аппаратным средствам.
презентация, добавлен 12.07.2011Концепция построения виртуальной лаборатории (ВЛ) "Программирование микроконтроллерных систем". Принцип построения лабораторного практикума. Архитектура аппаратного обеспечения ВЛ. Аппаратные способы реализации генератора сигналов произвольной формы.
магистерская работа, добавлен 29.06.2009Характеристика основных способов вычисления определителя матрицы с помощью языка программирования СИ. Выбор инструментальных и аппаратных средств, его обоснование. Общая структура и принцип действия программного модуля, описание блок-схем алгоритмов.
курсовая работа, добавлен 08.06.2010Особенности создания интеллектуальной справочной системы по логике, ее технико-экономическое обоснование. Онтология, содержательная декомпозиция, исходные тексты базы знаний, ее верификация и отладка. Тестирование интеллектуальной справочной системы.
курсовая работа, добавлен 14.07.2012Программирование нестандартных функций, задач оптимизации, дифференциального уравнения и аппроксимации с помощью языка Паскаль. Алгоритм и программа операций над матрицами. Нахождение значения корней нелинейного уравнения по методу половинного деления.
курсовая работа, добавлен 12.08.2011Методы и этапы создания автоматизированной обучающей системы по дисциплине "Программирование" для студентов ВУЗов. Описание и сравнение программ-аналогов. Выбор инструментальных средств и языка разработки. Проектирование интерфейса обучающей программы.
курсовая работа, добавлен 26.11.2010Приемы и правила объектно-ориентированного программирования с использованием языка С++. Общие принципы разработки объектно-ориентированных программ. Основные конструкции языка С++. Разработка различных программ для Windows с использованием WIN32 API.
учебное пособие, добавлен 28.12.2013Основные методы структурного программирования. Методы половинного деления, Крамера, прямоугольников. Применение языка программирования Turbo Pascal 7.0. Решение системы линейных алгебраических уравнений. Описание стандартных и не стандартных функций.
курсовая работа, добавлен 14.01.2015Программирование — это искусство получения ответов от машины. История развития программирования. Что могут ЭВМ. История развитие ЭВМ. Достижения компьютерной техники: универсальные настольные ПК, блокнотные компьютеры, карманные ПК, компьютеры-телефоны.
реферат, добавлен 02.06.2008История изобретения и развития компьютера. Устройство персональных компьютеров и принцип их работы. Появление IBM PC, их развитие и модернизация. Появление портативных компьютеров, их достоинства и недостатки. Сервера и их функциональные возможности.
презентация, добавлен 27.11.2008Назначение и архитектура экспертных систем, их применение в сфере образования. Экспертные системы тестирования, принципы их функционирования. Инструментальные средства создания приложения и разработка программы тестирования. Описание программы, листинг.
дипломная работа, добавлен 07.05.2012Обзор существующих систем управления базы данных. Основные характеристики языка программирования MS VB 2010. Содержание базы данных для хранения информации об успеваемости. Программирование системных модулей программы, содержание интерфейса пользователя.
курсовая работа, добавлен 22.02.2014История развития искусственного интеллекта. Экспертные системы: их типы, назначение и особенности, знания и их представление. Структура идеальной и инструменты построения экспертных систем. Управление системой продукции. Семантические сети и фреймы.
реферат, добавлен 20.12.2011- 89. Сканеры
История изобретения прибора для передачи изображения на расстояние - пантелеграфа. Патент на технологию фотоэлектрического сканирования (телефакс). Планшетный способ сканирования, принцип оцифровки. Виды сканеров, их характеристика и принцип работы.
презентация, добавлен 07.06.2015 База данных "Эталон" НПИЦ министерства юстиции РФ. Поиск информации в справочно-информационной программе системе "Консультант плюс" и "Гарант". Сквозной поиск из главного раздела "законодательство". Классификатор подключенных печатных изданий.
реферат, добавлен 12.04.2009Встроенные структуры данных, связанные с датами и временем. Системное время в секундах. Представление текущего времени в строку. Изменение даты и времени модификации файла. Установка системной даты и времени по секундам. Работа с системными часами.
методичка, добавлен 06.07.2009История создания и основные направления в моделировании искусственного интеллекта. Проблемы обучения зрительному восприятию и распознаванию. Разработка элементов интеллекта роботов. Исследования в области нейронных сетей. Принцип обратной связи Винера.
реферат, добавлен 20.11.2009Логическая равносильность преобразования, его применение к математическим доказательствам. Применение аппарата булевских функций к синтезу комбинационных схем. Вычисление логических операций выполняемых микропроцессором. Значение истинности высказываний.
методичка, добавлен 24.12.2010История возникновения и развития понятия "машинный интеллект". Суть теста Тьюринга, разработанного для оценки интеллекта машины. Принцип функционирования машины для решения головоломки из восьми фишек. Состояние распознавание образа, мышления, анализа.
презентация, добавлен 14.10.2013Ознакомление с методами управления вводом/выводом в вычислительных системах. Принципы и этапы проектирования, а также реализация интеллектуальной системы с применением ввода-вывода управляемого прерываниями, с использованием языка программирования Си.
курсовая работа, добавлен 18.04.2015Семантическая сеть - совокупность объектов предметной области, отношений между ними. Причинно-следственные связи между двумя объектами в семантической сети. Представление знаний путем использования фреймов, при помощи логики предикатов. Правила продукций.
реферат, добавлен 01.12.2010История появления сканера - устройства, которое, анализируя какой-либо объект, создаёт цифровую копию изображения объекта. Технология фотоэлектрического сканирования, получившая впоследствии название телефакс. Типы сканеров, их применение, принцип работы.
презентация, добавлен 06.04.2015Поиск информации в Интернет: стратегия и методика. Глобальные и российские каталоги и поисковые машины: принцип работы, преимущества и недостатки. Аналитический обзор найденных документов по теме "Учет денежных средств, документов и переводов в пути".
курсовая работа, добавлен 03.11.2010Принципы программирования в системе "1С: Предприятие": конфигуратор, синтакс-помощник, описание встроенного языка. Организация кадрового учета на предприятии, его документальное оформление. Автоматизация кадрового учета средствами системы программ "1С".
курсовая работа, добавлен 11.07.2011Теоретический расчет распределений температур внутри тела и их изменений во времени на основании уравнения теплопроводности, сведенного в дальнейшем в бесконечный ряд Фурье в среде языка программирования Turbo Pascal 7.0, анализ его результатов.
курсовая работа, добавлен 20.03.2012