Формализация списков в метаязыке нормальных форм знаний
Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление элемента в список, удаление элемента, удаление повторов, принадлежность элемента сп...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2017 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126979 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формализация списков в метаязыке нормальных форм знаний / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2017. — № 10. — С. 18-27. — Бібліогр.: 8 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862544639946391552 |
|---|---|
| author | Кургаев, А.Ф. |
| author_facet | Кургаев, А.Ф. |
| citation_txt | Формализация списков в метаязыке нормальных форм знаний / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2017. — № 10. — С. 18-27. — Бібліогр.: 8 назв. — рос. |
| collection | DSpace DC |
| container_title | Доповіді НАН України |
| description | Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление элемента в список, удаление элемента, удаление повторов, принадлежность элемента списку, поиск последнего элемента списка, поиск соседних элементов списка, конкатенация списков, реверс и др.
Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен. Серед описаних
предикатів: додавання елемента в список, видалення елемента, видалення повторів, приналежність елемента списку, пошук останнього елемента списку, пошук сусідніх елементів списку, конкатенація списків, реверс й ін.
The formalization of list-based predicates in the meta-language of normal forms of knowledge is presented for the
first time, based on the known descriptions of these concepts in Prolog, which use a list-domain. Among the
predica tes described are the following: adding an element to the list, removing an element, removing duplicates,
checking if an element is in a list, finding the last element of a list, finding adjacent elements in a list, concatenation
of lists, re versing a list, etc.
|
| first_indexed | 2025-11-25T01:26:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-126979 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-11-25T01:26:22Z |
| publishDate | 2017 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Кургаев, А.Ф. 2017-12-07T16:28:01Z 2017-12-07T16:28:01Z 2017 Формализация списков в метаязыке нормальных форм знаний / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2017. — № 10. — С. 18-27. — Бібліогр.: 8 назв. — рос. 1025-6415 DOI: doi.org/10.15407/dopovidi2017.10.018 https://nasplib.isofts.kiev.ua/handle/123456789/126979 004.8 Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление элемента в список, удаление элемента, удаление повторов, принадлежность элемента списку, поиск последнего элемента списка, поиск соседних элементов списка, конкатенация списков, реверс и др. Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен. Серед описаних
 предикатів: додавання елемента в список, видалення елемента, видалення повторів, приналежність елемента списку, пошук останнього елемента списку, пошук сусідніх елементів списку, конкатенація списків, реверс й ін. The formalization of list-based predicates in the meta-language of normal forms of knowledge is presented for the
 first time, based on the known descriptions of these concepts in Prolog, which use a list-domain. Among the
 predica tes described are the following: adding an element to the list, removing an element, removing duplicates,
 checking if an element is in a list, finding the last element of a list, finding adjacent elements in a list, concatenation
 of lists, re versing a list, etc. ru Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика Формализация списков в метаязыке нормальных форм знаний Формалізація списків у метамові нормальних форм знань The formalization of lists in the metalanguage of normal forms of knowledge Article published earlier |
| spellingShingle | Формализация списков в метаязыке нормальных форм знаний Кургаев, А.Ф. Інформатика |
| title | Формализация списков в метаязыке нормальных форм знаний |
| title_alt | Формалізація списків у метамові нормальних форм знань The formalization of lists in the metalanguage of normal forms of knowledge |
| title_full | Формализация списков в метаязыке нормальных форм знаний |
| title_fullStr | Формализация списков в метаязыке нормальных форм знаний |
| title_full_unstemmed | Формализация списков в метаязыке нормальных форм знаний |
| title_short | Формализация списков в метаязыке нормальных форм знаний |
| title_sort | формализация списков в метаязыке нормальных форм знаний |
| topic | Інформатика |
| topic_facet | Інформатика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/126979 |
| work_keys_str_mv | AT kurgaevaf formalizaciâspiskovvmetaâzykenormalʹnyhformznanii AT kurgaevaf formalízacíâspiskívumetamovínormalʹnihformznanʹ AT kurgaevaf theformalizationoflistsinthemetalanguageofnormalformsofknowledge |