The rough logic and roughness of logical theories

	The rough logic and roughness of logical theories
	Cao, Cungen ; Sui, Yuefei ; Zhang, Zaiyue
	2006
发表期刊	ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS
ISSN	0302-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.