Анализ рассуждений

программы для моделирования анализ рассуждений логика матлогика вероятностная логика силлогизмы логические задачи диаграммы Лобанова Лобанова диаграммы

Рациональная аргументация и вопросы веры: возможна ли нравственность, независимая от религии?, Обеспечение безопасной добычи нефти и газа на морских и шельфовых месторождениях, ...

Актуальные проблемы современной науки, 5, 2012 ЕСТЕСТВЕННЫЕ НАУКИ Физико-математические науки Математика Математическая логика, алгебра и теория чисел Лобанов В.И., кандидат технических наук, доцент, ведущий научный сотрудник ОАО «Концерн «Комета» АНАЛИЗ РАССУЖДЕНИЙ Матлогики и логики-гуманитарии давно мечтают переложить работу по синтезу и анализу силлогизмов и соритов на плечи персональных компьютеров (ПК). <...> Для иллюстрации работы данной программы приводится ПРИМЕР 1 анализа сорита с тремя посылками. <...> В работе [2] утверждается, что грамотным решение задачи по анализу и синтезу силлогизмов и соритов с многовариантным заключением (многовариантный силлогизм или сорит) может быть лишь при условии задания количественных характеристик всех терминов, входящих в силлогизм или в сорит. <...> ПРИМЕР 1 Кулика является типичным многовариантным соритом, но не содержит никаких количественных характеристик. <...> Следовательно, постановка задачи безграмотна, а при такой постановке нельзя получить корректное заключение. <...> 104 Актуальные проблемы современной науки, 5, 2012 Введём произвольные количественные характеристики, не нарушающие условия исходных посылок, в задачу Кулика. <...> 250] будет выглядеть так: Из диаграммы Лобанова видно, что заключение силлогизма четырёхвариантно. <...> Отсюда же можно вывести все соотношения для любой пары аргументов. <...> Для классического многовариантного силлогизма без указания количественных характеристик, тоже можно найти хотя бы одно приемлемое решение. <...> Опишем алгоритм синтеза заключения при отсутствии количественных характеристик терминов. <...> Алгоритм «Русь» (синтез заключения при отсутствии количественных характеристик терминов) <...> Получить М, полную единицу системы, как логическое произведение всех посылок. <...> Представить полученную M в виде сокращённой таблицы истинности только для единичных (рабочих) наборов. <...> Для классического одновариантного силлогизма, т.е. с одним единственным заключением <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт