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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论