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

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

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前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	常见问题在线咨询阅读器下载	充值中心知网卡新手指南