Представление знаний в информационных системах

Дизъюнкт, состоящий только из отрицательных литералов, называется

• термом
• правилом
• фактом
• вопросом

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

Установите соответствие между назначением смысла (семантики) утверждения и его типом

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

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

Объектная константа или объектная переменная — это

Процедура, автоматически запускаемая при выполнении некоторого условия, — это

Для применения метода резолюции правильно построенные функции должны быть переведены в клаузальную форму путем упрощения, а затем представлены в форме

Автоматически распределяя физическую память, ЭВМ формирует таблицу соответствий, в которой относительным или символьным адресам соответствуют физические

Один из основных способов структуризации данных при построении модели предметной области – это

Обстоятельства, затрудняющие применение критерия наиболее вероятного исхода:

• если наибольшая вероятность события недопустимо мала
• если несколько значений вероятностей возможного исхода равны между собой
• если наименьшая вероятность события недопустимо мала

Множество символов двух типов — объектные константы и предикатные константы с неотрицательным целым числом (арностью), назначенным каждой предикатной константе, — является предикатной

Решение, принятое только потому, что руководитель имеет ощущение того, что оно правильно, является

Предикатная вершина свободна от мультидуг, если число дуг, выходящих из одной и той же вершины и входящих в данную вершину, не больше ____ (ответ дать цифрой)

Метод, в котором допускается изменение одного параметра проекта изолированно от всех остальных, т. е. все остальные параметры проекта остаются неизменными, — это метод

• анализа чувствительности показателей эффективности проекта
• построения «дерева решений»
• теории игр
• сценариев

Зависимость между переменными, при которой изменение в одной или нескольких переменных влечет за собой изменение в других переменных, — это каузальное

Подраздел теории искусственного интеллекта, связанный с построением экспертных систем, — это инженерия

Поставьте в соответствие команде навигационного языка ее синтаксис

• переход к собственнику текущей записи в наборе
• DROP SCAN
• создание скана с указанным именем
• CREATE SCAN ON [MEMBER ]тип>тип>имя>
• удаление скана
• GET OWNER

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

Укажите соответствие между фактором, наличие которого говорит о том, что речь идет о знаниях, и его значением

• отношение релевантности для информационных единиц
• связанность
• установления отношений между информационными единицами
• «часть-целое», «род-вид», «элемент-класс»
• установление внешней структуры связей между информационными единицами
• ассоциативная связь

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

Процесс обратный агрегации – это пошаговая

Общий ход грамматического анализа путем вызова категорий правил и выполнения циклов до удовлетворения определенных критериев контролируют

Знания, описывающие объекты и процессы относительно целей решаемой задачи, являются

Связям между информационными единицами иерархической сети соответствуют

Логическая операция, которая по предикату строит высказывание, дающее количественную характеристику области истинности предиката, является

Между решеткой типов и решеткой множеств введено отношение

Для связи одного класса с другим используется отношение (набор английскими буквами)

Знания в системах искусственного интеллекта представлены на ___ уровнях

• физическом
• внутреннем
• внешнем

Байесовский критерий отражает не вероятность, а отношение вероятностей, и его значение колеблется от нуля до

Поставьте в соответствие типу нечетких множеств, используемых для оценок объектов (значений, функций принадлежности) в моделях, пример применения

• интервально-значные модели
• модель коэффициентов уверенности, вероятностная логика
• нечетко-значные модели
• лингвистическая модель в системе MILORD
• модели с числовым значением функции принадлежности
• теория свидетельств, теория возможностей, модель голосования

Поставьте в соответствие формуле исчисления предикатов ее тип

• формулы, истинные при всех интерпретациях
• невыполнимые формулы
• формулы, истинные только при некоторых интерпретациях
• выполнимые формулы
• формулы, ложные при всех интерпретациях
• общезначимые формулы

Укажите соответствие между типом предиката и его наименованием

• если на любом наборе аргументов предикат принимает значение 0
• выполнимый предикат
• если на любом наборе аргументов предикат принимает значение 1
• тождественно-истинный предикат
• если хотя бы на одном наборе аргументов предикат принимает значение 1
• тождественно-ложный предикат

Достоинства фреймовой модели — это

• наглядность представления
• использование значений слотов по умолчанию
• обработка исключений
• модульность

Части слота 1-ого уровня называют ячейками, а части ячеек

Поставьте в соответствие типу фрейма его наименование

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

Недостатки сетевых моделей представления знаний — это

• хранение информации о функциональных связях в явном виде
• высокая сложность и жесткость схемы БД
• трудность практической реализации в СУБД
• неприспособленность для создания распределенных БД

Фундаментальную эквивалентность понятий доказуемости и общезначимости устанавливает теорема

Форма, к которой необходимо привести антецеденты и консеквенты правил прежде чем приступать к их коррекции, является

Соглашения о скобках: если

• рядом стоят разные связки, то скобки расставляются согласно приоритетам: и
• опущены внешние скобки, то они не восстанавливаются
• рядом стоят две конъюнкции или дизъюнкции, то в скобки сначала заключается самая левая часть
• опущены внешние скобки, то они восстанавливаются

Зависимость между классом составных объектов и классами, представляющими компоненты этих объектов (отношение «целое»-«часть»), — это

Основные операции семантических сетей — это

• упрощение
• объединение
• копирование
• оптимизация

Левая сторона импликации – это

• конциквент
• квантор
• терм
• антецедент

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

• ? (знак вопроса)
• & (амперсанд)
• . (точка)
• ! (восклицательный знак)

Операция, позволяющая доказать, что если некоторому классу объектов присуще какое-либо свойство, то любой объект данного класса будет обладать этим свойством, является операцией

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

Последовательность битов или символов определенной длины, воспринимаемая памятью или устройством управления ЭВМ как единое целое и имеющая определенное смысловое содержание, — это машинное

Информационные единицы могут быть связаны

• каузальными отношениями
• аргументами-процедурами
• аргументами-функциями

Для введения кванторов в состав семантических сетей концептуального графа используются пропозициональные

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

Правила, определяющие, как меняются вариаторы в ходе грамматического анализа, — это правила