Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System. / Vikent'Ev, Alexander; Serov, Michail; Vikentiev, Ruslan et al.
SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. p. 664-669 8958153 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
TY - GEN
T1 - Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System
AU - Vikent'Ev, Alexander
AU - Serov, Michail
AU - Vikentiev, Ruslan
AU - Berikov, Vladimir
N1 - Publisher Copyright: © 2019 IEEE.
PY - 2019/10
Y1 - 2019/10
N2 - The paper considers a problem of the analysis of logical expert statements that arises at the interfaces between artificial intelligence, machine learning and mathematical logic. Within the framework of the logic-based modelling in knowledge representation, the propositions stored in the knowledge base of an intellectual system are described using formulas of some logic. The paper investigates the properties of metrics and measures of non-Triviality on the formulas of n-valued logic; the notion of collective metrics is proposed. The introduced concepts are used for cluster analysis of logical statements; examples of the obtained solutions are described.
AB - The paper considers a problem of the analysis of logical expert statements that arises at the interfaces between artificial intelligence, machine learning and mathematical logic. Within the framework of the logic-based modelling in knowledge representation, the propositions stored in the knowledge base of an intellectual system are described using formulas of some logic. The paper investigates the properties of metrics and measures of non-Triviality on the formulas of n-valued logic; the notion of collective metrics is proposed. The introduced concepts are used for cluster analysis of logical statements; examples of the obtained solutions are described.
KW - clustering
KW - intellectual system
KW - logical statements
KW - n-valued logic
UR - http://www.scopus.com/inward/record.url?scp=85079063673&partnerID=8YFLogxK
U2 - 10.1109/SIBIRCON48586.2019.8958153
DO - 10.1109/SIBIRCON48586.2019.8958153
M3 - Conference contribution
T3 - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
SP - 664
EP - 669
BT - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
Y2 - 21 October 2019 through 27 October 2019
ER -
ID: 23425528