知识蕴涵模态逻辑系统

发布时间：2020-09-12 07:33

　　 使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题。基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立。在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制。根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现。

【参考文献】

相关期刊论文 前3条

1 杜国平;马亮;;哲思逻辑的判定问题[J];安徽大学学报(哲学社会科学版);2007年05期

2 杜国平;;哲思逻辑——一个形而上学内容的公理体系[J];东南大学学报(哲学社会科学版);2007年04期

3 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期

【共引文献】

相关期刊论文 前10条

1 杜国平;;知识蕴涵时态逻辑系统[J];安徽大学学报(哲学社会科学版);2009年05期

2 付敏;;语义封闭性、“真矛盾论”与“悖论逻辑”[J];安徽大学学报(哲学社会科学版);2009年05期

3 李娜;;模态哲思逻辑[J];重庆工学院学报(社会科学版);2008年11期

4 陈晓华;;不同形式假言易位之差异[J];重庆工学院学报(社会科学版);2009年09期

5 杜国平;;哲思逻辑的扩充及其应用[J];广西大学学报(哲学社会科学版);2011年02期

6 万小龙;;经典逻辑命题联结词的泛函分析初探——一元算符是否可能穷尽?[J];安徽大学学报(哲学社会科学版);2011年06期

7 杜国平;;知识蕴涵直觉主义逻辑系统[J];东南大学学报(哲学社会科学版);2012年02期

8 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期

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

10 苏愉仁;贾春华;;弗协调逻辑与《金匮要略》“方证论治系统”[J];辽宁中医杂志;2010年07期

相关博士学位论文 前1条

1 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年

相关硕士学位论文 前1条

1 何雄就;“偶然”逻辑特性的研究[D];南京大学;2011年

【相似文献】

相关期刊论文 前10条

1 张殿尉;王潇;;逻辑是可修正的吗?[J];内蒙古农业大学学报(社会科学版);2007年04期

2 姜成林;应用逻辑——现代逻辑的新发展[J];社会科学辑刊;1988年05期

3 张小燕;张国军;;皮亚杰心理逻辑探析[J];江海学刊;2007年03期

4 秦玮远;;“怪论”之说纠谬[J];南方论刊;2007年09期

5 马佩;;也谈逻辑真理的可错性问题——与王路教授商榷[J];哲学研究;2009年01期

6 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期

7 周斌;阿伯拉尔关于动词‘be’的分析及他的推论[J];复旦学报(社会科学版);1990年06期

8 张学立;金岳霖的逻辑一元论思想探析[J];人文杂志;1998年05期

9 杨熙龄;“不协调逻辑”小议[J];国外社会科学;1981年07期

10 约瑟夫·拉卢米亚,新蔚;常规的科学和革命的科学——库恩和他的批评者[J];第欧根尼;1992年02期

相关会议论文 前10条

1 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年

2 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

3 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年

4 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

5 朱水林;;从外延逻辑到内涵逻辑——现代逻辑发展的一个重要转向[A];1994年逻辑研究专辑[C];1994年

6 ;晏成书教授在京逝世[A];1995年逻辑研究专辑[C];1995年

7 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

8 张小燕;;皮亚杰对逻辑学与心理学之间关系的重新认识[A];第三次金岳霖学术思想研讨会论文集[C];2005年

9 ;冯契教授在沪逝世[A];1995年逻辑研究专辑[C];1995年

10 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年

相关重要报纸文章 前10条

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

2 林可济;从西方思路到中国韵味[N];中华读书报;2010年

3 本报记者 贺修平;云大王瑞探究“拉母赛理论”取得实质性突破[N];云南科技报;2009年

4 周山;中国究竟有没有“逻辑”[N];文汇报;2011年

5 黄雪斌;农民逻辑学家的大我人生[N];人民政协报;2001年

6 尼克;王浩和他的朋友们[N];东方早报;2011年

7 中国社会科学院 景天魁;上下贯通虚实相应[N];光明日报;2010年

8 华东师范大学哲学系 冯棉;把现代逻辑带到中国的人[N];社会科学报;2005年

9 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年

10 哲学所 涂纪亮;平易近人、循循善诱的金老[N];中国社会科学院院报;2005年

相关博士学位论文 前10条

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

2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

3 张世宁;广义量词理论研究[D];南开大学;2010年

4 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

6 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年

7 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

8 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

9 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年

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

相关硕士学位论文 前10条

1 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年

2 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

3 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

4 王佳君;CTD悖论研究[D];华东师范大学;2009年

5 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

6 盛作国;蕴涵理论研究[D];贵州大学;2008年

7 于宇;试析蒙太格语法[D];西南大学;2007年

8 韩亦佳;蕴涵与因果推理的关系[D];河南大学;2008年

9 文红峰;论逻辑后承与逻辑真[D];湘潭大学;2008年

10 李莉;基于T-S模型的自适应模糊系统的研究及应用[D];西北工业大学;2003年

本文编号：2817360