Логическое программирование

Правила вывода произвольной формальной системы - это ...

(Отметьте один правильный вариант ответа.)

Варианты ответа

конечное множество отношений между символами алфавита системы

конечное множество отношений между формулами системы(Верный ответ)

бесконечное множество отношений между формулами системы

Похожие вопросы

Формулы произвольной формальной системы - это ...

Алфавит произвольной формальной системы - это ...

В левой части правила контекстно-свободной грамматики допускается:

Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:

При механизме обратного логического вывода в экспертных системах:

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

Механизм прямого логического вывода в экспертных системах является:

Механизм обратного логического вывода в экспертных системах является:

Как называется грамматика в классификации по Хомскому, если все правила имеют вид α → , где $\alpha \in N$ ?

В классической продукционной экспертной системе процесс логического вывода представляет собой: