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

作　　者：周北海 马丽 

出　　处：《中国哲学年鉴》2014年第1期369-370,共2页Chinese Philosophical Almanac

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

关 键 词：词项逻辑 算法 树图 形式刻画 概称句 知识表达 人工智能 继续发展 

分 类 号：B81[哲学宗教—逻辑学]