简介：概称句的形式刻画涉及到知识表达和常识推理，由人工智能研究首先提出。之后出现了多种类型的理论，对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句，并由Asher、Morreau和Boutilier等继续发展，其要点是将“鸟会飞”理解为“正常情况下鸟会飞”，毛翊继而提出双正常解读，将“鸟会飞”理解为“正常情况下，正常的鸟会飞”。以此前工作为基础，周北海提出概称句是揭示概念内涵的句子，“鸟会飞”表示的是“鸟”这一概念的内涵有“会飞”这一内涵项。
简介：三天八卦图与布尔代数侯维民笔者前文①已介绍了先天（伏羲）八卦图与布尔代数的联系。最近笔者又发现，我国古代的多种八卦图均与布尔代数有联系，并且这种联系比前文所说的内容更密切。本文先谈三天（先天、中天、后天）八卦图与布尔代数的联系，这些事实可能会给中西方...
简介：我国古代数学理论的奠基人──刘徽孙永旺刘徽，三国时代魏国临淄人（现属淄博市）。由于年代久远，资料散佚甚多，因而关于他的身世履历、生卒年月目前尚无详考。从他留下来的著作可知，这位在齐文化沃土中成长起来的数学家，作为我国古代数学理论的奠基人，不仅对我国古...
概称旬词项逻辑的树图判定算法
三天八卦图与布尔代数
我国古代数学理论的奠基人──刘徽
