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

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 英文

	Description of fuzzy first-order modal logic based on constant domain semantics
	Zhang, ZY ; Sui, YF ; Cao, CG
刊名	ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS
	2005
卷号	3641 页码:642-650
关键词	modal logic fuzzy reasoning system rough set
ISSN号	0302-9743
英文摘要	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.
WOS研究方向	Computer Science
语种	英语
出版者	SPRINGER-VERLAG BERLIN
WOS记录号	WOS:000232188600066
内容类型	期刊论文
源URL	[http://119.78.100.204/handle/2XEOYT63/9984]
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Zhang, ZY
作者单位	1.Chinese Acad Sci, Key Lab Intelligent Informat Proc, Inst Comp Technol, Beijing 100080, Peoples R China 2.Jiangsu Univ Sci & Technol, Dept Comp Sci, Zhenjiang 212003, Jiangsu, 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.