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