Доброго времени суток!
Помогите с ответами (выделены)

 Изберите верное окончание следующего утверждения: В исчислении предикатов 1- ого порядка

    кванторами могут быть зв'язанні:
    Варианты ответа:
    1) константы;
    2) переменные;
    3) переменные и константы;
    4) функциональные выражения и переменные;

    Пусть существует следующая последовательность подстановок при унификации: {A/B, C/D}, {a/A, Z/Y},
3
    {c/C, Z/f(h)}. Которая будет композиция этих подстановок?
    Варианты ответа:
    1) {B/a, D/c, f(h)/Y}
    2) {a/B, C/D, Z/Y}
    3) {a/B, c/C, f(h)/Y}
    4) {a/B, C/D, f(h)/Y}

Выберите верное окончание следующего утверждения: В коммутативных системах продукции
7
     Варианты ответа:
     1) порядок применения правил продукции не имеет значения.
     2) некоторые правила из множества правил, которые могут примененные к глобальной исходной БД,
     могут быть примененные и к любой БД, полученной из исходной с помощью этих
     правил.
     3) если целевое условие удовлетворяется исходной БД, то она может удовлетворяться и
     некоторыми БД, полученными из нее с помощью некоторого правила системы продукции.
     4) БД, которая получена с глобальной БД с помощью правил из системы продукции чувствительная к
     порядку правил в системе продукции.

     Укажите содержание правила вывода универсальное инстанционирование:
8
     Варианты ответа:
     1) Из того, что предложение P и P->Q истинные логически вытекает, что предложение Q также истинное
     2) Из того, что предложение P->Q истинное, а Q - неверное логически вытекает, что предложение  P
        истинное.
     3) Из того, что предложение я P ? Q истинное логически вытекает, что предложение P и Q также
        истинные.
     4) Если a принадлежит к той же области определения, которое и Х и предложение ? Хр(Х) истинное, то
        предложение р(а) тоже истинное.


     Что с перечисленного не может быть термом исчисления предикатов:
11
     Варианты ответа:
     1) константы
     2) переменные
     3) функции
     4) предикаты


     Изберите верное окончание утверждения: Исчисление предикатов называется неразрешимым
12
     потому, что при определении истинности предложения исчисления предикатов возникают проблемы
     из-за того, что это предложение
     Варианты ответа:
     1) может содержать функцию;
     2) может содержать константу;
     3) может содержать сменную;
     4) может содержать сменную, связанную кванторами существования или всеобщности;
     5) выражение языком исчисления предикатов может содержать логические операции.


     Выберите верное окончание утверждения: Обоснованное правило вывода
13
     Варианты ответа:
     1) разрешает вывести из верного выражения исчисления предикатов новое верное выражение;
     2) разрешает вывести из верного выражения исчисления предикатов новое выражение, которое имеет смысл;
     3) разрешает вывести из верного выражения исчисления предикатов новое верное выражение, которое имеет
     смысл.

     Выберите верное утверждение относительно поведения сменных в языке Пролог:
14
     Варианты ответа:
     1) В языке Пролог возможно описывать сменные как локальные ( в правилах, или в целевом
     запросе), так и глобальные (область видимости - вся программа на Прологе).
     2) В языке Пролог сменная всегда зв'зана с каким-то значением.
     3) В языке Пролог сменные, которые являются аргументами правила, губят свои значения, когда
     используются в сложном запросе, который объединен логической операцией ; (или).
     4) Невозможно вывести на экран с помощью предиката wrіte сменную, которая есть незв'заною.
     5) Пролог не выводит на экран значения незв'заних сменных после выполнения целевого
     запроса (в разделе Goal).

     Выберите верное окончание следующего утверждения: Операции ограничения и объединение, которые
15
     используются для получения новых концептуальных графов:
     Варианты ответа:
     1) разрешают получать графы, которые имеют смысл, но не гарантируют, что с верного графу
     будет получен верный граф
     2) являются обоснованными правилами вывода.
     3) могут использоваться только для графов, которые не имеют маркеров понятий.
     4) обязательного нуждаются в выполнении операции упрощения над полученным графом.



Заране благодарен.