概称旬词项逻辑的树图判定算法

• 作者: 周北海 马丽
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 词项逻辑 算法 树图 形式刻画 概称句 知识表达 人工智能 继续发展
• 年，卷（期）: 2014,（1）
• 页码范围: 369-370
• 页数: 2页
• 分类号: B81

摘要

概称句的形式刻画涉及到知识表达和常识推理，由人工智能研究首先提出。之后出现了多种类型的理论，对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句，并由Asher、Morreau和Boutilier等继续发展，其要点是将“鸟会飞”理解为“正常情况下鸟会飞”，毛翊继而提出双正常解读，将“鸟会飞”理解为“正常情况下，正常的鸟会飞”。以此前工作为基础，周北海提出概称句是揭示概念内涵的句子，“鸟会飞”表示的是“鸟”这一概念的内涵有“会飞”这一内涵项。