简介:概称句的形式刻画涉及到知识表达和常识推理,由人工智能研究首先提出。之后出现了多种类型的理论,对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句,并由Asher、Morreau和Boutilier等继续发展,其要点是将“鸟会飞”理解为“正常情况下鸟会飞”,毛翊继而提出双正常解读,将“鸟会飞”理解为“正常情况下,正常的鸟会飞”。以此前工作为基础,周北海提出概称句是揭示概念内涵的句子,“鸟会飞”表示的是“鸟”这一概念的内涵有“会飞”这一内涵项。
简介:
概称旬词项逻辑的树图判定算法
2013年国家社会科学基金资助项目(哲学)(212项)
2013年国家社会科学基金西部项目(哲学)(17项)
2013年国家社会科学基金后期资助项目(哲学)(23项)
2013年国家社会科学基金重大项目(哲学)(18项)
2013年教育部人文社会科学研究一般项目(哲学)(81项)