可拓逻辑的可满足性问题研究

发布时间：2017-12-31 07:12

  本文关键词：可拓逻辑的可满足性问题研究　出处：《数学的实践与认识》2015年12期 　论文类型：期刊论文

  更多相关文章： 可拓逻辑 可满足性 矛盾问题

【摘要】：可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示,并给出了基于可满足性概念的矛盾问题定义和表示实例.
[Abstract]:Satisfiability is the basic concept of logical semantic theory. In the analysis of the internal element of propositional logic form on the basis of research extension syntax and semantic theory of logic, the extension logic satisfiability definition. Discusses the extension logic contradiction can be said, and gives the definition based on satisfaction the concept of contradiction and that instance.

【作者单位】： 广东技术师范学院计算机科学学院;
【基金】：广东省教育厅科研项目(2013KJCX0117)
【分类号】：O141
【正文快照】： 1引言《可拓逻辑初步》W是关于可拓逻辑研究的开创性工作,其中研究了命题的基元表示以及命题的真度.命题逻辑中的简单命题仅被赋予真假二值.作为扩充,可拓逻辑以基元表示命题并称之为基元命题,通过给定评价特征及其关联函数计算基元命题的真度,由此研究了可拓变换与命题真假转

【参考文献】

相关期刊论文 前2条

1 陈文伟;杨春燕;黄金才;;可拓知识与可拓知识推理[J];哈尔滨工业大学学报;2006年07期

2 孙弘安;;可拓命题与可拓推理句[J];哈尔滨工业大学学报;2006年07期

【共引文献】

相关期刊论文 前10条

1 张金春;金哲;王丰;李日华;;基于可拓分析与变换的导弹武器系统效能研究[J];兵工自动化;2011年09期

2 陈文伟;黄金才;;属性约简与数据挖掘的可拓变换与可拓知识的表示[J];重庆工学院学报(自然科学版);2007年07期

3 冷画屏;吴晓锋;余永权;;对抗意图识别技术研究现状及其突破途径[J];电光与控制;2008年04期

4 杨春燕;李卫华;李小妹;;矛盾问题智能化处理的理论与方法研究进展[J];广东工业大学学报;2011年01期

5 李兴森;朱正祥;刘艳彬;;预防客户流失的可拓转化策略研究[J];广东工业大学学报;2012年03期

6 陈文伟;陈晟;;计算机软件进化中创新变换和回归变换[J];广东工业大学学报;2012年04期

7 张金春;张家宾;金哲;曹彪;;基于可拓学方法的电子战系统作战效能评估[J];四川兵工学报;2014年09期

8 张艳;王军;赵岩;;基于可拓网络图的设计方案智能化拓展及知识推理[J];广东工业大学学报;2014年04期

9 刘斌;朱明;王景华;张利;李献会;;基于可拓数据挖掘的用户需求获取研究[J];合肥工业大学学报(自然科学版);2011年12期

10 赵锐;余永权;张静;;基于粗糙集数据分析的可拓推理机制研究[J];计算机科学;2010年12期

相关博士学位论文 前10条

1 李德臣;基于可拓理论的小电流故障选线方法研究[D];中国矿业大学;2010年

2 叶玮琼;基于可拓学的仿人控制及应用研究[D];广东工业大学;2011年

3 秦晋;面向功能的创新概念设计问题研究[D];合肥工业大学;2007年

4 李兴森;智能知识及其管理模式研究[D];中国科学院研究生院;2008年

5 苏楠;基于可拓逻辑的产品族配置设计方法[D];浙江工业大学;2009年

6 韩峰;玉米干燥过程数字模拟、控制及工艺专家系统[D];吉林大学;2010年

7 路强;面向功能的可视化创新概念设计方法研究[D];合肥工业大学;2010年

8 唐志航;可拓数据挖掘方法及其应用研究[D];东华大学;2009年

9 丁凤华;自动视觉检测系统可拓设计方法研究[D];山东大学;2013年

