陆汝钤(1935年2月15日-),男,出生于上海,祖籍江苏苏州,计算机科学家,中国科学院院士[1] [2],中国科学院数学与系统科学研究院数学研究所研究员,复旦大学教授,博士生导师,苏州大学“图灵班”咨询委员会主任。[5][7]
1959年,陆汝钤毕业于德国耶拿大学数学系,获学士学位,[2]之后他进入中国科学院数学研究所工作,先后担任副研究员、研究员、博士生导师。1987年,陆汝钤担任中国科学院数学研究所副所长,1991年,他担任中国科学院数学研究所学术委员会主任;1999年当选中国科学院院士。[6] 陆汝钤于2000年受聘复旦大学,任复旦大学计算机学院教授。2002年至2003年,他任复旦大学智能信息处理开放实验室主任。[4]2003年,他获得华罗庚数学奖,[8]2004年起,他任复旦大学上海市智能信息处理重点实验室学术委员会主任。[4]2018年获得吴文俊人工智能最高成就奖。[9]
陆汝钤主要从事人工智能、知识工程和基于知识的软件工程领域研究,并在这些领域作了系统的、创造性的工作,是中国人工智能领域的开拓者和先驱之一。[2][6]陆汝钤在知识工程方面取得系统性创新成就,特别是在全过程动画自动生成、软件自动生成、少儿图灵测试、知件、大知识特征刻画等方面取得多项被国际公认具有创新性的领先成果。他把数学中黎曼曲面的思想引进PETRI网论,建立了多层PETRI网模型,他首次把异构型DAI和机器辩论引进人工智能领域,还研究出了能把中文童话故事自动转换成动画片的计算机动画全过程自动生成技术[6]。陆汝钤发表论文两百余篇,撰写和主编出版著作十余部。[10]除吴文俊人工智能最高成就奖以外,陆汝钤还曾获得全国科学大会先进集体奖、中科院重大成果一等奖、中国科学院科技进步一等奖、国家科技进步二等奖、华罗庚数学奖和中国计算机学会终身成就奖等诸多奖项。[10]
早年经历
陆汝钤,1935年出生于上海,祖籍江苏苏州。他是家中长子、长孙。在他4岁时,母亲就开始教他认字。后来为了给他凑学费,母亲还变卖了自己的婚床。[11]1942年,他7岁时随祖父母回到苏州凤凰街陆家老宅。1952年,陆汝钤高中毕业。1953年作为新中国第一批公派留德学生出国留学,先在莱比锡大学学习德语,一年后的1954年进入耶拿大学数学系。1959年,陆汝钤毕业于德国耶拿大学数学系,获学士学位。[1]

工作经历
1959年留学归国后,陆汝钤进入中国科学院数学研究所工作。[6]1972年,中科院数学所成立计算站,迎来了第一台电子计算机。陆汝钤受命维护这台机器的主要软件Algol60编译程序,为用户答题,查错释义,不仅改正了原程序的一些bugs,还扩充其功能,最后达到约16000条指令。[12][13]1975年,他和两名同事共同发起了一项“XR计划”,联络业内同行合作研究高级语言开发和移植软件系统。他们约定可以免费使用彼此单位的计算机,使所开发的软件实现“一机实现,万机共享”。[11]这一计划推动了当时国产机软件缺乏问题的解决。[14]该成果获中科院1983年重大成果一等奖。[12]
1978年起,陆汝钤任中科院数学研究所副研究员。[6]同年,他获得全国科学大会先进集体奖。[11]1979年,他受邀参加在吉林长春举办的“计算机科学暑期讨论会”,会上在王湘浩的发言中第一次了解到“人工智能”的概念,这成为推动陆汝钤从事人工智能工作的转折点。[15]之后的1980年,陆汝钤首次从国外学者的报告中了解到‘知识工程’这一研究方向。[12]随后,陆汝钤于1981年发表了自己的首篇人工智能文章。[13]1983年起,陆汝钤开始担任研究员。同年,他获得中国科学院重大成果一等奖。[4]1984年起,陆汝钤开始担任博士生导师。[6]同年,陆汝钤主持研制了知识工程语言TUILI,该语言实现后应用于气象台天气预报等领域。[12][16]1987年,陆汝钤接受了一项国家“七五”攻关任务——设计和开发专家系统开发环境,研制出大型专家系统开发环境“天马”,应用于国防和经济等20多个领域,取得了重要的经济和社会效益。[11][13]1988年,陆汝钤被评为国家级有突出贡献的中青年专家,[10]1987年至1990年,他担任中科院数学研究所副所长。[6]

