Системы информационные /system of information

Стратегия управления выводом — совокупность правил, с помощью которых организуется выбор правил вывода в формальных системах или выбор продукций в системе продукций при поиске решения.

Ссылка анафорическая — способ связывания между собой двух предложений в тексте, когда в первом предложении называется лицо, объект, явление и т. п., а во втором

Составляющая знаний экстенсиональная — знания о предметной области, отражающие факты, закономерности, свойства и характеристики, типичные для конкретных ситуаций или классов однотипных ситуаций, которые могут возникнуть

Составляющая знаний интенсиональная — знания о предметной области, которые отражают факты, закономерности, свойства и характеристики, справедливые для любых конкретных ситуаций, которые могут возникнуть в этой

Сопоставление с образом — процедура сравнения фрагмента знаний или описания с эталоном-образцом. Входит в состав процедуры поиска по образцу в базах знаний и используется при

Следствие логическое — факт, полученный в процессе логического вывода в формальной системе. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов.

Слот — основная структурная единица фрейма. С. представляет собой пару: (атрибут (имя слота) — значение). В качестве значения могут выступать константные факты, выражения, содержащие переменные,

Система экспертная пустая — экспертная система, у которой база знаний пуста. При использовании С.ЭП. в некоторой предметной области пользователю необходимо произвести заполнение базы знаний либо

Система фреймов — множество фреймов, связанных между собой различными отношениями. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио

Система формальная — модель, лежащая в основе многих математических теорий. С.Ф. представляет собой четверку: множество базовых элементов синтаксические правила аксиомы правила вывода. [Толковый словарь по