К вопросу построения альтернативной модели диалектической логики

[mp_gratchev]

.

автор М.П. Грачев
А вы ноктюрн сыграть могли бы на флейте водосточных труб?
(К вопросу построения альтернативной модели диалектической логики)

Comments

О системе не-аксиоматических рассуждений Пей Ванга

[mp_gratchev]

NARS ((Non-Axiomatic Reasoning System)) (1995) - система Искусственного ителлекта китайского логика Пей Ванга, основанная на представлениях об не-аксиоматических рассуждениях.

Логическим ядром системы выступает не-аксиоматическая логика (NAL). Отличительной особенностью NAL является "относительная рациональность", которую ИИ проявляет в процессах адаптации системы и, соответственно, работает с недостаточными знаниями и ресурсами.

Пей Ванг пытается уловить "законы мышления" (или закономерности правильного вывода) в естественном человеческом мышлении [For that purpose, it must also specify the "laws of thought" followed by the human beings (С этой целью, необходимо указать "законы мышления", которым следуют люди)]. Судя по текстам Пей Ванга, до закона Разрешенного противоречия не-аксиоматической логики наш автор пока не добрался.

У Пей Ванга NAL служит формальной моделью с перспективой ее реализации на компьютере. С момента первой публичной презентации NARS в 1995 г. и по сегодняшний день о такой реализации пока мало что слышно.

Автор полагает, что он находит и формулирует основные закономерности человеческого мышления, выходя за рамки аксиоматического метода математики и формальной логики на общем уровне. Но оставляет место для сомнений. Он задается вопросом: Является ли NAL логикой?

Свою логику (NAL) автор старается описать с помощью терминологии Классической формальной логики предикатов и аристотелевской силлогистики. Правда, ему всё-равно не удается избежать критики, что мол NAL - это не логика. Знакомая история.

На что автор и обращает внимание читателей своей книги: "In fact, NAL is so different from the other logics that some logicians are reluctant to consider it a "logic" " (Фактически NAL настолько отличается от других логик, что некоторые логики неохотно считают её "логикой").

--