1991年,陆汝钤被聘为国际人工智能联合会议(IJCAI)顾问委员会委员,是最早得到国际AI社区认可的中国学者之一。[11]1991年至1994年任中科院数学研究所学术委员会主任。[4]1992年,他获得中科院科技进步一等奖。[4]1993年,他又获得了国家科技进步二等奖。[4]1995年,陆汝钤主持研究了一套全过程计算机辅助动画生成技术,这套系统被命名为“天鹅”,其特点是从受限自然语言理解开始,把中文童话故事自动转换成动画片,使计算机模拟脚本改编,电影导演和摄影师的功能,在艺术创造领域内发展了人工智能技术。[11][14]
他还在原有研究的基础上进一步把类自然语言理解与软件工程中的领域分析、领域建模结合起来,促进管理软件开发的自动化,并使企业管理人员能够直接介入软件的开发和维护。[13]在此基础上,他主持开发了“天鹰”“天蜂”“天凤”“天使”等多类系统的自动生成软件,应用于信息管理、计算机辅助教学、口腔护理等多个领域。[11]
英国《AI WATCH》杂志曾用整整一页篇幅发表评论说,陆汝钤的研究成果是他们所见到的“以领域知识库支持主流软件开发的第一例”,“很有可能发展为可实用的工业工具”,并就此提出:“是欧洲的人工智能软件工业界与中国的人工智能界建立联系的时候了”。[13]
1999年陆汝钤当选为中科院院士。[6]2000年他加盟复旦大学,任复旦大学计算机学院教授。2002年至2003年任复旦大学智能信息处理开放实验室主任。[4]2003年,陆汝钤获得中国数学界的最高荣誉奖项“华罗庚数学奖”,[8]2004年起担任复旦大学上海市智能信息处理重点实验室学术委员会主任。[4]2008年3月起,他被聘为北京大学信息科学技术学院教授。[3]2014年,他获得中国计算机学会(CCF)颁发的“CCF终身成就奖”。[11]陆汝钤从2016年开始研究“大知识”,并于2018年正式发文,通过分析一组从大数据获取海量知识的实例首次给出了大知识、大知识系统和大知识工程及其生命周期的定义和判别准则。接着又组织研发了大知识系统实例《天猿》大知识图谱支撑平台作为大知识系统的模型。[12][16]2018年,他获得首届“吴文俊人工智能最高成就奖”。[9]
在2018年他被授予吴文俊人工智能最高成就奖后,谈到他所取得的成就,他曾在采访中说:“有种惶恐的感觉。最近收到很多朋友、学生的祝贺,但我也在反思。我自己确实有不足的地方,这不是客气话。有不少研究工作没有产生实际的经济或社会效益。”他表示自己有一些创新性的设想和思路没有得到坚持,并说:“这是我很大的一个问题。”[17]在另一次采访中,他对记者表示:“不瞒你说,我觉得自己有点落后了,必须赶上。如今,我和团队正积极探索将互联网、大数据、深度学习技术与知识工程相结合,这样知识工程才能焕发新的活力。”[13]在2023年,他又入选了2023“环球人物年度人物”。[18]

