База ответов ИНТУИТ

Интеллектуальные робототехнические системы

<<- Назад к вопросам

Рассмотрим пример применения правила резолюции. Заданы утверждения:

  • кто может читать, тот грамотный;
  • дельфины не грамотны;
  • некоторые дельфины обладают интеллектом.
  • Требуется доказать: некоторые из тех, кто обладает интеллектом, не могут читать. Ниже приведены предложения утверждений, теорема и резольвенты. В какой строке допущена ошибка?

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

    Варианты ответа
    ¬Д(y) ∧ ¬Г(y)
    Ч(А)резольвента 4 и 5
    Г(А) резольвента 6 и 1
    Д(А) резольвента 7 и 2 (должно быть ¬Д(А))(Верный ответ)
    Д(А)
    ¬Ч(x) ∧ Г(x)
    И(А)
    NIL резольвента 8 и 3
    ¬И(x) ∧ Ч(z)
    Похожие вопросы
    Для предложения "Как ныне сбирается вещий Олег" произведен морфологический анализ. В какой строке допущена ошибка?

    Для предложения

    Как ныне сбирается вещий Олег

    произведен синтаксический анализ. В какой строке допущена ошибка?

    Для предложения

    Глокая куздра штеко будланула бокра

    произведен морфологический анализ. В какой строке допущена ошибка?

    Для предложения

    Как ныне сбирается вещий Олег

    произведен семантический анализ – создан лингвистический фрейм. В какой строке допущена ошибка?

    Для предложения

    Глокая куздра штеко будланула бокра

    произведен семантический анализ – создан лингвистический фрейм. В какой строке допущена ошибка?

    Для предложения

    В саду листки берез, без шороха срываясь, средь тонких паутин, как бабочки, блестят и, слабо по ветвям цепляясь и качаясь, на блеклую траву беспомощно летят (И.Бунин)

    произведен морфологический анализ. В какой строке допущена ошибка?

    Для предложения

    В саду листки берез, без шороха срываясь, средь тонких паутин, как бабочки, блестят и, слабо по ветвям цепляясь и качаясь, на блеклую траву беспомощно летят (И.Бунин)

    произведен синтаксический анализ. В какой строке допущена ошибка?

    Для предложения

    В саду листки берез, без шороха срываясь, средь тонких паутин, как бабочки, блестят и, слабо по ветвям цепляясь и качаясь, на блеклую траву беспомощно летят (И.Бунин)

    произведен семантический анализ – создан лингвистический фрейм. В какой строке допущена ошибка?

    Для предложения

    Глокая куздра штеко будланула бокра

    произведен синтаксический анализ. Где допущена ошибка?

    Рассмотрим пример доказательства по методу резолюций. Какая строка неверна?