Способ представления термов в логике предикатов первого порядка
Способ представления термов в логике предикатов первого порядка. Принципы алгоритма унификации, использующего данное представление. Разработка более производительного алгоритма унификации, чем алгоритм, предложенный Дж.Р. Вагин. Обзор его работы.
Подобные документы
Сущность линейного предсказания с мультикодовым управлением как алгоритма кодирования речи, первоначально предложенный М.Р. Шредером и Б.С. Аталом. Характеристика четырех идей алгоритма CELP. Процесс расширения полосы пропускания, искажение шумом.
реферат, добавлен 26.10.2014Анализ формирования представления у учащихся о понятии алгоритма, его свойствах, видах. Описания воспитания информационной культуры школьников. Обзор элементного состава и структуры связей графа-сети, дискретности, массовости и результативности действий.
разработка урока, добавлен 18.03.2012Общие сведения о графах. Реализация алгоритма Флойда. Графы и способы их представления. Пути и циклы в графах. Программная реализация алгоритма поиска кратчайшего пути между двумя любыми вершинами графа. Пример применения алгоритма Флойда на практике.
курсовая работа, добавлен 19.11.2011- 29. Исследование влияния параметров локализаци, регруппировки на эффективность работы алгоритма DMS-PSO
Анализ основ алгоритма PSO и его модификации DMS-PSO. Исследование влияния периода регруппировки и локализации на качество найденного решения алгоритмом DMS-PSO, а так же на надежность работы алгоритма. Разработка рекомендаций к использованию настроек.
статья, добавлен 18.01.2018 Анализ функции одной переменной. Дифференциальное уравнение первого порядка как уравнение, которое не содержит производных выше первого порядка от неизвестной функции. Способы построения декартова графика. Основные особенности программы Mathcad.
контрольная работа, добавлен 19.10.2012Понятие, сущность алгоритма в информатике и история происхождения термина. Виды алгоритмов и их структура: линейный, разветвляющий, циклический. Их использование в жизни. Способы представления алгоритма: словесный, формульный, табличный, графический.
презентация, добавлен 30.10.2016- 32. Методы и алгоритмы функционирования скважиного агента на основе технологии мультиагентных вычислений
Представление данных о ситуации на нефтепромысле в виде ориентированного информационного графа. Понятие скважинного агента. Разработка алгоритма формирования задачи, предназначенной для решения в GRID и алгоритма работы агента мультиагентного диспетчера.
статья, добавлен 05.02.2021 Основные свойства и формы представления алгоритмов. Наиболее часто употребляемые символы при графическом представлении, служебные слова и общий вид алгоритма. Характерная особенность и варианты базовых структур алгоритма: следование, ветвление, цикл.
контрольная работа, добавлен 27.09.2010Особенность изучения модифицированного метода Эйлера интегрирования дифференциальных уравнений первого порядка и способа достижения требуемой точности получаемого приближенного решения. Составление блок-схемы алгоритма вычисления поставленной задачи.
лабораторная работа, добавлен 11.02.2016Опыт и перспективы применения систем искусственного интеллекта для решения задач автоматизированного управления в нефтегазовой отрасли. Модели представления знаний (семантические сети, фреймы). Модель представления знаний на основе логики предикатов.
учебное пособие, добавлен 14.11.2013Основная идея алгоритма муравьиного алгоритма - моделирование поведения колонии муравьев. Разработка программы, реализующей модифицированную модель муравьиного алгоритма. Адаптация муравьиного алгоритма к различным графовым задачам, его эффективность.
статья, добавлен 19.01.2018Особенность хранения информации в реляционной базе данных. Проведение исследования возможности обмена динамической информационной модели с дисковой памятью. Характеристика основной обработки предикатов. Изучение главных механизмов унификации и отката.
презентация, добавлен 07.08.2017Понятие схемы алгоритма (блок-схемы) в программировании как графического представления программы или алгоритма с использованием стандартных графических элементов, обозначающих команды и действия. Пример использования оператора ветвления и задачи с циклом.
реферат, добавлен 12.01.2015- 39. Представление базовых сущностей парадигмы предельных обобщений с помощью алгебропредикатных структур
Разработка метода формального представления базовых сущностей парадигмы предельных обобщений: тестов, орграфов и системопаттернов. Правила пересчета между доменами разного уровня общности, с использованием математического аппарата алгебры предикатов.
автореферат, добавлен 30.01.2016 Главные особенности кривой Серпинского. Схема алгоритма главной процедуры построения кривых Серпинского I-го порядка на экране монитора. Составление листинга программы и руководства пользователя. Основные требования к системе и тестирование программы.
курсовая работа, добавлен 28.09.2013Исследование разработанного алгоритма решения основных задач искусственного интеллекта, допускающих формализацию в исчислении предикатов, с помощью модификации обратного метода Маслова. Особенности муравьиной тактики применения данного алгоритма.
статья, добавлен 15.01.2019Описание технологического процесса, понятие алгоритма и формы его представления. Адресный опрос датчиков. Проверка на наличие выбросов, критерий Смирнова. Фильтрация двух сигналов фильтром среднего арифметического. Описание алгоритма логическими схемами.
курсовая работа, добавлен 14.02.2016Алгоритм вычисления площади трапеции. Определение существования треугольника по двум углам. Алгоритм с использованием структуры "цикл с параметром". Способы представления алгоритмов. Линейная алгоритмическая конструкция. Понятие рекурсивного алгоритма.
контрольная работа, добавлен 27.03.2018Изучение муравьиного алгоритма для решения задачи коммивояжера, анализ влияния параметров алгоритма на время его выполнения. Постановка задачи коммивояжера. Муравьиный алгоритм. Псевдокод алгоритма. Средства реализации алгоритма. Листинг программы.
лабораторная работа, добавлен 12.06.2020Стандарт шифрования данных DES для защиты от несанкционированного доступа к информации в государственных и коммерческих организациях США. Особенности реализации алгоритма шифрования DES на языке Delphi. Разработка интерфейса программы и алгоритма работы.
курсовая работа, добавлен 16.09.2017Характеристика основных принципов представления информации в компьютере. Определение понятий кода и единицы информации. Описание способов и порядка кодирования текстовой, графической и звуковой информации и видов форматов представления видеоданных.
отчет по практике, добавлен 18.06.2015Обзор существующих методов для масштабирования изображений и выбор метода дающего наилучшее качество изображения. Разработка модификации алгоритма путем распараллеливания операций. Демонстрация работы с программой и оценка эффективности алгоритмов.
дипломная работа, добавлен 25.06.2017Методы биометрической идентификации и анатомические особенности отпечатков пальцев человека. Алгоритмы генерации искусственных биометрических образов. Разработка алгоритма генерации искусственных отпечатков пальцев, использующего преобразование Габора.
дипломная работа, добавлен 15.09.2015Блок-схема как форма представления алгоритма с помощью графических символов. Блок-схемы унифицированных структур, используемых при структурном кодировании. Выбор направления выполнения алгоритма или программы в зависимости от некоторых переменных условий.
реферат, добавлен 31.05.2010Приводятся результаты экспериментального исследования одного обратимого высокообъемного алгоритма сокрытия данных в зашифрованных изображениях с использованием MSB прогнозирования, который был разработан на основе алгоритма французских исследователей.
статья, добавлен 26.08.2021