Further study of the fuzzy reasoning based on propositional modal logic
文献类型：期刊论文
| 作者 | Zhang, Zaiyue; Sui, Yuefei; Ca, Cungen |
| 刊名 | ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS
 |
| 出版日期 | 2006 |
| 卷号 | 4062页码:162-169 |
| 关键词 | propositional modal logic fuzzy reasoning formal system educed set |
| ISSN号 | 0302-9743 |
| 英文摘要 | 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. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000239623500024 |
| 出版者 | SPRINGER-VERLAG BERLIN |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/10822]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。