基于开放世界假设的三值逻辑的语义推理系统

发布时间：2018-04-13 20:06

  本文选题：开放世界 + 三值逻辑　； 参考：《中山大学学报(社会科学版)》2008年02期

【摘要】：Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"嗀"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO。文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性。
[Abstract]:There is no tautology in the ternary propositional logic system consisting of the Kleene ternary logic and the open world supposition of the negative word "Li", which makes it more difficult to infer in the system, and correctly portray the semantics.Then correct reasoning is usually the purpose of constructing logical system.Since the propositional logic system is difficult to infer, this paper formalizes the semantic reasoning directly by introducing true operators T and F, and gives the semantic axiom system SKO of ternary propositional logic.In this paper, strict formal semantics are given, and the reliability and completeness of SKO are proved by using the semantic theory.
【作者单位】：
【基金】：教育部人文社会科学基地重大项目(项目编号2000DXM720.40002)
【分类号】：B815.2

【参考文献】

相关期刊论文 前1条

1 鞠实儿;开放类逻辑的哲学基础——一种非规范三值内涵语义理论[J];中国社会科学;2004年03期

【共引文献】

相关期刊论文 前3条

1 徐明;;不伦不类开放类 评鞠实儿的开放类逻辑[J];科学文化评论;2006年04期

2 易永胜;;不确定性决策的逻辑心智模型研究[J];天津商学院学报;2007年02期

3 荣立武;李建华;;内涵与本质属性[J];湖南科技大学学报(社会科学版);2010年02期

相关会议论文 前1条

1 鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年

相关博士学位论文 前2条

1 荣立武;内涵逻辑的哲学基础[D];中山大学;2006年

2 戴细华;多值逻辑语义博弈[D];中山大学;2006年

【相似文献】

相关期刊论文 前10条

1 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年

2 杜国平;;三值逻辑Sheffer[A];2005年逻辑研究专辑[C];2005年

3 肖淼;彭咏龙;李亚斌;;基于脉宽调制的新型电流型整流器研究[A];电工理论与新技术学术年会论文集[C];2005年

4 杨莹春;诸静;;基于多值逻辑的不确定知识表示及推理[A];面向21世纪的科技进步与社会经济发展（下册）[C];1999年

5 鞠实儿;;开放类逻辑的哲学基础——一种非规范三值内涵语义理论[A];开放类逻辑论文集[C];2004年

6 ;和谐社会：自主创新与文化交融——2006·学术前沿论坛论文摘要汇编 北京市逻辑学会[A];和谐社会：自主创新与文化交融——2006学术前沿论坛论文摘要汇编[C];2006年

7 胡泽洪;;论语义预设[A];1993年逻辑研究专辑[C];1993年

8 毛宇光;徐洁磐;周勇;;不完全信息数据库的逻辑[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

9 毛宇光;徐洁磐;韩波;;一种基于三值逻辑的关系演算[A];第十九届全国数据库学术会议论文集（技术报告篇）[C];2002年

10 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年

相关重要报纸文章 前10条

1 李斌;开放世界的微观经济分析[N];中华读书报;2003年

2 本报记者 思佳;为中国提供通向开放世界的金钥匙[N];中国高新技术产业导报;2001年

3 佚名　编译;开放世界谁受益？[N];计算机世界;2005年

4 陈靖（作者系共青团上海市委书记）;关注开放环境下的青年发展[N];解放日报;2002年

5 程实;特里谢的“另类华彩”[N];中国财经报;2003年

6 ;不可逾越的鸿沟？[N];网络世界;2003年

7 刘建波;假如微软也推Linux[N];计算机世界;2002年

8 华东师范大学 冯棉;逻辑科学，，将充满活力[N];社会科学报;2004年

9 张晓蓬;无缘决赛是好事[N];中国体育报;2004年

10 王恩海;国际化域名趋势不可逆转[N];中国电子报;2004年

相关博士学位论文 前6条

1 戴细华;多值逻辑语义博弈[D];中山大学;2006年

2 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年

3 严军勇;降值设计理论[D];上海大学;2009年

4 张丽霞;动力蓄电池组测试系统变流技术研究[D];华北电力大学（河北）;2008年

5 张兴;PWM整流器及其控制策略的研究[D];合肥工业大学;2003年

6 金翊;三值光计算机原理和结构[D];西北工业大学;2002年

相关硕士学位论文 前10条

1 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

2 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年

3 严军勇;三值光计算机关键部件的研究[D];西北工业大学;2004年

4 熊佳;信息融合过程中证据冲突研究[D];上海交通大学;2008年

5 刘阳阳;用于蓄电池组测试的高功率因数电流型变流器应用研究[D];华北电力大学（河北）;2007年

6 代玉伟;用于超导限流器的电流型变流器的研究[D];华中科技大学;2007年

7 曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年

8 孙鹏纬;基于DSP的三相电流型PWM整流器的应用研究[D];华北电力大学（河北）;2007年

9 付庆磊;基于DSP的三相电流型空间矢量PWM逆变器的研究[D];华北电力大学（河北）;2007年

10 尹鹏;基于多值逻辑状态机的需求分歧研究[D];西安理工大学;2007年

本文编号：1746003