Логическое программирование
Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.
Подобные документы
Основные языки логического программирования. Программирование на чистом Прологе. Проблема завершения программ, избыточные решения, порядок целей и правил. Языки логического программирования KL0 и "ShapeUp". Разработка и эффективность программ на Прологе.
реферат, добавлен 15.04.2013Анализ программных и языковых средств разработки. Описание среды BlackBoard Learn. Описание языка программирования Java, объектной модели браузера MS Internet Explorer. Проектирование компьюторной обучающей системы "Экспертные системы" в среду Blackboard.
дипломная работа, добавлен 15.09.2017Решение систем линейных алгебраических уравнений методом Зейделя: теоретическое описание алгоритма, формирование блок-схемы и написание текста программы. Преобразование массива положительных вещественных чисел по заданному алгоритму программными методами.
курсовая работа, добавлен 26.03.2011Управление посредством выбора стратегии поиска: на основе данных или от цели. Поиск на основе данных в продукционной системе. Поиск от цели в продукционной системе. Двунаправленный поиск, отсекающий большую часть пространства, исследуемую при поиске.
контрольная работа, добавлен 23.10.2013Назначение разработки – изучение языка программирования Prolog. Постановка задачи в предметной области. Разработка математической модели, выбор и обоснование основного алгоритма решения. Минимальные требования к составу и параметрам технических средств.
курсовая работа, добавлен 25.09.2010Теоретико-системное определение знаний. Понятие формализма и его разновидности. Исчисление предикатов первого порядка, их применение в различных системах и программная реализация. Решение задач при помощи нейронной сети. Объектное программирование.
презентация, добавлен 19.12.2013Понятие, назначение и составные элементы систем программирования. Сущность и специфика системы символического кодирования, описание и применение макросов. Характеристика и особенности процедурно-ориентированной системы, диалоговые и непроцедурные языки.
курсовая работа, добавлен 11.10.2015Понятие искусственного интеллекта и направления его развития. Данные и знания. Продукционная, фреймовая и формальные логические модели представления знаний, их возможности, достоинства и недостатки. Семантические сети, специальные языки их реализации.
презентация, добавлен 31.10.2016Понятие алгебры высказываний как составной части математической логики. Установление значений сложных высказываний, характеристика таблиц истинности. Логические выражения и порядок проведения операций. Сущность и описание основных законов алгебры логики.
курсовая работа, добавлен 09.06.2013Назначение и основные характеристики модемов. Классификация и режим работы модемов. Состав и основные компоненты модемов. Средства защиты от аналогового хаоса. Типовые функциональные узлы обработки и преобразования сигналов. Программирование модемов.
курсовая работа, добавлен 27.05.2012Понятие и свойства алгоритма. Принципы алгоритмизации. Особенности составления и решения блок-схем. Современные языки программирования: Python, JavaScript, C#, Swift, Java. Программирование на языке Pascal в среде Lazarus. Структурное программирование.
контрольная работа, добавлен 30.04.2020Выбор формального способа представления знаний. Пример базы знаний для классификации животных. Недостатки собственного интерпретатора Prolog. Организация процесса формирования рассуждений. Объяснение необходимости предоставления затребованной информации.
лекция, добавлен 17.10.2013Рассмотрение истоков формальной логики и способов мышления: понятия, высказывания и умозаключения. Алгебра высказываний и логические функции. Логические выражения и таблицы истинности; правила преобразования выражений и основы устройства компьютера.
курсовая работа, добавлен 14.06.2013Состав систем программирования. Главные языки программирования. Компиляторы и интерпретаторы для языков Ассемблера. Что нужно для создания программы. Языки "Фортран", "Алгол", "Паскаль", "Си", "Бейсик", "JavaScipt","Java". Глобальная сеть Интернет.
презентация, добавлен 23.10.2013Поиск информации в веб-документах по ключевым словам. Языки программирования и их коды. Разметка документа и его отображение. Графические файлы, их виды, использование и особенности. Поисковые системы и правила поиска информации по каталогу и указателю.
контрольная работа, добавлен 25.01.2014Проектирование системы интернет-банкинга. Изучение функциональных требований к системе, пользовательскому интерфейсу и программным модулям. Очерк программирования базы данных. Расчет экономической эффективности разрабатываемой компьютерной программы.
дипломная работа, добавлен 15.11.2013Интегрированная среда разработки. Сохранение и загрузка базы данных. Простой пользовательский интерфейс. Создание нового элемента в Project Tree. Моделирование данных в Prolog. Составные домены и функторы. Отслеживание объектов: простая OO база данных.
книга, добавлен 08.02.2014Методика разработки GUI-приложения. Изучение последовательности действий. Использование библиотечных классов Visual Prolog. Обработка событий и разработка диалога. Исследование замены процедуры. Создание нового элемента интерфейса. Вставка эксперт кода.
лабораторная работа, добавлен 10.05.2015Перечисление процессов, выполняемых в системе при программировании. Управление выполняемыми приложениями в рамках системы Windows. Свойства процессов в операционной системе. Описатель экземпляра процесса. Выполнение потоков при завершении процесса.
курсовая работа, добавлен 05.12.2014Рассмотрение неклассического лямбда-исчисления, основное назначение. Особенности системы вывода результатов. Характеристика программирования на языке Haskell. Знакомство со способами преобразования выражений в лямбда-исчислении. Анализ функций CONS.
курсовая работа, добавлен 05.04.2013Разработка специализированного программного обеспечения по системе документооборота, предназначенного для коллективной работы с документами в сетевой среде при объединении их в логические блоки обеспечивая системное архивное хранение и эффективный поиск.
дипломная работа, добавлен 30.08.2010Определение термина "лексема", понятие конструкции языка. Подготовка синтаксически правильной программы к исполнению на конкретном исполнителе. Методология императивного программирования. Основные языки программирования: Fortran, Pascal, ICON и др.
презентация, добавлен 06.09.2017Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Создание специализированных информационных систем на базе электронной вычислительной техники. Обоснование выбора среды программирования. Проектирование модели в BPWin. Разработка структуры таблиц базы данных и экранных форм. Логическое проектирование.
курсовая работа, добавлен 23.04.2014Программирование в ОС Windows. Базовые понятия оконных приложений и каркасного программирования в системе Microsoft Visual Studio C++. Состав, структура и функционирование типового каркаса оконного приложения. Схема описания, реализации главного окна.
методичка, добавлен 27.09.2017