Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System

Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System Full article

Source

SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
Compilation, 2019. ISBN 978-172814401-6.

Output data

Year: 2019, Pages: 0664-0669 Pages count : 6 DOI: 10.1109/SIBIRCON48586.2019.8958153

Tags

clustering; intellectual system; logical statements; n-valued logic

Authors

Vikent'ev Alexander ¹ , Serov Michail ² , Vikentiev Ruslan ² , Berikov Vladimir ¹

Affiliations

1	Sobolev Institute of mathematics SB RAS
2	Novosibirsk State University

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.

Vikent'ev A. , Serov M. , Vikentiev R. , Berikov V.
Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System
In compilation SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. 2019. – C.0664-0669. – ISBN 978-172814401-6. DOI: 10.1109/SIBIRCON48586.2019.8958153 Scopus OpenAlex

Scopus:	2-s2.0-85079063673
OpenAlex:	W2999879046

DB	Citing
OpenAlex	1