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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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.

Original languageEnglish
Title of host publicationSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages664-669
Number of pages6
ISBN (Electronic)9781728144016
DOIs
Publication statusPublished - Oct 2019
Event2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Russian Federation
Duration: 21 Oct 201927 Oct 2019

Publication series

NameSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Conference

Conference2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
CountryRussian Federation
CityNovosibirsk
Period21.10.201927.10.2019

Keywords

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

Fingerprint Dive into the research topics of 'Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System'. Together they form a unique fingerprint.

Cite this