Standard

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 proceedingConference contributionResearchpeer-review

Harvard

Vikent'Ev, A, Serov, M, Vikentiev, R & Berikov, V 2019, Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System. in SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings., 8958153, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 664-669, 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019, Novosibirsk, Russian Federation, 21.10.2019. https://doi.org/10.1109/SIBIRCON48586.2019.8958153

APA

Vikent'Ev, A., Serov, M., Vikentiev, R., & Berikov, V. (2019). Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System. In SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings (pp. 664-669). [8958153] (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBIRCON48586.2019.8958153

Vancouver

Vikent'Ev A, Serov M, Vikentiev R, Berikov V. Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System. In 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). doi: 10.1109/SIBIRCON48586.2019.8958153

Author

Vikent'Ev, Alexander ; Serov, Michail ; Vikentiev, Ruslan et al. / Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System. SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 664-669 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

BibTeX

@inproceedings{9e3710459c6d4371bd520b49c5beedb4,
title = "Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System",
abstract = "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.",
keywords = "clustering, intellectual system, logical statements, n-valued logic",
author = "Alexander Vikent'Ev and Michail Serov and Ruslan Vikentiev and Vladimir Berikov",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 ; Conference date: 21-10-2019 Through 27-10-2019",
year = "2019",
month = oct,
doi = "10.1109/SIBIRCON48586.2019.8958153",
language = "English",
series = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "664--669",
booktitle = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
address = "United States",

}

RIS

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