Кургаев, А. Ф. Формализация списков в метаязыке нормальных форм знаний [Текст] / А. Ф. Кургаев> // Доповіді Національної академії наук України. - 2017. - № 10. - С. 18-27. - Библиогр. в конце ст. Рубрики: Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань Кл.слова (ненормовані): Список -- Предикат -- Рекурсия -- Лисп -- LISP Анотація: Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен. |