Актуальные проблемы современной науки, № 4, 2010 Лобанов В.И., кандидат технических наук, ведущий научный сотрудник Центрального научно-исследовательского института «Комета» БАЗОВЫЕ СИЛЛОГИЗМЫ Создавая формальную логику, Аристотель надеялся все задачи силлогистики решить с помощью фигур и модусов. <...> Френсис Бэкон уже 400 лет тому назад понял, что это тупиковый путь. <...> Для современных математиков и логиков такая простая истина недоступна. <...> указал правильное направление в решении поставленной задачи. <...> Однако для искусственного интеллекта (ИИ) классические интегрированные заключения не имеют смысла [2]. <...> А всё-таки хотелось бы дать готовые шаблоны решения всех силлогизмов. <...> Определим вероятности заключений Axy и Ixy, для чего вначале посчитаем количество возможных вариантов для обще – и частноутвердительных суждений k(Amy), k(Axy), k(Ixy). <...> 126 Актуальные проблемы современной науки, № 4, 2010 Силлогизм вида M = ExmEym 1. <...> В этом случае определение вероятности в общем виде можно не производить, а возложить эту нудную операцию на метод Монте-Карло. <...> Кстати, здесь все задачи синтеза базовых силлогизмов можно переложить на ЭВМ, т. е. определять и характер вариантов заключений и их вероятностные оценки. <...> Автор не может утверждать, что исчерпал все базовые силлогизмы, но представлено достаточное количество примеров для того, чтобы все остальные случаи не вызывали затруднений в определении заключений любых силлогизмов и их вероятностных характеристик. <...> О способах решения логических равенств и об одном обратном способе математической логики. <...> // Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т. <...>