Формалізація представлення продукційних правил в Erlang
У статті запропоновано формалізацію представлення в Erlang продукційної моделі представлення знань та відповідне представлення продукційних правил, умовна частина яких відповідає логіці першого порядку. Метою роботи є створення функції Erlang, яка не тільки представляє в базі знань правило висновува...
Збережено в:
| Опубліковано в: : | Математичне та комп'ютерне моделювання. Серія: Технічні науки |
|---|---|
| Дата: | 2020 |
| Автор: | Шаповалова, С.І |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/181492 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Формалізація представлення продукційних правил в Erlang
за авторством: Шаповалова, Світлана Ігорівна
Опубліковано: (2020)
за авторством: Шаповалова, Світлана Ігорівна
Опубліковано: (2020)
Формалізація та інформатизація юридичних знань на основі продукційних моделей та графів взаємодії суб’єктів юриспруденції
за авторством: Николайчук, Л.М., та інші
Опубліковано: (2008)
за авторством: Николайчук, Л.М., та інші
Опубліковано: (2008)
Formalization of the Rules of Inference in Erlang
за авторством: S. I. Shapovalova
Опубліковано: (2020)
за авторством: S. I. Shapovalova
Опубліковано: (2020)
Разработка поискового робота на Erlang
за авторством: Вавилин, И.А., та інші
Опубліковано: (2013)
за авторством: Вавилин, И.А., та інші
Опубліковано: (2013)
The distribution of random evolution in Erlang semi-Markov media
за авторством: A. Pogorui
Опубліковано: (2011)
за авторством: A. Pogorui
Опубліковано: (2011)
Формалізація процесу створення геометричних моделей
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)
Multidimensional random motion with uniformly distributed changes of direction and Erlang steps
за авторством: Pogorui, A.O., та інші
Опубліковано: (2011)
за авторством: Pogorui, A.O., та інші
Опубліковано: (2011)
Multidimensional random motion with uniformly distributed changes of direction and Erlang steps
за авторством: Pogorui, A. О., та інші
Опубліковано: (2011)
за авторством: Pogorui, A. О., та інші
Опубліковано: (2011)
Формалізація операцій над інформаційними продуктами
за авторством: Вовк, О.Б.
Опубліковано: (2012)
за авторством: Вовк, О.Б.
Опубліковано: (2012)
Формалізація структур зберігання інформації в задачах індуктивного моделювання
за авторством: Щербакова, Н.В.
Опубліковано: (2009)
за авторством: Щербакова, Н.В.
Опубліковано: (2009)
Представлення фрагментарних структур орієнтованими графами
за авторством: Кривцун, О.В.
Опубліковано: (2019)
за авторством: Кривцун, О.В.
Опубліковано: (2019)
Формалізація людського капіталу промислового підприємства в умовах інноваційного розвитку
за авторством: Акімова, О.В., та інші
Опубліковано: (2014)
за авторством: Акімова, О.В., та інші
Опубліковано: (2014)
"Торгсин" та його представлення в музейних експозиціях
за авторством: Горох, М.
Опубліковано: (2010)
за авторством: Горох, М.
Опубліковано: (2010)
Формалізація вартісного виміру екосистемних активів соціально-територіальних спільнот
за авторством: Веклич, О.
Опубліковано: (2020)
за авторством: Веклич, О.
Опубліковано: (2020)
ФОРМАЛІЗАЦІЯ ОПЕРАЦІЙ НАД ДЖЕРЕЛАМИ ДАНИХ У ПРОСТОРІ ДАНИХ
за авторством: Медиковський, М. О., та інші
Опубліковано: (2013)
за авторством: Медиковський, М. О., та інші
Опубліковано: (2013)
Формалізація умов доцільності інституціонального бізнес-асоціювання промислових підприємств
за авторством: Болдир, Г.М.
Опубліковано: (2008)
за авторством: Болдир, Г.М.
Опубліковано: (2008)
Кременчуччина: кордони представлення, історіографія та джерела
за авторством: Вирський, Д.
Опубліковано: (2007)
за авторством: Вирський, Д.
Опубліковано: (2007)
Міфологічні персонажі — охоронці правил поведінки людей
за авторством: Боряк, О.
Опубліковано: (1993)
за авторством: Боряк, О.
Опубліковано: (1993)
Совершенствование правил расчета на усталость сварных конструкций
за авторством: Мэддокс, С.Дж.
Опубліковано: (2003)
за авторством: Мэддокс, С.Дж.
Опубліковано: (2003)
Формалізація адаптивного відображення задач у реконфігурованих обчислювальних системах на ПЛІС
за авторством: Клименко, І.А.
Опубліковано: (2016)
за авторством: Клименко, І.А.
Опубліковано: (2016)
Інтервальне представлення динаміки анаеробного мікробіологічного бродіння в біогазових установках
за авторством: Дивак, М.П., та інші
Опубліковано: (2014)
за авторством: Дивак, М.П., та інші
Опубліковано: (2014)
Формалізація вартісного виміру екосистемних активів (на прикладі водних ресурсів)
за авторством: Колмакова, В.
Опубліковано: (2021)
за авторством: Колмакова, В.
Опубліковано: (2021)
Формалізація та розв’язування одного типу задач маршрутизації БПЛА
за авторством: Гуляницький, Л.Ф., та інші
Опубліковано: (2018)
за авторством: Гуляницький, Л.Ф., та інші
Опубліковано: (2018)
Розмежування понять «спадкова трансмісія» та «спадкове представлення»
за авторством: Гончарова, А.
Опубліковано: (2009)
за авторством: Гончарова, А.
Опубліковано: (2009)
ПРО ДЕЯКІ ЗАКОНОМІРНОСТІ ПРОДУКЦІЙНИХ ПРОЦЕСІВ У ПОПУЛЯЦІЯХ ЧОРНОМОРСЬКОЇ МІДІЇ (MYTILUS GALLOPROVINCIALIS LAM.), ВИРОЩУВАНОЇ НА РІЗНИХ ТИПАХ ШТУЧНИХ СУБСТРАТІВ
за авторством: Золотницький, О. П.
Опубліковано: (2023)
за авторством: Золотницький, О. П.
Опубліковано: (2023)
Нейронні мережі: Дослідження правил прийняття ними рішень
за авторством: Petrenko, Anatolii, та інші
Опубліковано: (2023)
за авторством: Petrenko, Anatolii, та інші
Опубліковано: (2023)
Формалізація основних принципів взаємодії інвестора (кредитора) та позичальника (господарюючого суб’єкта)
за авторством: Соболевська, Л.І.
Опубліковано: (2009)
за авторством: Соболевська, Л.І.
Опубліковано: (2009)
Представлення, аналіз та видобування знань з неструктурованих природномовних текстів
за авторством: Гогерчак, Г.І., та інші
Опубліковано: (2021)
за авторством: Гогерчак, Г.І., та інші
Опубліковано: (2021)
Формирование правил базы знаний для функциональной системы
за авторством: Бурдаев, В.П.
Опубліковано: (2012)
за авторством: Бурдаев, В.П.
Опубліковано: (2012)
Агрегация линейных регрессионных моделей и систем нечетких правил
за авторством: Нечуйвитер, С.Н.
Опубліковано: (2012)
за авторством: Нечуйвитер, С.Н.
Опубліковано: (2012)
Формалізація процесу ефективного формування та розвитку бізнес-стратегії підприємства в умовах конкуренції
за авторством: Огліх, В.В., та інші
Опубліковано: (2008)
за авторством: Огліх, В.В., та інші
Опубліковано: (2008)
Методика построения решающих правил при многопараметровом неразрушающем контроле
за авторством: Гилева, О.А., та інші
Опубліковано: (2009)
за авторством: Гилева, О.А., та інші
Опубліковано: (2009)
Класифікаційні схеми як засіб представлення знань в електронних бібліотеках
за авторством: Лобузіна, К.В.
Опубліковано: (2006)
за авторством: Лобузіна, К.В.
Опубліковано: (2006)
Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, Майя Володимирівна
Опубліковано: (2015)
за авторством: Білокопитова, Майя Володимирівна
Опубліковано: (2015)
Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, М.В.
Опубліковано: (2015)
за авторством: Білокопитова, М.В.
Опубліковано: (2015)
Синтез нейро-нечетких сетей на основе ассоциативных правил
за авторством: Олейник, А.А., та інші
Опубліковано: (2014)
за авторством: Олейник, А.А., та інші
Опубліковано: (2014)
Формалізація процесу проектування обчислювальних пристроїв та систем на базі ПЛІС
за авторством: Опанасенко, В.М., та інші
Опубліковано: (2009)
за авторством: Опанасенко, В.М., та інші
Опубліковано: (2009)
Формалізація понять мовного образу та образного сенсу природно-мовних конструкцій
за авторством: Бісікало, О.В.
Опубліковано: (2012)
за авторством: Бісікало, О.В.
Опубліковано: (2012)
Асимптотичні представлення генератора стрибкової еволюції з швидкими марковськими переключеннями
за авторством: Чабанюк, Я.М., та інші
Опубліковано: (2008)
за авторством: Чабанюк, Я.М., та інші
Опубліковано: (2008)
Проблеми представлення експертних даних у системах підтримки прийняття рішень
за авторством: Каденко, С.В.
Опубліковано: (2016)
за авторством: Каденко, С.В.
Опубліковано: (2016)
Схожі ресурси
-
Формалізація представлення продукційних правил в Erlang
за авторством: Шаповалова, Світлана Ігорівна
Опубліковано: (2020) -
Формалізація та інформатизація юридичних знань на основі продукційних моделей та графів взаємодії суб’єктів юриспруденції
за авторством: Николайчук, Л.М., та інші
Опубліковано: (2008) -
Formalization of the Rules of Inference in Erlang
за авторством: S. I. Shapovalova
Опубліковано: (2020) -
Разработка поискового робота на Erlang
за авторством: Вавилин, И.А., та інші
Опубліковано: (2013) -
The distribution of random evolution in Erlang semi-Markov media
за авторством: A. Pogorui
Опубліковано: (2011)