科研成就
陆汝钤在知识工程和基于知识的软件工程方面作了系统的、创造性的工作,是中国该领域研究的开拓者之一。[2][6]
陆汝钤把数学中黎曼曲面的思想引进PETRI网论,建立了多层PETRI网模型,为发展中国的数学与理论计算机科学事业作出了突出贡献而享誉国内外数学界。[4]他设计并主持研制知识工程语言TUILI系统和大型专家系统开发环境《天马》。首次把异构型DAI和机器辩论引进人工智能领域。研制出基于类自然语言理解的知识自动获取方法,把ICAI生成技术推进到以自动知识获取为特征的第三代,并开发出基于知识的应用软件自动生成技术。研究出能把中文童话故事自动转换成动画片的计算机动画全过程自动生成技术,在艺术创造领域内推进了人工智能。[6]
陆汝钤在知识工程方面取得系统性创新成就,特别是在全过程动画自动生成、软件自动生成、少儿图灵测试、知件、大知识特征刻画等方面取得多项被国际公认具有创新性的领先成果。[10]
主要项目
时间项目名称项目类别1998-2001年常识性知识的实用研究国家自然科学基金重点项目[4]1996-1997年软件新工具和新技术研究国家攻关项目[4]1996-1997年智能软件工具的概念模型研究国家攻关项目[4]1987-1991年专家系统开发环境国家攻关项目[12]
科研奖项
学术报告
| 时间 | 报告名称 | 报告地点 |
|---|---|---|
| 2024年3月14日 | 基于知识的计算机动画自动生成 | 中国传媒大学研究生院[19] |
| 2023年8月4日 | 大数据·大知识·大智能 | 第二十二届中国计算语言学大会[20] |
| 2022年11月5日 | 从大数据到大知识——个人视角 | “重庆市大数据智能化、实验场所、人才高地、科技高地”建设高峰论坛[21] |
| 2020年10月27日 | 走向理论人工智能 | 中国人工智能逻辑及可信智能系统学术报告会 |
| 2020年11月 | 发展知识图谱支撑平台研究 | 2020全国知识图谱与语义计算大会[22] |
| 2016年5月23日 | 超大规模知识工程 | 苏州大学计算机科学与技术学院软件学院[23] |
| 2016年5月12日 | 计算机动画的自动生成 | 中国科技信息研究所[24] |
| 2016年5月19日 | 基于知识的编导计算:走向海量并行和海量编程 | 南财论坛[25] |
| 2014年5月14日 | 基于互联网的现代知识服务业 | 贵州大学计算机科学与技术学院[26] |
| 2010年4月25日 | 知件与知件工程 | 西华讲堂院士报告会[27] |
| 2006年9月19日 | 图灵测试——计算机有智能吗? | 科学与中国”院士专家巡讲团报告会[28] |
| 1979年7月23日到30日 | 软件移植的工程实现 | 中国电子学会计算机学会计算机科学暑期讨论会[29] |
学术交流
1985年,陆汝钤作为中国科学院AI学科的高级访问学者前往美国,在3个月的时间里先后走访了10所高校和数家知名企业,对他有很大收获。[11]自1989年至今,他多次应邀赴美国、德国、英国、法国等多所大学研究院讲学和交流。[26]
学术论文
| 时间 | 作者 | 名称 | 期刊 |
|---|---|---|---|
| 2022年 | 陆汝钤 | 从大数据到大知识 | 重庆邮电大学学报(自然科学版)[30] |
| 2021年 | Ruqian Lu, Chaoqun Fei, Chuanqing Wang, Yu Huang, Songmao Zhang | YABKO-Yet Another Big Knowledge Organization | ICBK 2021[31] |
| 2021年 | Ruqian Lu, Shuhan Zhang | PSpan: Mining Frequent Subnets of Petri Nets | CoRR abs/2101[32] |
| 2021年 | Ruqian Lu, Shuhan Zhang | BigCarl: Mining frequent subnets from a single large Petri net | CoRR abs/2103[33] |
| 2020年 | Ruqian Lu, Chaoqun Fei, Chuanqing Wang, Shunfeng Gao, Han Qiu, Songmao Zhang, Cungen Cao | HAPE: A programmable big knowledge graph platform | Inf. Sci. 509[34] |
| 2020年 | Ruqian Lu, Shengluan Hou | On semi-supervised multiple representation behavior learning | J. Comput. Sci. 46[35] |
| 2020年 | Ruqian Lu, Chuanqing Wang, Xikun Huang, Songmao Zhang | B-SPARQL: A typed language for Querying the Big Knowledge | ICKG 2020[36] |
| 2019年 | Ruqian Lu, Xiaolong Jin, Songmao Zhang, Meikang Qiu, Xindong Wu | A Study on Big Knowledge and Its Engineering Issues | IEEE Trans. Knowl. Data Eng. 31(9)[37] |
| 2019年 | Ruqian Lu, Shengluan Hou, Chuanqing Wang, Yu Huang, Chaoqun Fei, Songmao Zhang | Attributed Rhetorical Structure Grammar for Domain Text Summarization | CoRR abs/1909[38] |
| 2019年 | Ruqian Lu, Shengluan Hou | On Semi-Supervised Multiple Representation Behavior Learning | CoRR abs/1910[39] |
| 2016年 | Ruqian Lu | A peep at knowledge science in a categorical prospect | Frontiers Comput. Sci. 10(5)[40] |
| 2018年 | 陆汝钤 | 自然语言理解和机器智能 | 语言战略研究[41] |
| 2014年 | 陆汝钤 | 关于cyber词根的中译名 | 中国科技术语[42] |
| 2012年 | Ruqian Lu | Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Animated computing changes the way and style of computer application | COMPSAC 2012[43] |
| 2012年 | Ruqian Lu | KACTL: Knowware Based Automated Construction of a Treelike Library from Web Documents | WISM 2012[44] |
| 2012年 | 陆汝钤,张松懋 | 计算机动画自动生成--回顾和展望 | 第四届中国Agent理论与应用学术会议[45] |
| 2010年 | Ruqian Lu | Object-oriented knowware programming and its abstract inheritance semantics | ISKE 2010[46] |
| 2010年 | Ruqian Lu | Pseudo natural language vs. controlled natural language | IUCS 2010[47] |
| 2010年 | Ruqian Lu | Process Algebra as Abstract Data Types | CoRR abs/1001[48] |
| 2009年 | Ruqian Lu | Text Mining by Pseudo-Natural Language Understanding | Encyclopedia of Data Warehousing and Mining 2009[49] |
| 2008年 | Ruqian Lu | Knowware: A Commodity Form of Knowledge | RSKT 2008[50] |
| 2008年 | 陆汝钤 | 少儿图灵测试和常识处理 | 重庆邮电大学学报(自然科学版)[51] |
| 2008年 | 陆汝钤,韦梓楚,张松懋,郑红,刘冷宁,刘红阁 | 图灵测试——机器是否有智能 | 创新科技[52] |
| 2008年 | 陆汝钤,金芝 | 从基于知识的软件工程到基于知件的软件工程 | 中国科学E辑[53] |
| 2007年 | Ruqian Lu, Zhi-Hua Zhou | Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China | Comput. J. 50(4)[54] |
| 2007年 | Ruqian Lu, Caiyan Jia, Shaofang Zhang, Lusheng Chen, Hongyu Zhang | An Exact Data Mining Method for Finding Center Strings and All Their Instances | IEEE Trans. Knowl. Data Eng. 19(4)[55] |
| 2007年 | Ruqian Lu | Knowware: the third star after Hardware and Software | CoRR abs/0711[56] |
| 2006年 | Ruqian Lu, Daniel Dajun Zeng, Fei-Yue Wang | AI Research in China: 50 Years down the Road | IEEE Intell. Syst. 21(3)[57] |
| 2006年 | Ruqian Lu, Zhi Jin | Beyond Knowledge Engineering | J. Comput. Sci. Technol. 21(5)[58] |
| 2006年 | Ruqian Lu | Towards a Software/Knowware Co-engineering | KSEM 2006[59] |
| 2005年 | Ruqian Lu | From Hardware to Software to Knowware: IT's Third Liberation? | IEEE Intell. Syst. 20(2)[60] |
| 2005年 | Ruqian Lu | Towards a Mathematical Theory of Knowledge | J. Comput. Sci. Technol. 20(6)[61] |
| 2005年 | Ruqian Lu, Hongge Liu, Songmao Zhang, Zhi Jin, Zichu Wei | Some Cognitive Aspects of a Turing Test for Children | Cognitive Systems 2005[62] |
| 2004年 | 陆汝钤,张松懋 | 少儿图灵测试回顾 | 软件学报[63] |
| 2003年 | Ruqian Lu, Zhi Jin | Automating application software generation | Expert Syst. J. Knowl. Eng. 20(2)[64] |
| 2002年 | 陆汝钤,张松懋 | 从故事到动画片——全过程计算机辅助动画自动生成 | 自动化学报[65] |
| 2002年 | 陆汝钤,张文妍 | 广义L系统 | 中国科学E辑[66] |
| 2002年 | Ruqian Lu, Zhi Jin | Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing | J. Comput. Sci. Technol. 17(5) |
| 2000年 | 陆汝钤,石纯一,张松懋,毛希平,徐晋晖,杨萍,范路 | 面向Agent的常识知识库 | 中国科学E辑[67] |
| 2000年 | 陆汝钤,金芝,陈刚 | 面向本体的需求分析 | 软件学报[68] |
| 2000年 | 陆汝钤 | 知识科学及其研究前沿 | 中国科技奖励[69] |
| 1998年 | 陆汝钤,金芝,刘璘,蒋爱军,赖辉旻 | 客户/服务器风格的体系结构描述语言NEWCOM | 计算机学报[70] |
| 1998年 | 陆汝钤,应明生 | 知识推理的一个模型 | 中国科学E辑[71] |
| 1997年 | Ruqian Lu, Han Ke, Yinghao Ma, Zhang Weyan, Wang Wenbiao | Intelligent VR Training | EPIA 1997[72] |
| 1995年 | Ruqian Lu, Zhi Jin, Ronglin Wan | Requirement Specification in Pseudo-Natural Language in PROMIS | COMPSAC 1995[73] |
| 1993年 | Ruqian Lu | A True Concurrency Model of CCS Semantics | Theor. Comput. Sci. 113(2)[74] |
| 1991年 | 陆汝钤 | P/R网和进程(Ⅱ) | 中国科学A辑[75] |
| 1991年 | 陆汝钤 | P/R网和进程(Ⅰ) | 中国科学A辑[75] |
| 1990年 | 陆汝钤 | 关于专家系统开发工具的几个问题 | 计算机工程[76] |
| 1989年 | Ruqian Lu, Liu Yinghui, Xiaobin Li | Computer-Aided Grammar Acquisition in the Chinese Understanding System CUSAGA | IJCAI 1989[77] |
出版著作
陆汝钤发表论文两百余篇,撰写和主编出版著作十余部。其中两卷本《人工智能》在中国国内有较大影响,被许多高校用为教材。[10]
社会职务
| 时间 | 任职单位 | 职务 |
|---|---|---|
| 1991年 | 国际人工智能联合会议(IJCAI)顾问委员会 | 委员[15] |
| 1991年至1994年 | 中科院数学研究所学术委员会 | 主任[4] |
| - | 复旦大学上海智能信息处理重点办公室学术委员会 | 主任[86] |
| - | 中科院管理、决策和信息系统重点实验室学术委员会 | 副主任[87] |
| - | 中国人工智能学会人工智能逻辑专委会(筹) | 荣誉主任[88] |
| - | 苏州大学“图灵班”咨询委员会 | 主任[5] |
| - | 复旦大学智能信息处理开放实验室 | 主任[4] |
| - | CCF会刊《软件学报》 | 执行主编[89] |
| - | CCF会刊《软件学报》编委会 | 资深编委[90] |
| - | 全国名词委计算机术语审定委员会 | 主任[91] |
| - | CCF名称审定工委 | 顾问[89] |
| - | 可信软件理论研究组 | 学术带头人[92] |
人才培养
陆汝钤曾用文字鼓励年轻的科研工作者:“致投身科学的年轻勇士们:敢为人先,百折不回。探索未知,创造未来。乐以青春换明天,埋头一生终不悔。科学虽无垠,潇洒走一回”。[1]
在一次采访中,陆汝钤说:“很多优秀的科学人才正在涌现”。“但相当一部分年轻人,还不太习惯独立思考,不太习惯走自己的路,总是满足于在别人的工作上做一点改进”。“在人家的基础上做改进的人,已经太多了。我前不久还跟我以前的学生聊天,谈到我们应该有学术自信,不要老跟在别人后面”。“但学术自信也不是盲目自信,它的前提是——你要有做出正确判断的基本素养。具体到人工智能领域,那就是,你需要判断出什么事情是计算机在原则上能做到的,而什么是在可见的将来做不到的。只要大的方向正确,就可以尽情放飞想象力”。[17]对此,陆汝钤还曾进一步说:“我的建议是,要放开想象力,敢于去做别人没有想到的事情,走别人没有走过的路。就像我最赞同的,爱因斯坦说过的一句话——想象力比知识更重要。”[13]