10 彭泓;基于数据挖掘与信息融合的瓦斯灾害预测方法研究[D];中国矿业大学（北京）;2013年

相关硕士学位论文 前6条

1 边兰兰;系统动力学结构模型建模方法研究与应用[D];南昌大学;2010年

2 豆增发;基于可拓规则和案例推理的混合专家系统[D];西安电子科技大学;2007年

3 程烨;可拓论在知识生成和决策系统中的研究与应用[D];广东工业大学;2007年

4 张夏雨;可拓检测的要素聚焦及知识推理机制[D];广东工业大学;2008年

5 姚瑶;基于可拓理论的机械设备故障诊断方法研究[D];南京航空航天大学;2013年

6 陈同庆;可配组液压系统及其集成开发环境的研究[D];浙江大学;2014年

【二级参考文献】

相关期刊论文 前2条

1 蔡文;可拓论及其应用[J];科学通报;1999年07期

2 杨春燕;多评价特征基元可拓集研究[J];数学的实践与认识;2005年09期

【相似文献】

相关期刊论文 前10条

1 何冀婷;;一种基于可拓学的资源开拓方法[J];商场现代化;2009年26期

2 ;可拓学与创新方法国际研讨会[J];智能系统学报;2012年06期

3 杨春燕,吴福芝;可拓集合在资源开拓研究中的应用[J];华南理工大学学报(自然科学版);2001年11期

4 李华,刘峰,贺仲雄;多维界壳约束下的模糊可拓经济控制[J];中国工程科学;2001年08期

5 蔡文,杨春燕,何斌;可拓学研究中的若干问题[J];广东工业大学学报;2001年01期

6 蔡文,杨春燕,何斌;可拓学基础理论研究的新进展[J];中国工程科学;2003年02期

7 杨春燕;蔡文;;可拓数据挖掘研究进展[J];数学的实践与认识;2009年04期

8 杨春燕;蔡文;;可拓学论文的发表情况、存在问题及建议[J];数学的实践与认识;2010年04期

9 杨春燕;李兴森;;可拓创新方法及其应用研究进展[J];工业工程;2012年01期

10 陈俊;可拓数学的形成与发展机制[J];广东工业大学学报;1999年01期

相关会议论文 前4条

1 翁扬菲;贺仲雄;;可拓力在市场经济控制中的应用[A];第二十四届中国控制会议论文集（下册）[C];2005年

2 常振兴;贺仲雄;;模糊可拓经济控制的应用与新探索[A];Systems Engineering, Systems Science and Complexity Research--Proceeding of 11th Annual Conference of Systems Engineering Society of China[C];2000年

3 翟艺书;董云影;陈木华;刘巍;王毅兵;;城市道路交通环境质量的模糊可拓评价方法[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

4 谭国玉;刘天禄;郑德源;黄栋材;;统筹学——一门研究和实践统筹兼顾规律与方法的学科[A];2001年中国管理科学学术会议论文集[C];2001年

相关硕士学位论文 前10条

1 杨丹丹;基于可拓数学理论的多属性决策方法研究[D];大连海事大学;2010年

2 曾学峰;可拓检测的检测方案评价模型研究[D];广东工业大学;2011年

3 李承晓;可拓策略生成系统框架设计与复用研究[D];广东工业大学;2011年

4 苗春雷;多目标规划的可拓解[D];大连海事大学;2008年

5 陈伟国;矛盾问题中矛盾信息弱化策略的研究[D];广东工业大学;2011年

6 李（？）兵;经济混沌的可拓预测方法研究[D];重庆大学;2004年

7 蒋燕;可拓法在第三方物流企业信誉评价中的应用研究[D];长安大学;2009年

8 沈航;可拓聚类预测方法在烟草销售量预测中的应用研究[D];昆明理工大学;2005年

9 闫东方;可拓层次分析法及其应用[D];大连海事大学;2012年

10 赵霞;基于可拓学的工业园可持续发展评价研究[D];大连理工大学;2008年

，

本文编号：1358690