Разработка элементов интеллектуальных систем с использованием логической модели представления знаний
Основы логического программирования на примере Visual Prolog 5.2. Описание родственных связей с помощью правил и предикатов. Поиск с возвратом и рекурсия. Программа, реализующая авиасправочник. Решение логических задач на соответствие и поиска решения.
Подобные документы
Характеристика особенностей prolog, которая является языком, основанным на программировании логики. Ознакомление с интерфейсом Visual Prolog. Рассмотрение рабочего окна редактора. Исследование процесса разработки графического интерфейса пользователя.
методичка, добавлен 11.12.2015Проблемы интеллектуализации проектирования и эксплуатации информационных управляющих систем. Разработка логической модели данных. Система классификации типов связей. Алгоритм процедуры идентификации связей между сущностями распределенной базы данных.
статья, добавлен 19.06.2018Технология решения задач линейного программирования с помощью поиска решений в среде Excel. Виды общих задач оптимизации. Транспортная задача. Задания к лабораторной работе "Оптимизационные модели". Экономико-математическая модель задачи в символах.
методичка, добавлен 21.03.2013Общая постановка задачи линейного программирования. Задача об использовании ресурсов (задача планирования производства). Решение поставленной задачи с помощью программного пакета Excel. Анализ результатов расчетов и выработка управленческого решения.
курсовая работа, добавлен 01.02.2014Разработка и обоснование общей структуры базы знаний для представления семантики ценностно-ориентированных текстов. Формулировка правил построения формального описания по тексту на естественном языке. Описание алгоритмов поиска по ключевым словам.
автореферат, добавлен 27.09.2018Теоретические аспекты симплексного метода решения задач линейного программирования и характеристика его геометрического смысла. Функции в различных версиях Microsoft Office Excel, которые используются для поиска решения, и их практическое применение.
презентация, добавлен 24.11.2012Решение задачи с помощью линейного алгоритма в среде программирования Turbo Pascal. Структура данных: массивы, строки, записи. Прямая и косвенная рекурсия. Рекурсивные алгоритмы и бинарный поиск. Сортировка включением и разделением, организация списков.
курсовая работа, добавлен 07.07.2012Методики разработки интеллектуальных геоинформационных систем (ГИС): создание программного средства визуальной разработки и интерпретатора встроенного в объектную модель языка программирования SOML для управления ГИС-объектами из прикладных задач.
автореферат, добавлен 10.12.2013Изучение экстремальных задач и разработка методов их решения. Решение задач математического программирования, в которых все или некоторые переменные должны принимать только целочисленные значения. Приведение системы ограничений к каноническому виду.
статья, добавлен 29.04.2018Описание предметной области c использованием правил продукционной системы. Исследование семантической сети как одного из способов представления знаний. Особенность построения семантической сети. Разработка базы знаний на языке представления знаний.
статья, добавлен 17.02.2019- 61. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
статья, добавлен 08.03.2019 Теоретико-системное определение знаний. Понятие формализма и его разновидности. Исчисление предикатов первого порядка, их применение в различных системах и программная реализация. Решение задач при помощи нейронной сети. Объектное программирование.
презентация, добавлен 19.12.2013Метод ветвей и границ: пример задачи численного программирования. Общий алгоритм методов решения задач программирования. Описание программного продукта для решения задач разработанного на языке программирования С++, в среде разработке C++ Builder 6.0.
курсовая работа, добавлен 01.05.2015Математические основы решения задачи линейного программирования графическим способом. Математический аппарат и геометрическая интерпретация задачи. Этапы решения графического метода задач линейного программирования. Описание работы и текст программы.
курсовая работа, добавлен 23.11.2010Решение сложных интеллектуальных задач с помощью искусственных нейронных сетей. Автоматизация и гибридизация генетических алгоритмов аппарата нечеткой логики. Применения метода генетического программирования в селекции и репродукции новых пород деревьев.
статья, добавлен 18.01.2018Разработка системы агентного имитационного моделирования для решения задач в сферах экономики и социологии. Описание и задание поведения отдельных агентов с помощью DSL и средств инженерии знаний на примере экспертных систем на платформе .NET и языке C#.
статья, добавлен 26.04.2019История создания и развития языка Prolog, первая его реализация с использованием компилятора Никлауса Вирта "Algol-W". Сферы использования языка, его применение при решении задач составления сложных расписаний. Синтаксис и константы Пролог-системы.
реферат, добавлен 16.12.2015Подсистема приобретения знаний. Программная компонента экспертных систем, реализующая процесс ее рассуждений на основе базы знаний и рабочего множества. Прямой и обратный порядок вывода. Истинность или ложность факта, входящего в условие правила.
лекция, добавлен 16.10.2013Характеристика и сущность простых алгоритмов поиска и упорядочения элементов в графе. Выбор и содержание программирования, преимущества языка Pascal. Особенности поиска в ширину и в глубину, способы улучшения простых методов и описание алгоритма.
курсовая работа, добавлен 28.04.2011Описание логики работы разрабатываемого устройства на основе программируемых логических интегральных схем. Описание функционирования арифметико-логического устройства с помощью языка VerilogHDL. Анализ структуры программы, ее тела и принципа работы.
курсовая работа, добавлен 09.06.2014- 71. Представление бинарных предикатов информационной системы с помощью свободного предикатного параметра
Решение задачи представления предикатов в параметрической форме с использованием свободного предикатного параметра. Использование общих видов описываемых классов для более детального исследования специфики определенных отношений в информационной системе.
статья, добавлен 14.07.2016 Устройство и принцип работы программируемого логического контроллера модели МКП-1. Наименование и краткое описание основных частей контроллера. Рабочий цикл и формальное описание алгоритма управления. Особенность примера составления логических уравнений.
курсовая работа, добавлен 18.01.2015Задачи линейного математического программирования. Построение базовой аналитической модели. Обоснование вычислительной процедуры. Решение задачи оптимизации на базе симплекс-метода. Анализ модели на чувствительность. Примеры решения оптимизационных задач.
курсовая работа, добавлен 15.06.2020- 74. Решение вычислительных задач в объективно-ориентированной среде визуального программирования Delph
Разработка программы для решения 5-ти задач в интегрированной среде объективно-ориентированного программирования визуальной программы Delphi. Процедура, вызываемая при нажатии на кнопку расчета чисел. Результат вычисления при некорректных данных.
курсовая работа, добавлен 26.09.2017 Изучение проблемы поиска новых решений в специализированной оболочке для построения интеллектуальных систем автоматизированного проектирования. Описание специфики процесса поиска новых решений, связанны с используемой моделью автоматизированной системы.
статья, добавлен 16.01.2018