A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic

doi:10.1016/j.tcs.2006.09.021

	A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
	Zhang, Zaiyue ; Sui, Yuefei ; Cao, Cungen ; Wu, Guohua
	2006-12-05
发表期刊	THEORETICAL COMPUTER SCIENCE
ISSN	0304-3975
卷号	368 期号:1-2 页码:149-160
摘要	We establish in this paper a fuzzy propositional modal logic, FPML, and the associated semantics, fuzzy Kripke semantics. We prove that FPML is sound and complete. Furthermore, We Set up a formalized reasoning mechanism based on FPML. (c) 2006 Elsevier B.V. All rights reserved.
关键词	propositional modal logic duzzy reasoning formal system soundness and completeness
DOI	10.1016/j.tcs.2006.09.021
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Theory & Methods
WOS记录号	WOS:000242872300007
出版者	ELSEVIER SCIENCE BV
引用统计	被引频次：8[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10580
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Zhang, Zaiyue
作者单位	1.Jiangsu Univ Sci & Technol, Dept Comp Sci, Zhenjiang, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100864, Peoples R China 3.Nanyang Technol Univ, Sch Math & Phys Sci, Singapore, Singapore
推荐引用方式 GB/T 7714	Zhang, Zaiyue,Sui, Yuefei,Cao, Cungen,et al. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic[J]. THEORETICAL COMPUTER SCIENCE,2006,368(1-2):149-160.
APA	Zhang, Zaiyue,Sui, Yuefei,Cao, Cungen,&Wu, Guohua.(2006).A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.THEORETICAL COMPUTER SCIENCE,368(1-2),149-160.
MLA	Zhang, Zaiyue,et al."A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic".THEORETICAL COMPUTER SCIENCE 368.1-2(2006):149-160.