Title一个关于常识推理的基础逻辑
Authors周北海
毛翊
Affiliation北京大学哲学系
Keywords常识推理
可能世界
命题逻辑
逻辑地
实质蕴涵
形式化方法
选择函数
推不出
推理形式
谓词逻辑
Issue Date2003
Publisher逻辑研究专辑
Citation逻辑研究专辑.2003,(00),1-10+111.
Abstract一、常识推理的志例与分析直观上常识推理就是用到常识的推理。考虑到技术处理的方便,可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。 (1)如果下雨则地湿,下雨,所以,地湿。 (2)鸟会飞,特威蒂是鸟,所以,特威蒂会飞。
URIhttp://hdl.handle.net/20.500.11897/60997
ISSN1000-0216
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

百度学术™



Checked on Current Time




License: See PKU IR operational policies.