Логическое программирование
Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.
Подобные документы
Изучение системы программирования MATLAB, как высокопроизводительного языка для технических расчетов, которая включает в себя вычисления, визуализацию и программирование в удобной среде, где задачи и решения выражаются в форме, близкой к математической.
курсовая работа, добавлен 07.04.2014Рассмотрение современного подхода к моделированию темпоральных (временных) рассуждений в интеллектуальных системах. Определение значения разработки компьютерных систем временных рассуждений. Ознакомление с алгоритмом создания нового ограничения.
статья, добавлен 17.01.2018Технологические механизмы, используемые в системе "1С: Предприятие" для описания специфических алгоритмов обработки информации и создания интерфейса. Определение наиболее существенных возможностей системы "1С: Предприятие". Типовые конфигурации системы.
реферат, добавлен 02.12.2015Представление графических данных в двоичном коде. Понятие и необходимость сжатия информации. Проблема обеспечения доступа к информации, хранение и манипулирование данными. Классификация и обзор языков программирования. Логическое программирование.
контрольная работа, добавлен 24.11.2014Закрепление и развитие теоретических знаний, полученных в процессе изучения дисциплины "Программирование экономических информационных систем". Развитие навыков разработки конфигураций в системе 1С:Предприятие. Угрозы и уязвимости на предприятии.
курсовая работа, добавлен 24.02.2019История развития языков программирования. Появление системы кодирования машинных команд с помощью специальных символов. Объектно-ориентированное программирование. Сущность инкапсуляции и полиморфизма. Типы данных в Delphi, свойства и методы объектов.
реферат, добавлен 12.09.2013Искусственный интеллект (интеллектуальная система) – это концепция, позволяющая компьютерам делать такие вещи, которые у людей выглядят разумно. Область применения: доказательства теорем, игры, распознавание образов, адаптивное программирование.
реферат, добавлен 26.02.2015Понятие интеллектуальной информационной системы, классификация и особенности ИИС. Методика когнитивного анализа сложных ситуаций. Моделирование процессов обработки информации для принятия решений. Формальные логические модели. Модели нейронных сетей.
лекция, добавлен 02.04.2012Языки программирования контроллеров PLC. Внедрение стандарта IEC 61131. Программирование с нечеткой логикой. Использование языков функциональных блоков, релейной логики, последовательных функциональных схем, инструкций и структурированного текста.
реферат, добавлен 25.11.2015Строения компиляторно-ориентированного языка программирования высокого уровня Prolog, его предназначение для программирования задач из области искусственного интеллекта. Разработка программы учёта книг по названию, автору, году выпуска, издательству.
контрольная работа, добавлен 09.05.2011Особенности языка логического программирования Visual Prolog, характеристики его нестандартных доменов и командного меню. Рекурсия и итерация в языке Пролог, обработка структур данных. Организация многооконного меню и основы работы с файловой системой.
лабораторная работа, добавлен 14.10.2014Современные направления научных исследований в области искусственного интеллекта. Экспертные системы автоматизированного синтеза оптимальных химико-технологических систем. Автоматизированные системы ситуационного управления магистральным транспортом газа.
курсовая работа, добавлен 15.12.2014Демонстрация метода реализации на Турбо Прологе - подхода к решению задач, записываемых с помощью логических переменных. Порядок выполнения программы в системе Visual Prolog 5.2. Составление логической системы уравнений и решение задачи о назначении.
лабораторная работа, добавлен 15.12.2011Характеристика основных языков программирования: языки низкого и высокого уровня программирования, Паскаль, Ассемблер, Си++, Бейсик, Рефал, Java. Основные способы реализации языков программирования. Машинно-ориентированные и машинно-независимые языки.
реферат, добавлен 17.12.2015Обоснование целесообразности разработки системы проведения мониторинга для "Ижводоканала": ее назначение и цели создания. Требования к техническому и программному обеспечению. Типовые проектные решения и пакеты прикладных программ, применяемые в системе.
курсовая работа, добавлен 26.06.2012Понятие и история разработки экспертных систем. Перспективы использования возможностей искусственного интеллекта для юриспруденции в России. Отображение фактов в юридической экспертной системе; кодирование информации на естественном языке в машинный вид.
контрольная работа, добавлен 06.05.2014Описание базовых вариантов программ на языках Паскаль в системы визуального программирования Delphi и С++ в системе визуального программирования C++ Builder, позволяющих рассчитывать дисперсионные зависимости и поля для различных ТЕ и ТМ мод волноводов.
статья, добавлен 06.11.2018Алгоритм, его определение, основные свойства, способы описания и построения. Виды алгоритмов: линейный, разветвляющийся, циклический. Языки и виды программирования: алгоритмическое или модульное, структурное, объектно-ориентированное программирование.
реферат, добавлен 02.04.2014Процесс разработки промышленной экспертной системы. Этапы автоматизации рутинных процедур обработки информации. Переход от прототипа к промышленной экспертной системе. Изучение реальных запросов пользователей. Рассмотрение концепции "быстрого прототипа".
лекция, добавлен 28.03.2020Использование библиотек Code Contracts, Contract++, PhpDeal, Cerny.js и jContractor для реализации принципов контрактного программирования. Применение аналитической иерархической процедуры Саати для проведения сравнительного анализа программных продуктов.
статья, добавлен 20.07.2018Характеристика накопителей на жестких, гибких магнитных и оптических дисках: логические и физические ошибки диска, ёмкость, поиск и устранение ошибок; фрагментация; программы проверки диска. Системы программирования: разновидности языков программирования.
контрольная работа, добавлен 07.05.2014История развития языков программирования. Их классификация: операционные, структурные, объектные и декларативные. Языки программирования низкого и высокого уровней. Виды трансляторов: компиляторы и интерпретаторы. Этапы разработки и отладки программ.
контрольная работа, добавлен 03.04.2013Логические операции: дизъюнкция, конъюнкция и отрицание. Описание логических операций таблицами истинности, отражающими результаты сложных высказываний. Логические основы компьютера и законы алгебры логики. Триггер как элемент памяти, схема RS-триггера.
курсовая работа, добавлен 07.01.2015Рассмотрение возможных связей в технической системе процесса поиска знания из определённой области информации. Бинарное дерево системы вопросов и ответов, реализующее выбор технологии оптимизации решаемой задачи из множества существующих методов.
статья, добавлен 12.05.2017- 75. Проектирование и разработка информационной системы учета путевых листов для ООО "ГрузТрансАвтоцентр"
Характеристика объекта исследования. Анализ уровня технической и программной оснащенности и требований к разрабатываемой ИС. Автоматизированные системы и языки программирования. Расчет себестоимости проектирования и разработки информационной системы.
дипломная работа, добавлен 26.05.2014