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

Alexander Vikent'Ev; Michail Serov; Ruslan Vikentiev; Vladimir Berikov

doi:10.1109/SIBIRCON48586.2019.8958153

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

Alexander Vikent'Ev, Michail Serov, Ruslan Vikentiev, Vladimir Berikov

Кафедра общей информатики ФИТ

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

Аннотация

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.

Язык оригинала	английский
Название основной публикации	SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
Издатель	Institute of Electrical and Electronics Engineers Inc.
Страницы	664-669
Число страниц	6
ISBN (электронное издание)	9781728144016
DOI	https://doi.org/10.1109/SIBIRCON48586.2019.8958153
Состояние	Опубликовано - окт 2019
Событие	2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Российская Федерация Продолжительность: 21 окт 2019 → 27 окт 2019

Серия публикаций

Название	SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Конференция

Конференция	2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
Страна	Российская Федерация
Город	Novosibirsk
Период	21.10.2019 → 27.10.2019

Доступ к документу

10.1109/SIBIRCON48586.2019.8958153

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Vikent'Ev, A., Serov, M., Vikentiev, R., & Berikov, V. (2019). 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 (стр. 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

Vikent'Ev, Alexander ; Serov, Michail ; Vikentiev, Ruslan ; Berikov, Vladimir. / 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. стр. 664-669 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

@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",

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",

note = "2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 ; Conference date: 21-10-2019 Through 27-10-2019",

}

Vikent'Ev, A, Serov, M, Vikentiev, R & Berikov, V 2019, 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., 8958153, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, Institute of Electrical and Electronics Engineers Inc., стр. 664-669, 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019, Novosibirsk, Российская Федерация, 21.10.2019. https://doi.org/10.1109/SIBIRCON48586.2019.8958153

Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System. / Vikent'Ev, Alexander; Serov, Michail; Vikentiev, Ruslan ; Berikov, Vladimir.

SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. стр. 664-669 8958153 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

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

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 -

Vikent'Ev A, Serov M, Vikentiev R , Berikov V. 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. стр. 664-669. 8958153. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). https://doi.org/10.1109/SIBIRCON48586.2019.8958153