常识推理基础逻辑系统M的完全性

发布时间：2018-06-03 05:51

  本文选题：常识推理的基础逻辑 + 集选语义　； 参考：《西南大学学报(人文社会科学版)》2006年01期

【摘要】：对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。Γ-典范模型方法是有穷方法。如果Γ有穷,得到的典范模型有穷。这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的。
[Abstract]:On the basis of the canonical model, a gamma canonical frame and a gamma canonical model are established on the basis of a canonical structure, in order to prove the completeness of the M frame class. The gamma canonical model method is a poor method. If gamma is poor, the model model is poor. This can not only prove the completeness of the M. It can also prove the finite model of M, so M is decidable.
【作者单位】： 北京大学哲学系 美国德州大学哲学系
【基金】：教育部人文社会科学研究“十五”规划第一批研究资助项目(01JB720003)
【分类号】：B81

【相似文献】

中国期刊全文数据库 前10条

1 张立英;;条件句逻辑完全性问题探微初步[J];湖南科技大学学报(社会科学版);2007年04期

2 刘壮虎;邻域语义学与推演系统的完全性[J];哲学研究;2000年09期

3 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期

4 郝旭东;李娜;;弗协调单主体认知逻辑系统C_nEK及其扩张[J];重庆工学院学报(社会科学版);2009年02期

5 许涤非;单主体认知逻辑的研究——全知性和真知性[J];湘潭师范学院学报(社会科学版);2003年02期

6 霍书全;;Lukasiewicz3-值命题逻辑的强完全性证明[J];安徽大学学报(哲学社会科学版);2008年02期

7 夏素敏;;无变元的一阶片段:Fluted逻辑[J];哲学动态;2009年04期

8 熊明;;斯穆里安合并记法的一种变形[J];华南师范大学学报(社会科学版);2010年03期

9 许涤非;;论模态逻辑系统的有限模型性质[J];中国人民大学学报;2006年03期

10 杜国平;;知识蕴涵逻辑系统[J];逻辑学研究;2008年02期

中国重要会议论文全文数据库 前10条

1 周北海;毛翊;;常识推理的形式刻画[A];2005年逻辑研究专辑[C];2005年

2 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年

3 周北海;;嫁接框架与S1-完全性[A];1994年逻辑研究专辑[C];1994年

4 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

5 陈丽中;;完全性房内阻滞伴房性心动过速1例[A];2005年浙江省心电生理与起搏学术年会论文汇编[C];2005年

6 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

7 张子仪;杨德义;尹建祥;;一期缝合治愈外伤后完全性肛门失禁1例[A];中西医结合大肠肛门病研究新进展——第十届中国中西医结合学会大肠肛门病学术研讨会论文集[C];2004年

8 苏振民;林文雄;黄曲惠;;完全性并指畸形整复体会[A];第4届中国美容与整形医师大会论文汇编[C];2007年

9 郑景浩;徐志伟;刘锦纷;史珍英;苏肇伉;丁文祥;;婴幼儿完全性血管环的早期外科治疗[A];中华医学会第七次全国胸心血管外科学术会议暨2007中华医学会胸心血管外科青年医师论坛论文集心血管外科分册[C];2007年

10 吴华;顾旭东;姚云海;李岩;张雄伟;付建明;;改进往复式步行矫形器对完全性脊髓损伤患者步行能力的影响[A];2008年浙江省物理医学与康复学术年会暨中枢神经功能损伤康复新进展学习班论文汇编[C];2008年

中国重要报纸全文数据库 前10条

1 周新;中国完全性脊髓损伤临床治疗世界领先[N];医药导报(中药报);2004年

2 记者 初卫华;治疗完全性脊髓损伤有进展[N];健康报;2001年

3 陈波;逻辑学的2005年[N];光明日报;2006年

4 罗;网管要满足多行业需求[N];中国计算机报;2005年

5 记者　宋茜;我省一科研项目取得重要成果[N];江西日报;2006年

6 杨松林;腔隙性脑梗死不容轻视[N];大众卫生报;2007年

7 孙小礼;模型：现代科学的核心方法(五)[N];学习时报;2007年

8 左中男;用可调外固定支架使肩锁关节复位[N];健康报;2007年

9 张倩平;女孩需防尿道黏膜外翻[N];家庭医生报;2007年

10 数技经所 蜀言;经济政策与模拟研究[N];中国社会科学院院报;2007年

中国博士学位论文全文数据库 前10条

1 周健生;结构系统完全性分析技术研究[D];哈尔滨工程大学;2002年

2 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

3 冯彦波;合并逻辑方法研究[D];南开大学;2010年

4 刘杨;基于SG-MA-ISPA模型的区域可持续发展评价研究[D];重庆大学;2012年

5 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年

6 张世民;骶神经前根电刺激排尿中完全性后根切断去传入的替代方法：实验与临床研究[D];第二军医大学;2000年

7 李闽峰;震害预测快速服务平台的模型与方法及一些相关理论的研究[D];中国地震局地球物理研究所;2002年

8 任永平;基于板极模型方法的光电经纬仪伺服控制技术研究[D];国防科学技术大学;2005年

9 陶红;先天性肾上腺皮质增生症的临床与分子遗传学研究[D];中国协和医科大学;2003年

10 李盛;单侧完全性唇腭裂初期手术方法及效果评价的临床研究[D];四川大学;2006年

中国硕士学位论文全文数据库 前10条

1 游海燕;基于BP原理的指标体系建立模型方法研究[D];第三军医大学;2004年

2 孙刚;电子文件真实性保障模型研究[D];天津师范大学;2007年

3 李淑英;模糊描述逻辑L-SI语义及推理的研究[D];广西师范大学;2007年

4 蒋军利;公开更新逻辑[D];西南大学;2007年

5 董英东;多主体自认知逻辑系统及其应用[D];西南大学;2008年

6 毛雪菲;基于支持向量机的电弧炉终点参数预报模型的研究[D];安徽工业大学;2010年

7 徐桂彬;基于相关主题模型的音乐分类方法研究[D];苏州大学;2012年

8 叶鹏;合肥市“城中村”问题调查研究[D];合肥工业大学;2005年

9 刘超;西安顺城巷区段研究[D];西安建筑科技大学;2005年

10 姜建东;铁路起重机提速方案研究[D];西南交通大学;2004年

，

本文编号：1971712