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