Description of fuzzy first-order modal logic based on constant domain semantics

	Description of fuzzy first-order modal logic based on constant domain semantics
	Zhang, ZY ; Sui, YF ; Cao, CG
	2005
发表期刊	ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS
ISSN	0302-9743
卷号	3641 页码:642-650
摘要	As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed in this paper. A description of fuzzy first-order modal logic based on constant domain semantics is given, and a formal system of fuzzy reasoning based on the semantic information of models of first-order modal logic is established. It is also introduced in this paper the notion of the satisfiability of the reasoning system and some properties associated with the satisfiability are proved.
关键词	modal logic fuzzy reasoning system rough set
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000232188600066
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/9985
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Zhang, ZY
作者单位	1.Jiangsu Univ Sci & Technol, Dept Comp Sci, Zhenjiang 212003, Jiangsu, Peoples R China 2.Chinese Acad Sci, Key Lab Intelligent Informat Proc, Inst Comp Technol, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Zhang, ZY,Sui, YF,Cao, CG. Description of fuzzy first-order modal logic based on constant domain semantics[J]. ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS,2005,3641:642-650.
APA	Zhang, ZY,Sui, YF,&Cao, CG.(2005).Description of fuzzy first-order modal logic based on constant domain semantics.ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS,3641,642-650.
MLA	Zhang, ZY,et al."Description of fuzzy first-order modal logic based on constant domain semantics".ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS 3641(2005):642-650.