A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
文献类型：期刊论文
| 作者 | Zhang, Zaiyue; Sui, Yuefei; Cao, Cungen; Wu, Guohua |
| 刊名 | THEORETICAL COMPUTER SCIENCE
 |
| 出版日期 | 2006-12-05 |
| 卷号 | 368期号:1-2页码:149-160 |
| 关键词 | propositional modal logic duzzy reasoning formal system soundness and completeness |
| ISSN号 | 0304-3975 |
| DOI | 10.1016/j.tcs.2006.09.021 |
| 英文摘要 | We establish in this paper a fuzzy propositional modal logic, FPML, and the associated semantics, fuzzy Kripke semantics. We prove that FPML is sound and complete. Furthermore, We Set up a formalized reasoning mechanism based on FPML. (c) 2006 Elsevier B.V. All rights reserved. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000242872300007 |
| 出版者 | ELSEVIER SCIENCE BV |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/10579]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Zhang, Zaiyue |
| 作者单位 | 1.Jiangsu Univ Sci & Technol, Dept Comp Sci, Zhenjiang, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100864, Peoples R China 3.Nanyang Technol Univ, Sch Math & Phys Sci, Singapore, Singapore |
| 推荐引用方式 GB/T 7714 | Zhang, Zaiyue,Sui, Yuefei,Cao, Cungen,et al. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic[J]. THEORETICAL COMPUTER SCIENCE,2006,368(1-2):149-160. |
| APA | Zhang, Zaiyue,Sui, Yuefei,Cao, Cungen,&Wu, Guohua.(2006).A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.THEORETICAL COMPUTER SCIENCE,368(1-2),149-160. |
| MLA | Zhang, Zaiyue,et al."A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic".THEORETICAL COMPUTER SCIENCE 368.1-2(2006):149-160. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。