CSpace  > 中国科学院计算技术研究所期刊论文  > 英文
The rough logic and roughness of logical theories
Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue
2006
发表期刊ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS
ISSN0302-9743
卷号4062页码:610-617
摘要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.
关键词rough set theory logical theories refinement logical implication
收录类别SCI
语种英语
WOS研究方向Computer Science
WOS类目Computer Science, Artificial Intelligence
WOS记录号WOS:000239623500089
出版者SPRINGER-VERLAG BERLIN
引用统计
文献类型期刊论文
条目标识符http://119.78.100.204/handle/2XEOYT63/10367
专题中国科学院计算技术研究所期刊论文_英文
通讯作者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.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Cao, Cungen]的文章
[Sui, Yuefei]的文章
[Zhang, Zaiyue]的文章
百度学术
百度学术中相似的文章
[Cao, Cungen]的文章
[Sui, Yuefei]的文章
[Zhang, Zaiyue]的文章
必应学术
必应学术中相似的文章
[Cao, Cungen]的文章
[Sui, Yuefei]的文章
[Zhang, Zaiyue]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。