另一次采访中,他谈到:“在AI领域,就应该做别人没做甚至别人没想到的东西。我对学生也这样要求,有时候学生有畏难情绪,说这个东西没人做过。我说如果人家都做了,还要你干吗?就是要敢走别人没走过的路,敢走自己的路”。在他带出的人工智能方向的学生中,如曹存根、张松懋等学者,今天已是中国AI领域的中流砥柱。[11]
荣誉奖项
人物评价
陆汝钤为中国计算机事业的发展做出了卓越贡献。(2014年中国计算机学会终身成就奖评)[89]
作为我国人工智能和知识工程领域的开拓者之一,陆汝钤首次把异构型DAI和机器辩论引进人工智能领域。他还研究出能把中文童话故事自动转换成动画片的计算机动画全过程自动生成技术,写下了“艺术和科学相遇”的美好篇章。(人民网评)[93]
他们(指陆汝钤与其学生张松懋)利用人工智能制作动画的原创性和巧妙构思令人感兴趣。(德国《人工智能》杂志评)[12]
我们能够让计算机不仅仅是作为实现动画的工具,而且还能够积极参与从自然语言文本开始直到最后动画完成的整个过程,甚至充当一个完全自动的导演吗?两个中国人,陆汝钤和张松懋,成功地做到了这一点。(法国信息科学和技术学会评)[12]
建国以来,特别是科普作协成立以来成绩突出的科普作家。(第三和第四次中国科普作协代表大会评)[10]
他为科学付出最大的热情和好奇,在耄耋之年也能够以饱满的精力激励着他去探索,在他的精神世界中畅游。(陆汝钤女儿孔晓军评)[1]
参考资料 93
- 媒界 | 人工智能领域的开拓者陆汝钤:想象力比知识更重要 — 复旦大学
- 信息技术科学部——中国科学院学部与院士 — 中国科学院学部
- 陆汝钤 — 北京大学校史馆
- 科研主页 — 中国科学院数学与系统科学研究院
- 计算机科学与技术学院“图灵班”导师介绍? — 苏州大学计算机科学与技术学院软件学院
- 陆汝钤 研究员(院士) — 中国科学院计算技术研究所
- 陆汝钤 — 北京工业大学研究生招生网
- 石钟慈、陆汝钤院士获“华罗庚数学奖” — 中国科学院
- 陆汝钤获首个吴文俊人工智能最高成就奖 — 中国新闻网
- 陆汝钤院士荣获首届吴文俊人工智能最高成就奖 — 中国科学院管理、决策与信息系统重点实验室
- “AI老顽童”的44年——专访中国人工智能开拓者之一陆汝钤院士 — 人民网
- 人工智能领域的耕耘者 — 人与事?中国科学院数学与系统科学研究院科学家故事专栏
- 想象力比知识更重要——专访首届吴文俊人工智能最高成就奖得主陆汝钤 — 光明网
- 中国科学院院士 陆汝钤 — 高科技与产业化
- 院士登台,一个场景打动所有人 — 环球人物网
- 享受做科研的快乐——专访中国科学院院士陆汝钤 — 科学网
- 【科技日报】陆汝钤:就算在荒野,也能踏出路来 — 中国科学院学部
- 光明网:“聚力·奋发2024”环球人物年度盛典举办 我院陆汝钤院士入选2023“环球人物年度人物” — 中国科学院数学与系统科学院
- 对话院士: 研究生院特邀中国科学院陆汝钤院士开展研究生人工智能前沿讲座 — 中国传媒大学研究生院
- 特邀报告 — CCL 2023
- “信息技术发展处于最好的历史机遇期”——听院士讲网络强国、大知识、智能网联、人工智能 — 华龙网
- 特邀报告 — 2020全国知识图谱与语义计算大会
- 陆汝钤院士一行来我院指导 — 苏州大学计算机科学与技术学院软件学院
- 陆汝钤院士应邀到中国科技信息研究所做报告 — 湖南省科学技术厅
- 中科院院士陆汝钤等专家来我校指导工作 — 南京财经大学校报
- 陆汝钤院士、陆维明教授莅临我院做学术报告 — 贵州省先进计算与医疗信息服务工程实验室
- 校庆院士论坛:中国科学院院士陆汝钤莅临我校作学术报告 — 西华大学
- 走进科学院,感受数学之美! — 中国科普博览
- 中国的“达特茅斯会议”-36氪 — 36氪
- 从大数据到大知识 — CNKI中国知网
- YABKO-Yet Another Big Knowledge Organization — IEEE Xplore
- PSpan:Mining Frequent Subnets of Petri Nets — Cornell University
- BigCarl: Mining frequent subnets from a single large Petri net — Cornell University
- HAPE: A programmable big knowledge graph platform — ScienceDirect
- On semi-supervised multiple representation behavior learning — ScienceDirect
- B-SPARQL: A typed language for Querying the Big Knowledge — IEEE Xplore
- A Study on Big Knowledge and Its Engineering Issues — IEEE Xplore
- Attributed Rhetorical Structure Grammar for Domain Text Summarization — Cornell University
- On Semi-Supervised Multiple Representation Behavior Learnin — Cornell University
- A peep at knowledge science in a categorical prospect — springerlink
- 自然语言理解和机器智能 — CNKI中国知网
- 关于cyber词根的中译名 — 万方数据
- Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Animated computing changes the way and style of computer application — IEEE Xplore
- KACTL: Knowware Based Automated Construction of a Treelike Library from Web Documents — springerlink
- 计算机动画自动生成--回顾和展望 — 万方数据
- Object-oriented knowware programming and its abstract inheritance semantics — IEEE Xplore
- Pseudo natural language vs. controlled natural language — IEEE Xplore
- Process Algebra as Abstract Data Types — Cornell University
- Text Mining by Pseudo-Natural Language Understanding — IGI Global
- Knowware: A Commodity Form of Knowledge — springerlink
- 少儿图灵测试和常识处理 — 万方数据
- 图灵测试——机器是否有智能 — 万方数据
- 从基于知识的软件工程到基于知件的软件工程 — 万方数据
- Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China — OXFORD ACADEMIC
- An Exact Data Mining Method for Finding Center Strings and All Their Instances — IEEE Xplore
- Knowware: the third star after Hardware and Software — Cornell University
- AI Research in China: 50 Years down the Road — IEEE Xplore
- Beyond Knowledge Engineering — springerlink
- Towards a Software/Knowware Co-engineering — springerlink
- From hardware to software to knowware: IT's third liberation? — IEEE Xplore
- Towards a Mathematical Theory of Knowledge — springerlink
- Some Cognitive Aspects of a Turing Test for Children — springerlink
- 少儿图灵测试回顾 — 万方数据
- Automating application software generation — WILEY Online Library
- 从故事到动画片——全过程计算机辅助动画自动生成 — 万方数据
- 广义L系统 — 万方数据
- 面向Agent的常识知识库 — 万方数据
- 面向本体的需求分析 — 万方数据
- 知识科学及其研究前沿 — 万方数据
- 客户/服务器风格的体系结构描述语言NEWCOM — 万方数据
- 知识推理的一个模型 — 万方数据
- Intelligent VR training — SPERINGER LINK
- Requirement specification in pseudo-natural language in PROMIS — IEEE Xplore
- A true concurrency model of CCS semantics — ScienceDirect
- P/R网和进程(Ⅱ) — 万方数据
- 关于专家系统开发工具的几个问题 — 万方数据
- COMPUTER-AIDED GRAMMAR ACQUISITION IN TH E CHINESE UNDERSTANDING SYSYTEM CUSAGA — ijcai
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000005986767&d=441AB22BBF168057C79BD57C3B4B79AD&fenlei=18160201&sw=%E4%BF%A1%E6%81%AF%E7%94%B5%E5%AD%90%E6%8A%80%E6%9C%AF%E7%9F%A5%E8%AF%86%E5%85%A8%E4%B9%A6
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000001302952&d=2F4B7978BCC1FC6F9B1DB761A3F61EB6&fenlei=1817020602&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000000549359&d=0D912051B313E671720BAECCDEDB28C5&fenlei=18170206&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000007995146&d=96D43B1532307D6A801A1094A12DDA2D&fenlei=18170201&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000000428289&d=927EB316A57710FF9D627CBCFEBD0078&fenlei=18170206&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000000372930&d=E6099963219C9503AAED9E867F87581C&fenlei=181704020103&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000000344066&d=09F5FC7304BD869557000A73403C95DB&fenlei=181704020102&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- https://ycfw.library.hb.cn:8000/vpn/2/https/MJYX843PMS4YR4LWF3SX85B/bookDetail.jsp?dxNumber=000000274996&d=969A911AB4AA4876039AF9A4C45165BE&fenlei=18170403010204&sw=%E9%99%86%E6%B1%9D%E9%92%A4
- 实验室简介 — 复旦大学上海智能信息处理重点实验室
- 学术委员会委员名单 — 中国科学院管理、决策与信息系统重点办公室
- 中国人工智能学会人工智能逻辑专委会(筹)2022年工作总结暨学术年会在我校召开 — 重邮新闻网
- 陆汝钤-终身成就奖-中国计算机学会 — 中国计算机学会
- 编委会 — 软件学报
- 计算机科学技术名词审定委员会 — 全国科学技术名词审定委员会
- 研究小组及主要骨干人员 — 高可信软件技术教育部重点实验室
- “聚力·奋发2024”环球人物年度盛典成功举办 — 人民网







