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

F-时态命题逻辑中的归结原理

陈国勋  陈斌  
【摘要】:正在 Fuzzy 模态与时态逻辑领域中,至今做的工作不太多.由于 Fuzzy 数学及计算机科学的日益发展,使之更多地需要对 Fuzzy 模态与时态逻辑予以讨论.我们在[1]中讨论了 Fuzzy 模态公式的归约问题,它表明在 F—S_5系统中任一 Fuzzy 模态公式均可化为合取范式,这就为

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郝莉莉;杨惠珍;谢攀;;CPN在FCM形式化建模与验证中的应用[J];计算机仿真;2011年06期
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 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
2 陈玉泉;陈宣;陆汝占;;内涵时态逻辑的语义解释系统[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年
3 孙德山;陈图云;郑宏亮;;不精确推理与归结原理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
4 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
5 刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
6 田国会;刘长有;徐心和;;电梯服务系统的时态逻辑描述、分析与控制[A];1996年中国控制会议论文集[C];1996年
7 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
8 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
9 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年
10 李晓鸥;郭令忠;徐心和;;Petri网监控的时态逻辑框架[A];1994中国控制与决策学术年会论文集[C];1994年
中国博士学位论文全文数据库 前10条
1 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
2 石军;基于XML的智能信息处理研究[D];西安电子科技大学;2003年
3 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
5 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
6 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
7 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年
8 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
9 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
10 孙晓星;面向方面的软件容错模型设计与分析技术[D];华东理工大学;2012年
中国硕士学位论文全文数据库 前10条
1 刘冬宁;时态逻辑及其对知识库的构架与研究[D];广东工业大学;2004年
2 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年
3 王澄澄;基于时序ECA的分布式工作流管理系统研究与应用[D];山东大学;2005年
4 杜辉;基于归结原理的程序综合设计与实现[D];大连理工大学;2006年
5 赵赟;基于时态逻辑的UML交互模型检测研究[D];青岛大学;2008年
6 孔庆爱;基于符号模型检测若干问题的研究及应用[D];吉林大学;2008年
7 李学军;基于时态逻辑的迁移实例运行时安全研究[D];山东大学;2009年
8 邹伟松;从归结证明树抽取程序[D];大连理工大学;2002年
9 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年
10 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978