对智能科学逻辑基础研究的战略思考.pdf

对智能科学逻辑基础研究的战略思考幸 何华灿 何智涛 西北工业大学710072 北京航空航天大学100083 ．h．．．e．．．h．．．u．．．a．．c．．．．@．．．．．n．．．．w．．．．o．．．u．．．．．e．．．d．．．u．．．．．．c．—n— zhitaohe@vip．sina．com 摘要：本文介绍了“智能科学技术基础理论重大问题高层研讨会”制定的我国最近5．10年内需要特别关注 的25个重点研究课题，并就其中的“智能科学的逻辑基础”课题谈了～些作者的认识和思考：首先肯定了逻辑是 智能的基本科学问题；然后讨论了智能科学技术对逻辑学提出的需求，把这些需求归纳到一点就是实现数理逻 辑的柔性化；最后简单介绍了我们提出的实现数理逻辑柔性化的泛逻辑学研究纲要、它的实施情况及国际泛逻 辑学研究动态。希望能对我国的人工智能基础研究和现代逻辑研究有所启发和帮助。 关键词：人工智能基础泛逻辑学智能科学现代逻辑计算智能 Researchon Foundationof Science Strategic Logic Intelligence Hua．canHe Zhi．taoHe Northwestern 710072 100083 PolytechnicUniversity BeihangUniversity hehuac@nwpu．edu．cn zhitaohe@vip．sina．com focal in Abstract：25research attentionfuture5．10 areintroduced．whichwas topicsneedingparticular years drewin‘‘TheAdvanced on”FundamentalIssuesin up Workshop Scienceand this， Intelligence Tectmology”’．Above some and are inthe foundationof science’’whichis understandingthinkingemphasizedsubjectof‘logic intelligence first those affirmedat that isabasicissuein thendiSCUSSeSwhat amongtopics．Having logic intelligenceresearch，and demandsthat scienceand have forwardto a isto technology logic．Inword，theessentialrequirement intelligence put theflexibilityofthemathematical introducetheresearchoutlineofuniversal accomplish logic．Finally，webriefly we and ofresearchon logics