Unique factorization theorem and formal concept analysis

被引:0
|
作者
Mihok, Peter [1 ,2 ]
Semanisin, Gabriel [3 ]
机构
[1] Tech Univ Kosice, Fac Econ, Dept Appl Math, B Nemcovej 32, Kosice 04001, Slovakia
[2] Slovak Acad Sci, Math Inst, Kosice 04001, Slovakia
[3] Safarik Univ, Inst Comp Sci, Fac Sci, Kosice 04154, Slovakia
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In the theory of generalised colourings of graphs, the Unique Factorization Theorem (UFT) for additive induced-hereditary properties of graphs provides an analog of the well-known Fundamental Theorem of Arithmetics. The purpose of this paper is to present a new, less complicated, proof of this theorem that is based on Formal Concept Analysis. The method of the proof can be successfully applied even for more general mathematical structures known as relational structures.
引用
收藏
页码:232 / +
页数:2
相关论文
共 50 条
  • [41] Bounding Stability in Formal Concept Analysis
    Bhuyan, Bikram P.
    Karmakar, Arindam
    Hazarika, Shyamanta M.
    [J]. ADVANCED COMPUTATIONAL AND COMMUNICATION PARADIGMS, VOL 2, 2018, 706 : 545 - 552
  • [42] Formal Concept Analysis for digital ecosystem
    Fu, Huaiguo
    [J]. ICMLA 2006: 5TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, PROCEEDINGS, 2006, : 143 - 148
  • [43] The philosophical backgrounds of Formal Concept Analysis
    Porwolik, Marek
    [J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2012, 2012, 8454
  • [44] Typicality: A formal concept analysis account
    Belohlavek, Radim
    Mikula, Tomas
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2022, 142 : 349 - 369
  • [45] Functorial properties of formal concept analysis
    Mori, Hideo
    [J]. Conceptual Structures: Knowledge Architectures for Smart Applications, Proceedings, 2007, 4604 : 505 - 508
  • [46] Formal concept analysis with C++
    Duwel, S
    Hesse, W
    [J]. KNOWLEDGE ORGANIZATION, 1998, 25 (1-2): : 47 - 47
  • [47] A triadic approach to formal concept analysis
    Lehmann, F
    Wille, R
    [J]. CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 32 - 43
  • [48] Formal concept analysis on fuzzy sets
    Shen, Lili
    Zhang, Dexue
    [J]. PROCEEDINGS OF THE 2013 JOINT IFSA WORLD CONGRESS AND NAFIPS ANNUAL MEETING (IFSA/NAFIPS), 2013, : 215 - 219
  • [49] Similarity measures in formal concept analysis
    Faris Alqadah
    Raj Bhatnagar
    [J]. Annals of Mathematics and Artificial Intelligence, 2011, 61 : 245 - 256
  • [50] A logical generalization of formal concept analysis
    Ferré, S
    Ridoux, O
    [J]. CONCEPTUAL STRUCTURES: LOGICAL, LINGUISTIC, AND COMPUTATIONAL ISSUES, PROCEEDINGS, 2000, 1867 : 371 - 384