Алгоритм резолюции в логике высказываний при 0-1-ном представлении дизъюнктов
Анализ автоматизации алгоритма резолюции в логике высказываний. Анализ представления дизъюнктов и матричной структуры представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования.
Подобные документы
Определение, свойства и исполнители алгоритма. Способы его описания: на естественном, специальном языках; в виде блок–схемы; табличное. Использование алгоритма для решения однотипных задач. Разбиение его на шаги. Алгоритм структуры "ветвление" и линейный.
презентация, добавлен 15.05.2013- 52. Алгоритмы. Алгоритмические структуры. Структура линейного, разветвленного и циклического алгоритма
Значение ветвления в современном программном обеспечении. Блок–схема выполнения алгоритма. Вспомогательный алгоритм, записанный на языке программирования. Ветвление if, if-else, if-elif-else, количество условий в них. Арифметический цикл while и do.
реферат, добавлен 28.10.2014 Общие сведения о графах. Реализация алгоритма Флойда. Графы и способы их представления. Пути и циклы в графах. Программная реализация алгоритма поиска кратчайшего пути между двумя любыми вершинами графа. Пример применения алгоритма Флойда на практике.
курсовая работа, добавлен 19.11.2011- 54. Задача о ящиках
Разработка алгоритма, перебирающего все расстановки и проверяемого нетривиальные условия. Алгоритм работы программы. Разбор алгоритма функции permutations. Описание используемых структур данных. Оценка сложности алгоритма. Инструкция для пользователя.
контрольная работа, добавлен 11.01.2020 Предложен формальный алгоритм построения полносвязной части нейросетевого классификатора. Описаны подходы к подбору гиперпараметров. При использовании данного алгоритма удалось снизить общее количество настраиваемых параметров полносвязной нейронной сети.
статья, добавлен 02.04.2019Анализ трудоемкости операций передачи данных. Методы логического представления топологии коммуникационной среды. Построение алгоритма маршрутизации. Организация взаимодействия раздельно функционирующих процессов. Эффективность параллельных вычислений.
лекция, добавлен 17.09.2013Блок-схема как форма представления алгоритма с помощью графических символов. Блок-схемы унифицированных структур, используемых при структурном кодировании. Выбор направления выполнения алгоритма или программы в зависимости от некоторых переменных условий.
реферат, добавлен 31.05.2010Разработка устройства сложения чисел с плавающей точкой с естественным адресом. Анализ видов чисел. Формы представления данных в ЭВМ. Алгоритм сложения чисел с плавающей точкой. Блок-схема алгоритма. Разработка микропрограммного устройства управления.
курсовая работа, добавлен 21.01.2022Использование унифицированной структуры программного представления конечного автомата. Моделирование поведения программы на стадиях разработки. Применение автоматической генерации кода по формальному описанию алгоритма. Нотация диаграмм состояний UML.
статья, добавлен 10.03.2018Анализ методики выбора оптимального метода нормализации при построении кластерной структуры объектов. Высокая размерность признакового пространства. Анализ модели системы кластеризации с использованием алгоритма нечеткой кластеризации fuzzy C-means.
статья, добавлен 01.03.2017- 61. Типы алгоритмов
Сущность понятия "линейный алгоритм" и его примеры. Особенности ветвления как формы организации действий. Примеры алгоритма, содержащего ветвление. Специфика циклического алгоритма. Алгоритм нахождения всех простых чисел до некоторого целого числа.
презентация, добавлен 06.05.2015 Проблемы теоретико-числовых алгоритмов. Алгоритм нахождения делителей многочлена в кольце. Алгоритм, доказывающий непростоту числа. Проверка большого числа на простоту. Практическая реализация алгоритма. Форма нахождения простых чисел и генерации ключей.
дипломная работа, добавлен 26.02.2020Рассмотрение вероятностной модели языка, основанной на грамматике связей и самообучающегося алгоритма, позволяющего устанавливать связи между словами в предложении. Перплексивность, сглаживание параметров, лингвистические ограничения. Качество модели.
статья, добавлен 17.01.2018Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.
курсовая работа, добавлен 05.05.2015Целевые функции и анализ существующих алгоритмов маршрутизации. Борьба с перегрузкой и постановка задачи маршрутизации. Разработка алгоритма маршрутизации трафика в MPLS-сети. Разработка алгоритма динамической маршрутизации на базе протокола OSPF.
курсовая работа, добавлен 12.12.2014Анализ современного состояния проблемы поиска кратных центров графа. Перспективы развития методов поиска кратчайших путей. Разработка алгоритма и обоснование выбора языка программирования. Экспериментальное исследование и тестирование программы.
реферат, добавлен 11.07.2011Описание заданной структуры данных или алгоритма, характеристика работы алгоритма. Анализ временной сложности алгоритма, определение отображаемых элементов, проектирование интерфейса. Специфика методики и результатов тестирования программного обеспечения.
курсовая работа, добавлен 21.03.2021Понятие и свойства алгоритмов: понятность, дискретность, массовость, конечность, однозначность, результативность. Способы представления алгоритмов: словесный, формульный, графический и табличный. Линейные, разветвляющиеся и циклические алгоритмы.
презентация, добавлен 22.10.2013Пример работы алгоритма обратного распространения ошибки. Функция активации сигмоидного типа. Геометрическая интерпретация алгоритма обратного распространения. Анализ условий и предпосылок для успешного обобщения. Механизм контрольной кросс-проверки.
презентация, добавлен 16.10.2013Изучение последовательного алгоритма Гаусса решения систем линейных уравнений. Программная реализация последовательного алгоритма Гаусса. Зависимость времени реализации алгоритма от размера матрицы. Вычисление эффективности параллельного алгоритма.
курсовая работа, добавлен 27.12.2019Обязательные и возможные составляющие структуры Android-приложения. Выбор инструментальных средств разработки, проектирование структур данных, алгоритмов и пользовательского интерфейса. Целостное представления о работе движка и связи его компонентов.
дипломная работа, добавлен 24.06.2018Разработка гибридного алгоритма поиска грифов с минимальным числом входных параметров для оптимизации сложных функций, меняющихся с течением времени. Исследование эффективности работы алгоритма и его сравнительный анализ с некоторыми другими алгоритмами.
статья, добавлен 14.05.2017Особенности структуры модели, которая имитирует работу беспроводной Wi-Fi сети и учитывает возможность вторжений, сбоев и помех с использование компьютерной программы Delphi. Проверка предложенных алгоритмов защиты модели, основанных на нечеткой логике.
статья, добавлен 29.01.2016Методы сбора, хранения и обработки информации. Топология физических связей и структуризация сети. Средства автоматизации и алгоритм задачи. Расчет издержек предприятия на разработку программного продукта и экономическая эффективность от его внедрения.
дипломная работа, добавлен 02.10.2015Пример непомеченного и неориентированного графа. Использование целых положительных чисел в качестве меток. Смежные вершины и ребра. Выбор соответствующих структурных данных для представления грифа в памяти компьютера. Разработка эффективных алгоритмов.
презентация, добавлен 26.09.2017