О системе не-аксиоматических рассуждений Пэй Ванга
категория: Логика. Informal Logic.
автор М.П. Грачев.
О системе не-аксиоматических рассуждений китайского логика Пэй Ванга
(первые впечатления)
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 (Non-Axiomatic Logic) у Пэй Ванга служит формальной моделью с перспективой ее реализации на компьютере. С момента первой публичной презентации 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 настолько отличается от других логик, что некоторые логики неохотно считают её "логикой").
Пэй Ванг настаивает, что его не-аксиоматическая логика в большей степени отвечает понятию "логика" чем, скажем, математическая логика, ибо назначение последней - это доказательства теорем, но в повседневных рассуждениях бесполезна. Он пишет:
"Furthermore, NAL is an attempt to formalize valid inference observed in human thinking process. In this sense, I believe it is an even better instance of the category "logic" than mathematical logic, since the latter is primarily about theorem proving in mathematics than about ordinary reasoning in everyday situations" [Кроме того, NAL-это попытка формализовать действительный вывод, наблюдаемый в процессе человеческого мышления. В этом смысле я считаю, что это еще лучший пример категории "логика", чем математическая логика, поскольку последняя в первую очередь связана с доказательством теоремы в математике, чем с обычным рассуждением в повседневных ситуациях].
Литература
Wang,P. Non-Axiomatic Logic: A Model Of Intelligent Reasoning Paperback - May 6, 2013
--
Грачев Михаил Петрович.
Москва, 20 октября 2019 г.
автор М.П. Грачев.
О системе не-аксиоматических рассуждений китайского логика Пэй Ванга
(первые впечатления)
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 (Non-Axiomatic Logic) у Пэй Ванга служит формальной моделью с перспективой ее реализации на компьютере. С момента первой публичной презентации 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 настолько отличается от других логик, что некоторые логики неохотно считают её "логикой").
Пэй Ванг настаивает, что его не-аксиоматическая логика в большей степени отвечает понятию "логика" чем, скажем, математическая логика, ибо назначение последней - это доказательства теорем, но в повседневных рассуждениях бесполезна. Он пишет:
"Furthermore, NAL is an attempt to formalize valid inference observed in human thinking process. In this sense, I believe it is an even better instance of the category "logic" than mathematical logic, since the latter is primarily about theorem proving in mathematics than about ordinary reasoning in everyday situations" [Кроме того, NAL-это попытка формализовать действительный вывод, наблюдаемый в процессе человеческого мышления. В этом смысле я считаю, что это еще лучший пример категории "логика", чем математическая логика, поскольку последняя в первую очередь связана с доказательством теоремы в математике, чем с обычным рассуждением в повседневных ситуациях].
Литература
Wang,P. Non-Axiomatic Logic: A Model Of Intelligent Reasoning Paperback - May 6, 2013
--
Грачев Михаил Петрович.
Москва, 20 октября 2019 г.