Зображення обкладинки

Формалізація представлення продукційних правил в Erlang

The article proposes a method of solving logical puzzles on the basis of machine learning. The method is designed for the preliminary formalization of tasks in the form of description of properties and relations between them. Because each property has a set of possible values, the solution of the pu...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2020
Автор:	Шаповалова, Світлана Ігорівна
Формат:	Стаття
Мова:	Українська
Опубліковано:	Kamianets-Podilskyi National Ivan Ohiienko University 2020
Онлайн доступ:	http://mcm-tech.kpnu.edu.ua/article/view/216500
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Mathematical and computer modelling. Series: Technical sciences

Репозитарії

Mathematical and computer modelling. Series: Technical sciences

Схожі ресурси

Формалізація та інформатизація юридичних знань на основі продукційних моделей та графів взаємодії суб’єктів юриспруденції
за авторством: Николайчук, Л.М., та інші
Опубліковано: (2008)

Formalization of the Rules of Inference in Erlang
за авторством: S. I. Shapovalova
Опубліковано: (2020)

Моделювання фрагмента простору станів для тестування евристичних стратегій пошуку
за авторством: Шаповалова, Світлана Ігорівна
Опубліковано: (2014)

Разработка поискового робота на Erlang
за авторством: Вавилин, И.А., та інші
Опубліковано: (2013)

The distribution of random evolution in Erlang semi-Markov media
за авторством: A. Pogorui
Опубліковано: (2011)

Multidimensional random motion with uniformly distributed changes of direction and Erlang steps
за авторством: Pogorui, A.O., та інші
Опубліковано: (2011)

Формалізація процесу створення геометричних моделей
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Формалізація операцій над інформаційними продуктами
за авторством: Вовк, О.Б.
Опубліковано: (2012)

Розв’язання логічних задач на основі машинного навчання
за авторством: Шаповалова, Світлана Ігорівна, та інші
Опубліковано: (2019)

МОДЕЛЬ АВТОМАТИЧНОЇ АДАПТАЦІЇ ДІАГНОСТИЧНОЇ НЕЙРОМЕРЕЖЕВОЇ СТРУКТУРИ ДО РОЗПІЗНАВАННЯ ВИПАДКОВИХ ОБ’ЄКТІВ ЗА УМОВ АПРІОРНОЇ НЕВИЗНАЧЕНОСТІ МНОЖИНИ КЛАСІВ
за авторством: Шараєвський, Георгій Ігорович, та інші
Опубліковано: (2009)

Інтегральне представлення розв’язку однієї крайової задачі без початкових умов
за авторством: Хохлова, Лариса Григорівна, та інші
Опубліковано: (2017)

Формалізація структур зберігання інформації в задачах індуктивного моделювання
за авторством: Щербакова, Н.В.
Опубліковано: (2009)

Представлення фрагментарних структур орієнтованими графами
за авторством: Кривцун, О.В.
Опубліковано: (2019)

Формалізація людського капіталу промислового підприємства в умовах інноваційного розвитку
за авторством: Акімова, О.В., та інші
Опубліковано: (2014)

ФОРМАЛІЗАЦІЯ ОПЕРАЦІЙ НАД ДЖЕРЕЛАМИ ДАНИХ У ПРОСТОРІ ДАНИХ
за авторством: Медиковський, М. О., та інші
Опубліковано: (2013)

Формалізація умов доцільності інституціонального бізнес-асоціювання промислових підприємств
за авторством: Болдир, Г.М.
Опубліковано: (2008)

Міфологічні персонажі — охоронці правил поведінки людей
за авторством: Боряк, О.
Опубліковано: (1993)

Кременчуччина: кордони представлення, історіографія та джерела
за авторством: Вирський, Д.
Опубліковано: (2007)

Формалізація вартісного виміру екосистемних активів (на прикладі водних ресурсів)
за авторством: Колмакова, В.
Опубліковано: (2021)

Нейронні мережі: Дослідження правил прийняття ними рішень
за авторством: Petrenko, Anatolii, та інші
Опубліковано: (2023)

Формирование правил базы знаний для функциональной системы
за авторством: Бурдаев, В.П.
Опубліковано: (2012)

Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, Майя Володимирівна
Опубліковано: (2015)

Формалізація процесу проектування обчислювальних пристроїв та систем на базі ПЛІС
за авторством: Опанасенко, В.М., та інші
Опубліковано: (2009)

ПРО ДЕЯКІ ЗАКОНОМІРНОСТІ ПРОДУКЦІЙНИХ ПРОЦЕСІВ У ПОПУЛЯЦІЯХ ЧОРНОМОРСЬКОЇ МІДІЇ (MYTILUS GALLOPROVINCIALIS LAM.), ВИРОЩУВАНОЇ НА РІЗНИХ ТИПАХ ШТУЧНИХ СУБСТРАТІВ
за авторством: Золотницький, О. П.
Опубліковано: (2023)

Методика построения решающих правил при многопараметровом неразрушающем контроле
за авторством: Гилева, О.А., та інші
Опубліковано: (2009)

Агрегация линейных регрессионных моделей и систем нечетких правил
за авторством: Нечуйвитер, С.Н.
Опубліковано: (2012)

Представлення журналів НАН України у світових наукометричних базах
за авторством: Діденко, Ю.В.
Опубліковано: (2011)

Формализация правил МППСС-72 в системе поддержки принятия решений судоводителя
за авторством: Бень, А.П.
Опубліковано: (2011)

Формалізація основних принципів взаємодії інвестора (кредитора) та позичальника (господарюючого суб’єкта)
за авторством: Соболевська, Л.І.
Опубліковано: (2009)

Моделі представлення ключових елементів в задачі покомпонентного розпізнавання символів тексту
за авторством: Kargin, A. A., та інші
Опубліковано: (2011)

ФОРМАЛІЗАЦІЯ ПРОЦЕСУ ОЦІНКИ ВПЛИВУ COVID-19 НА КОНКУРЕНТНІ РИНКИ ТА ЕКОНОМІКУ
за авторством: Chaplynska, N.M., та інші
Опубліковано: (2022)

Засіб статичного аналізу .NET програм за допомогою переписувальних правил
за авторством: Мамедов, Г.А., та інші
Опубліковано: (2020)

Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2012)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Javachecker: статический анализ программных комплексов с помощью переписывающих правил
за авторством: Шевченко, Р.
Опубліковано: (2004)

АСИМПТОТИЧНІ ПРЕДСТАВЛЕННЯ ГЕНЕРАТОРА СТРИБКОВОЇ ЕВОЛЮЦІЇ З ШВИДКИМИ МАРКОВСЬКИМИ ПЕРЕКЛЮЧЕННЯМИ
за авторством: Чабанюк, Ярослав Михайлович, та інші
Опубліковано: (2008)

Дослідження представлення багаточасткових графів за допомогою топологічного аналізу даних
за авторством: Яворський, О.А., та інші
Опубліковано: (2023)

Асимптотичні представлення генератора стрибкової еволюції з швидкими марковськими переключеннями
за авторством: Чабанюк, Я.М., та інші
Опубліковано: (2008)

Исследование валидности правил в системе поддержки принятия решений при управлении сбытом
за авторством: Сильнова, С.В., та інші
Опубліковано: (2009)

Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)