Способ представления термов в логике предикатов первого порядка
Способ представления термов в логике предикатов первого порядка. Принципы алгоритма унификации, использующего данное представление. Разработка более производительного алгоритма унификации, чем алгоритм, предложенный Дж.Р. Вагин. Обзор его работы.
Подобные документы
- 76. Метод n-кратного понижения порядка лингвистических переменных на основе частного расширения базы
Методы обработки лингвистических переменных, базирующиеся на эталонных параметрических трапециевидных нечетких числах с различным количеством определяющих термов, формирование которых связано с привлечением экспертов соответствующей предметной области.
статья, добавлен 21.02.2017 Анализ заданной функции и разработка структурной схемы алгоритма по ее вычислению. Программирование отдельных блоков и структур алгоритма решаемой задачи. Полная программа в соответствии с алгоритмом. Анализ и оценка полученных результатов и расчетов.
курсовая работа, добавлен 09.03.2012Способ применения WiFi-модуля ESP8266, предназначенного для применения в "Интернете вещей", при разработке сложных алгоритмов управления, сборе экспериментальных данных. Использование систем компьютерной математики для моделирования работы алгоритма.
статья, добавлен 27.02.2019Характеристика модификации стандартного генетического алгоритма, особенности принципа его работы. Проверка работоспособности модифицированного алгоритма. Использование критериев Уилкоксона, Манна-Уитни и пакета статистической обработки данных Statistica.
статья, добавлен 19.01.2018Понятие машинного изображения числа как его представление в разрядной сетке ЭВМ. Характеристика основных форм представления: естественная и нормальная. Понятие кодов двоичных чисел и задачи мантисса. Алгоритм представления числа с плавающей запятой.
реферат, добавлен 08.12.2013Выбор инструментов разработки алгоритма шифровании DES. Описание структуры программы, процедур и функций. Разработка алгоритма симметрического шифрования в java. Описание назначения и условий применения программы. Составление руководства пользователя.
курсовая работа, добавлен 18.11.2017Рассмотрение основных понятий и определений мультимедийных технологий. Современные технические средства мультимедиа. Компьютерные программы для работы со звуковыми и видео файлами. Мультимедиа презентация как уникальный способ представления информации.
реферат, добавлен 09.03.2014- 83. Разработка и анализ алгоритма сортировки посредством выбора на основе разработки шаблона функции C++
Анализ существующих методов сортировки, обоснование результатов тестирования рассматриваемого алгоритма, исследование приоритетов данного алгоритма и методов его реализации, разработка шаблонов функций C++, сортировка данных посредством простого выбора.
курсовая работа, добавлен 13.06.2012 - 84. Разработка элементов интеллектуальных систем с использованием логической модели представления знаний
Основы логического программирования на примере Visual Prolog 5.2. Описание родственных связей с помощью правил и предикатов. Поиск с возвратом и рекурсия. Программа, реализующая авиасправочник. Решение логических задач на соответствие и поиска решения.
контрольная работа, добавлен 06.08.2013 Рассмотрение примеров использования алгоритма Кнута-Морриса-Пратта. Изучение алгоритма нахождения подслова в слове, доказательство ограниченного числа действий. Исследование алгоритма Бойера-Мура, его возможности, примеры использования и исключения.
задача, добавлен 16.01.2010Изучение работы нечеткой системы типа синглтон. Оценка работоспособности алгоритма идентификации рядом имитационных экспериментов с изменением параметров алгоритма. Сравнительный анализ полученных результатов с аналогами на примере муравьиной колонии.
статья, добавлен 18.01.2018Характеристика основных способов сжатия информации. Группы алгоритмов обратимого сжатия данных. Основная идея алгоритма Лемпеля-Зива. Особенности алгоритма LZ77 и LZ78. Модификации алгоритма, предложенные Т. Уэлчем. Основы процесса распаковки данных.
реферат, добавлен 15.10.2016Структура и содержание проекта первого национального стандарта для обеспечения интероперабельности в Грид-среде. JSDL – программный язык, используемый для описания требований представления индивидуальных задач. Описание соглашения о web-сервисах.
статья, добавлен 07.11.2018Разработка методов увеличения производительности алгоритма мультипликативного инвертирования в двоичном поле на основе расширенного алгоритма Эвклида. Применение модифицированного алгоритма инвертирования в программной реализации алгоритмов формирования.
статья, добавлен 23.02.2016Раскрытие понятия, свойств и исполнителя алгоритма. Ознакомление с историей происхождения термина. Рассмотрение сущности формального исполнения алгоритма и способов его описания, видов языков программирования. Приведение примера линейного алгоритма.
презентация, добавлен 15.10.2014Программная реализация алгоритма. Обработка текста с применением конечно-автоматной модели. Конечно-автоматная модель алгоритма решения задачи. Блок-схема алгоритма программы. Разработка функциональных кнопок для различных действий на языке Visual Basic.
контрольная работа, добавлен 24.03.2016Понятие алгоритма и сортировки массивов, основные способы и принципы их организации. Подходы к реализации алгоритма сортировки массива методом слияния, анализ его трудоемкости. Нахождение среднего времени работы сортировки с помощью данного приема.
курсовая работа, добавлен 13.10.2017Способы представления графов. Длина пути во взвешенном (связном) графе. Преимущества матрицы смежности. Достоинства программы "ProGraph". Алгоритм поиска кратчайших путей в графе – алгоритм Дейкстры, применимый для графов с неотрицательными весами.
презентация, добавлен 27.03.2011Оценка содержания курсовой работы по разделам, последовательности и порядка их выполнения. Анализ общих требований к оформлению. Обзор рекомендаций по организации работы, порядка защиты и ответственности студента за выполнение задания по курсовой работе.
методичка, добавлен 22.06.2022Алгоритм как процесс точного описания некоторого процесса, инструкция по его выполнению. Изобразительные средства для описания (представление) алгоритма. Принципы разработки алгоритмов и программ. Порядок создания и заполнения документа в MicrosoftExcel.
контрольная работа, добавлен 10.02.2022- 96. Алгоритм RSA
Анализ методов разработки криптографического алгоритма с открытым ключом основывающийся на вычислительной сложности задачи факторизации больших целых чисел (RSA). Изучение истории разработки алгоритма RSA. Алгоритм создания открытого и секретного ключей.
курсовая работа, добавлен 25.11.2019 Разработке алгоритма, позволяющего однозначно оценить развитие научного направления на основании построения прогнозных значений. Экспертная оценка вклада научного коллектива в развитие направления. Математическая модель алгоритма прогнозирования.
статья, добавлен 20.08.2018Результаты работы внешнего генетического алгоритма при выборе генетических операторов для оптимизации функций Розенброка и Растригина. Построение распределенной микропроцессорной системы. Хромосома внешнего алгоритма для поиска параметров внутреннего ГА.
статья, добавлен 18.01.2018Разработка устройства сложения чисел с плавающей точкой с естественным адресом. Анализ видов чисел. Формы представления данных в ЭВМ. Алгоритм сложения чисел с плавающей точкой. Блок-схема алгоритма. Разработка микропрограммного устройства управления.
курсовая работа, добавлен 21.01.2022Пример работы алгоритма обратного распространения ошибки. Функция активации сигмоидного типа. Геометрическая интерпретация алгоритма обратного распространения. Анализ условий и предпосылок для успешного обобщения. Механизм контрольной кросс-проверки.
презентация, добавлен 16.10.2013