收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

鞠实儿  林渊雷  
【摘要】:Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO。文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[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年
中国博士学位论文全文数据库 前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年
中国重要报纸全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978