Презентация посвящена новейшим результатам в области формализации аристотелевской силлогистики, не требующим знаний сложной логики предикатов. Предложенным методом можно решать силлогизмы с любой семантикой категорических суждений и создать адекватную основу для систем искусственного интеллекта. Всем, кто проявит интерес к данной презентации, автор готов выслать совершенно бесплатно свою книгу "Дедукция в традиционных силлогистиках" Саратов, 2018 г.
Разместить материал
сразу
