Замечания по Русской логике

силлогистика классическая силлогистика искусственный интеллект Русская логика интегрированные формулы интегрированная логика

Первая крупнейшая морская поисковая операция российского флота, Еще раз об идеальном физическом объекте, ...

Актуальные проблемы современной науки, 6, 2012 Математическая логика, алгебра и теория чисел Лобанов В.И., кандидат технических наук, ведущий научный сотрудник ОАО «Концерн «Комета» ЗАМЕЧАНИЯ ПО РУССКОЙ ЛОГИКЕ Классическая силлогистика является интегрированной (обобщённой), т.е. такой, в которой многовариантное заключение заменяется каким-либо одним обобщённым, как правило частно-утвердительным или частно-отрицательным суждением. <...> Поскольку в классических силлогизмах не указываются количественные характеристики терминов и универсума, то такая силлогистика не представляет никакого интереса для искусственного интеллекта (ИИ) и является, по существу, безграмотной. <...> ИИ требует не интегрированного ответа, а абсолютно конкретных вариантов заключений, да ещё и с указанием вероятности каждого варианта. <...> Если рассмотреть аристотелевский квантор Ixy в трактовке Жергонна [1,стр. <...> Тем не менее в Русской логике (РЛ) можно выразить подобный квантор в виде интегрированной формулы для третьего базиса Ixy(3) = xy+i [2]. <...> Внимательный оппонент заметил отсутствие универсума в диаграммах Жергонна, но считает, используя математический аппарат РЛ, что Ixy(3) = xy+x'y'+i(xy'+x'y) или после минимизации по методам РЛ Ixy(3) = (xy)+i. <...> Это связано с тем, что оппонент не понял влияние универсума на аналитическое представление того или иного суждения. <...> Все правила посылок никуда не годятся: их все легко опровергнуть. <...> Калбертсон в своей книге «Математика и логика цифровых устройств» (М. <...> 125) утверждает: «В каждом правильном модусе число отрицательных посылок должно быть равно числу отрицательных заключений». <...> Чтобы получить правильные варианты заключений, достаточно использовать алгоритм ТВАТ [2]. <...> Пусть m=x=2, y=3, U=6, тогда мы получим по алгоритму ТВАТ решение, представленное на рисунке. <...> Эти два варианта заключения можно выразить интегрированной формулой: f(x,y) = x'+y+i = Ixy(9), которая ничего не даёт ни уму, ни сердцу, ни тем более искусственному интеллекту <...>

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