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

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

Нанесение металлических порошков на поверхности подшипников скольжения из цветных сплавов, Использование различных методов, форм и средств в воспитании молодежи, ...

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

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