Лінійні логічні перетворення та їх застосування в штучному інтелекті

Знаходження ступеня лінійного логічного перетворення скінченних предикатів та предикатних операцій. Розв'язання задачі ідентифікації та оберненої задачі для лінійного логічного перетворення. Обчислення та побудова алгоритму лінійних логічних перетворень.

Подобные документы

  • Алгоритми стиснення та мікшування мовних сигналів, порівняльний аналіз комп’ютерних засобів перетворення форматів стиснених мовних сигналів та визначення областей їх використання. Моделі структур багатоканальних комп’ютерних засобів перетворення.

    автореферат, добавлен 26.07.2014

  • Формалізація знань про порушення правил руху повітряними судами. Оцінка і вибір методу розв'язання задачі розпізнавання ситуацій в повітрі при неповноті, суперечливості і невизначеності даних. Розробка програмного забезпечення для засобів автоматизації.

    статья, добавлен 14.07.2016

  • Метод структурно-алфавітного пошуку розв’язання задач комбінаторної оптимізації, який ґрунтується на розпізнаванні структури вхідної інформації, характеризується великою швидкодією і точністю знаходження оптимального результату. Підкласи розв’язних задач.

    статья, добавлен 23.02.2016

  • Розв’язання математичних задач за допомогою звичайних математичних формул та знаків, шляхом звернення до спеціальних функцій в системі Mathcad. Розгляд можливостей Mathcad на прикладі розв’язання транспортної задачі як моделі математичного програмування.

    статья, добавлен 19.09.2017

  • Розв'язання задачі ідентифікації музичного твору за коротким фрагментом. Методи пошуку найближчого шаблону 5с аудіофрагменту на основі kd-дерева, для спрощення обчислень. Обчислення відстані від фрагменту до заданої кількості найближчих центроїдів.

    статья, добавлен 23.12.2016

  • Метод структурно-алфавітного пошуку розв’язання задач комбінаторної оптимізації, який ґрунтується на розпізнаванні структури вхідної інформації та одному розв’язному випадку. Знаходження оптимального розв'язку методом структурно-алфавітного пошуку.

    статья, добавлен 23.02.2016

  • Дослідження властивості операцій геометричної різниці, суми, перетину, об’єднання для розмитих множин, дискретність ігрової задачі. Умови закінчення мінорантної та мажорантної нестаціонарної гри, попадання об’єкта за один крок на термінальну множину.

    автореферат, добавлен 15.07.2014

  • Етапи підготовки до розв'язання задачі на комп'ютері: вибір числового методу, розробка ефективного алгоритму рішення і побудова блок-схеми, складання та перевірка правильності програми, підрахунок і обробка результатів. Поняття алгоритмічної мови.

    курсовая работа, добавлен 08.12.2010

  • Дослідження важливих класів задач теорії конфліктно-керованих процесів. Аналіз методу пропорційної навігації для задачі зближення за участю двох гравців. Вивчення його зв’язку з методом розв’язуючих функцій і правилом екстремального прицілювання.

    автореферат, добавлен 26.08.2014

  • Актуальність шифрування зображень та іншої мультимедійної інформації у зв’язку із ростом обсягу інформації, що проходить через інтернет. Узагальнене перетворення пекаря, що є нелінійним перетворенням пікселів зображення, що зберігає початкові розміри.

    статья, добавлен 29.07.2016

  • Розв'язання компетентнісної задачі на прикладі задачі на створення навчального відео з курсу геометрії сьомого класу. Опис інструментів та механізму редагування. Програма Scratch як засіб створення відеофрагмента. Алгоритм вставлення зображень літер.

    презентация, добавлен 14.12.2018

  • Розробка програмного забезпечення на алгоритмічній мові TurboPascal 7.0 для здійснення арифметичних операцій з високою точністю для знаходження математичних констант: чисел e і π. Математичний опис і постановка задачі. Опис програмного забезпечення.

    курсовая работа, добавлен 12.09.2010

  • Підвищення якості обробки цифрової інформації на основі математичних моделей паралельно-ієрархічного (ПІ) перетворення. Визначення та прогнозування координат зображень плям лазерних пучків. Використання математичного аналізу та теорії часових рядів.

    автореферат, добавлен 14.09.2014

  • Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.

    статья, добавлен 27.07.2016

  • Аналіз сучасних методів розв’язання некоректних задач відновлення інформації і оптимізації. Постановка задачі відновлення інформації з використанням різних схем оптимізації. Аналітичні методи відновлення інформації на основі диференціальних перетворень.

    автореферат, добавлен 18.10.2013

  • Методи лінійного програмування. Розв'язання засобами комп'ютерних технологій економічних та інженерних задач, що моделюються сумісними системами лінійних алгебраїчних рівнянь та задач, що зводяться до транспортних моделей. Графічні можливості Mathcad.

    контрольная работа, добавлен 02.11.2019

  • Висловлювання — речення, яке містить твердження про зв'язки між об'єктами. Основні команди мови програмування, які використовуються для присвоєння певній змінній значення логічного виразу. Таблиця істинності для диз'юнкції двох логічних виразів.

    статья, добавлен 06.12.2018

  • Дослідження операцій обмеження і узагальнення понять. Операції над обсягами інформації як множинами. Логічні операції над поняттями. Опис та характеристика інформаційних даних. Структура логічного поділу інформації. Правила побудови дефініції поняття.

    реферат, добавлен 28.07.2017

  • Синтез операцій криптографічного перетворення. Забезпечення розробників криптоалгоритмів можливостями для побудови систем захисту інформації. Аналіз принципів, які покладені в основу структури алгоритму та вибору операцій криптоперетворення інформації.

    статья, добавлен 30.08.2016

  • Особливість підходу апроксимації області зондування в томографії білінійним сплайном. Використання білінійного сплайну для регуляризації розв’язку оберненої томографічної задачі. Розробка алгоритмів вирішення прямої та оберненої томографічних задач.

    статья, добавлен 23.02.2016

  • Рішення актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логічних мережах. Проектування засобів штучного інтелекту. Алгебрологічний метод роботи логічних мереж.

    автореферат, добавлен 28.08.2014

  • Розробка програмного забезпечення для розв’язку задачі математичного характеру. Опис предметної області та постановка задачі. Інформаційна структура моделі та алгоритму. Визначення функціональних частин програми. Інтерфейс та керівництво користувача.

    курсовая работа, добавлен 25.09.2017

  • Теоретичні основи, загальна постановка та економічна інтерпретація задачі про оптимальні призначення. Угорський метод розв’язування, метод Мака. Розв’язування задачі про призначення в середовищі MSExcel. Дослідження напрямів практичного застосування.

    курсовая работа, добавлен 08.05.2017

  • Алгоритм навчання класифікатора за незбалансованими неоднорідними навчальними вибірками в практичних задачах моніторингу мережевого трафіка. Розв’язання задачі ідентифікації зашифрованого мережевого трафіка на прикладі додатків VoIP, SSH та BitTorrent.

    статья, добавлен 13.01.2017

  • Рішення задачі лінійного програмування за допомогою двоїстого симплекс–методу. Поняття двоїстості в лінійному програмуванні. Аналіз першої та другої теореми подвійності. Сутність двоїстого симплекс метод та його алгоритм. Схема алгоритму подвійних задач.

    курсовая работа, добавлен 20.12.2008

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.