Axiomatization of classes of domain cases based on FCA

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

Аннотация

The article is devoted to the application of Formal Concept Analysis to the development of domain semantic models. The paper deals with the problem of axiomatization of classes of cases from various domains. The research is based on the model theoretical approach to the formalization of domains and on Formal Concept Analysis. We consider the four-level semantic model that conceptually describes the given domain. The third level of the semantic model is the set of domain cases. To describe sets of domain cases we use formal contexts; the objects of these formal contexts are models formalizing domain cases. We represent classes of domain cases as classes of models having different signatures. Theories of classes of domain cases and axiomatizable classes of domain cases are investigated. They are defined as intents and extents of formal concepts of the corresponding formal contexts. It is shown that the introduced notion of theory of class of cases, i.e., theory of class containing models with different signatures, is a generalization of the notion of theory of a class of models in the classical sense.

Язык оригиналаанглийский
Название основной публикацииArtificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings
РедакторыSergei O. Kuznetsov, Aleksandr I. Panov, Konstantin S. Yakovlev
ИздательSpringer Science and Business Media Deutschland GmbH
Страницы3-14
Число страниц12
ISBN (печатное издание)9783030595340
DOI
СостояниеОпубликовано - 2020
Событие18th Russian Conference on Artificial Intelligence, RCAI 2020 - Moscow, Российская Федерация
Продолжительность: 10 окт 202016 окт 2020

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

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том12412 LNAI
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция18th Russian Conference on Artificial Intelligence, RCAI 2020
СтранаРоссийская Федерация
ГородMoscow
Период10.10.202016.10.2020

Fingerprint Подробные сведения о темах исследования «Axiomatization of classes of domain cases based on FCA». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать