The rough logic and roughness of logical theories

被引：0

作者：

Cao, Cungen ^{[1
]}

Sui, Yuefei

Zhang, Zaiyue

机构：

[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

来源：

ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS | 2006年 / 4062卷

关键词：

rough set theory; logical theories; refinement; logical implication;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：610 / 617

页数：8

共 50 条

[1] On the rough consistency measures of logic theories and approximate reasoning in rough logic
She, Yanhong
[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (01) : 486 - 499
[2] On the rough consistency measures of logic theories and approximate reasoning in rough logic
[J]. She, Y. (yanhongshe@gmail.com), 1600, Elsevier Inc. (55):
[3] CONFERENCE ON INTENSIONAL LOGIC AND THE LOGICAL STRUCTURE OF THEORIES
BEZHANISHVILI, MN
GERASIMOVA, IA
[J]. VOPROSY FILOSOFII, 1986, (06) : 154 - 157
[4] ACCURACY AND ROUGHNESS MEASURES FOR FORMULAE IN ROUGH LOGIC
She, Yanhong
He, Xiaoli
[J]. QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 74 - 81
[5] Step Theories of Active Logic and Extended Logical Programs
Fominykh, Igor
Vinkov, Michael
[J]. PROCEEDINGS OF THE SECOND INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'17), VOL 1, 2018, 679 : 192 - 201
[6] Parameterized Logical Theories
Lin, Fangzhen
[J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6402 - 6409
[7] Revision of logical theories
Semeraro, G
Esposito, F
Fanizzi, N
Malerba, D
[J]. TOPICS IN ARTIFICIAL INTELLIGENCE, 1995, 992 : 365 - 376
[8] 3 LOGICAL THEORIES
CORCORAN, J
[J]. PHILOSOPHY OF SCIENCE, 1969, 36 (02) : 153 - &
[9] First-Person Logical Theories and Third-Person Logical Theories
Kearns, John T.
[J]. LOGICA YEARBOOK 2013, 2014, : 77 - 89
[10] Identification of non linear vectorial functions by means of rough set and fuzzy logic theories
Alonge, F
D'Ippolito, F
Pizzuto, G
Raimondi, FM
[J]. PROCEEDINGS OF THE 1998 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 1996, : 942 - 947

← 1 2 3 4 5 →