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 |
| 语种 | 英语 |
| WOS记录号 | WOS:000232188600066 |
| 出版者 | SPRINGER-VERLAG BERLIN |
| 源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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。