The rough logic and roughness of logical theories
文献类型：期刊论文
| 作者 | Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue |
| 刊名 | ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS
 |
| 出版日期 | 2006 |
| 卷号 | 4062页码:610-617 |
| 关键词 | rough set theory logical theories refinement logical implication |
| ISSN号 | 0302-9743 |
| 英文摘要 | Tuples in an information system are taken as terms in a logical system, attributes as function symbols, a tuple taking a value at an attribute as an atomic formula. In such a way, an information system is represented by a logical theory in a logical language. The roughness of an information system is represented by the roughness of the logical theory, and the roughness of logical theories is a generalization of that of information systems. A logical theory induces an indiscernibility relation on the Herbrand universe of the logical language, the set of all the ground terms. It is imaginable that there is some connection between the logical implication of logical theories and the refinement of indiscernibility relations induced by the logical theories. It shall be proved that there is no such a connection of simple form. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000239623500089 |
| 出版者 | SPRINGER-VERLAG BERLIN |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/10366]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Cao, Cungen |
| 作者单位 | 1.Chinese Acad Sci, Comp Technol Inst, Key Lab Intelligent Informat Proc, Beijing 100080, Peoples R China 2.Jiangsu Univ Sci & Technol, Dept Comp Sci, Zhenjiang 212003, Jiangsu, Peoples R China |
| 推荐引用方式 GB/T 7714 | Cao, Cungen,Sui, Yuefei,Zhang, Zaiyue. The rough logic and roughness of logical theories[J]. ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS,2006,4062:610-617. |
| APA | Cao, Cungen,Sui, Yuefei,&Zhang, Zaiyue.(2006).The rough logic and roughness of logical theories.ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS,4062,610-617. |
| MLA | Cao, Cungen,et al."The rough logic and roughness of logical theories".ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS 4062(2006):610-617. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。