Further study of the fuzzy reasoning based on propositional modal logic

	Further study of the fuzzy reasoning based on propositional modal logic
	Zhang, Zaiyue ; Sui, Yuefei ; Ca, Cungen
	2006
发表期刊	ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS
ISSN	0302-9743
卷号	4062 页码:162-169
摘要	The notion of the fuzzy assertion based on propositional modal logic is introduced and the properties of the fuzzy reasoning based on fuzzy assertions are studied. As an extending of the traditional semantics of modal logics, the fuzzy Kripke semantics is considered and a formal fuzzy reasoning system based on fuzzy constraint is established. In order to decide whether a fuzzy assertion is a logical consequence of a set of fuzzy assertions, the notion of the educed set based on fuzzy constraint is introduced and the relation between the fuzzy reasoning and the satisfiability of the educed set is revealed.
关键词	propositional modal logic fuzzy reasoning formal system educed set
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000239623500024
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10823
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Zhang, Zaiyue
作者单位	1.Jiangsu Univ Sci & Technol, Dept Comp Sci, Zhenjiang, Peoples R China 2.Chinese Acad Sci, Comp Technol Inst, Key Lab Intelligent Informat Proc, Beijing 100864, Peoples R China
推荐引用方式 GB/T 7714	Zhang, Zaiyue,Sui, Yuefei,Ca, Cungen. Further study of the fuzzy reasoning based on propositional modal logic[J]. ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS,2006,4062:162-169.
APA	Zhang, Zaiyue,Sui, Yuefei,&Ca, Cungen.(2006).Further study of the fuzzy reasoning based on propositional modal logic.ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS,4062,162-169.
MLA	Zhang, Zaiyue,et al."Further study of the fuzzy reasoning based on propositional modal logic".ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS 4062(2006):162-169.