Достоинством продукционных правил является
(*ответ*) наглядность
адаптивность
гибкость
универсальность
Если pkn - предикатная буква, а t1,..., tn - термы, то pkn(t1,..., tn) является
(*ответ*) элементарной формулой
квантором
составной формулой
термом
Если А, В и С - некоторые высказывания, такие, что если В выводится из А, то В будет выводиться и из АС, то формальная система называется
(*ответ*) монотонной
неизбыточной
транзитивной
немонотонной
Если А, В и С - некоторые высказывания, такие, что если В выводится из А, но В выводится из АС, то формальная система называется
(*ответ*) немонотонной
неизбыточной
транзитивной
монотонной
Если не существует формулы А, такой, что А и A выводимы в S, то такая формальная система S называется
(*ответ*) непротиворечивой
типовой
разрешимой
тривиальной
Если не удается все решаемые задачи свести к фиксированному набору подзадач, то используется метод поиска
(*ответ*) нисходящего уточнения
"генерация-проверка"
редукции
факторизации пространства
Если при поиске методом "генерация-проверка" генератор генерирует каждое решение только один раз, то он называется
(*ответ*) неизбыточным
однопроходным
полностью определенным
полным
Если пространство разбивается на непересекающиеся подпространства частичными решениями, то оно называется
(*ответ*) факторизованным
эвристическим
матапространством
усеченным
Если стратегия может быть идентифицирована как отдельная сущность системы, то она задана
(*ответ*) явно
аналитически
концептуально
модульно
Если существует единая эффективная процедура, позволяющая узнать для любой данной формулы, существует ли ее вывод, то такая формальная теория называется
(*ответ*) разрешимой
типовой
непротиворечивой
тривиальной
Задача поиска в пространстве состояний состоит в
(*ответ*) определении последовательности операторов, преобразующей начальные состояния в конечные
получении частичного решения
определении метода, который будет применен на следующем шаге
решении совокупности образующих ее подзадач
Знания о том, какие знания нужны в той или иной конкретной ситуации, и умение ими распорядиться, называются
(*ответ*) метазнания
надстроечные
первичные
управляющие