База знаний интеллектуальной справочной системы по логике
Курсовой проект - Компьютеры, программирование
Другие курсовые по предмету Компьютеры, программирование
ичием механизма вывода .
. Способность системы после выдачи ответа "объяснить" ход её рассуждений, причем "по первому требованию".">Доказательство заключения . Способность системы после выдачи ответа "объяснить" ход её рассуждений, причем "по первому требованию".
., нестыковок в БЗ, контроль правильной организации БЗ.
. к проблемной области. Аналогична человеческой способности "набирать опыт".
2.1 Задачно-ориентированная спецификация базы знаний проектируемой интеллектуальной системы
Тестовый сборник вопросов
1. Сколько модусов в 1 фигуре силлогизма? (4 модуса)
. Из чего состоит силлогизм? (из двух посылок и одного заключения)
. К какой фигуре силлогизма принадлежит модус Ferio? (к 1 фигуре)
. Какие посылки включает модус Ferio? (большая - общеутвердительная, меньшая - частноутвердительная)
. Принадлежит ли модус Ferio и модус Barbara к одной фигуре силлогизма? (да, принадлежат)
. В чём разница между модусом Selarent и Barbara? (у модуса Barbara большая посылка общеутвердительная, а у Selarent - общеотрицательная. Вывод у Barbara общеутвердительный, у Selarent - общеотрицательный)
. Какие существуют синонимы у дизъюнкции? (логическая операция ИЛИ)
. В чём сходны модус Ferio и Barbara? (меньшая посылка является общеутвердительным суждением)
обоснования истинности )
. Что такое тезис? (то, что доказывается (какое-либо суждение, высказывание, утверждение))
. Каким бывает доказательство? (прямое подтверждение; косвенное подтверждение; прямое опровержение; косвенное опровержение)
. Какова цель аргументации? (принятие аудиторией выдвигаемых положений)
. Какая задача доказательства? (утвердить обоснованность доказываемого тезиса)
. Какое определение у модального высказывания? (это отдельный вид суждения, в котором отражается отношение и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных отношений)
. Какое правило для среднего термина? (средний термин должен быть распределён хотя бы в одной из посылок)
база интеллектуальная справочная система
16. Для чего используется аргументация? (для принятия аудиторией выдвигаемых тезисов)
. Какой посылки нет в модусе Ferio? (общеутвердительной)
. Зачем необходимо выполнять доказательство? (для подтверждения или опровержения тезиса)
. Как должен быть сформулирован тезис? (тезис должен быть сформулирован ясно и определенно)
. Чем ограничивается область истинности предиката? (квантором)
. Какова история термина силлогизм? (первый ввёл термин силлогизм Аристотель)
. Превышает ли количество модусов 1 фигуры кол-во модусов 2 фигуры? (нет, не правышает)
. Равное ли количество модусов у 1 фигуры и 2 фигуры силлогизма? (да, равное)
. Какие основные утверждения про 1 фигуру силлогизма? (меньшая посылка является утвердительной; большая посылка является общей.)
. Какая классификация простых атрибутивных суждений? (общие, общеотрицательные, частноутвердительные, частноотрицательные)
. Где используется "аксиомы классического исчисления"? (в логике предикатов)
. Когда конъюнкция истина? (когда оба входящих в конъюнкцию высказывания истинны)
. Когда конъюнкция ложна? (когда хотя бы одно из высказываний входящих в конъюнкцию ложно)
. Можно ли изменять тезис? (тезис должен оставаться неизменным на протяжении всего доказательства)
. Почему операцию дизъюнкция еще называют " логической операцией ИЛИ"? (по своему применению максимально приближённая к со