Closures in Binary Partial Algebras

被引:0
|
作者
Zhang, Guo-Qiang [1 ]
机构
[1] Case Western Reserve Univ, Dept Elect Engn & Comp Sci, Cleveland, OH 44022 USA
关键词
Partial algebra; algorithm; closure; formal concept analysis; resolution principle;
D O I
10.1016/j.entcs.2009.11.023
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Two procedures for computing closures in binary partial algebras (BPA) are introduced: a Fibonacci-style procedure for closures in associative BPAs, and a multistage procedure for closures in associative, commutative and idempotent BPAs. Ramifications in areas such as resolution theorem proving, graph-theoretic algorithms, formal languages and formal concept analysis are discussed. In particular, the multistage procedure, when applied to formal concept analysis, results in a new algorithm outperforming leading algorithms for computing concept sets.
引用
收藏
页码:3 / 18
页数:16
相关论文
共 50 条
  • [31] Pseudo-BCK algebras as partial algebras
    Vetterlein, T.
    INFORMATION SCIENCES, 2010, 180 (24) : 5101 - 5114
  • [32] Normality of orbit closures for directing modules over tame algebras
    Bobinski, G
    Zwara, G
    JOURNAL OF ALGEBRA, 2006, 298 (01) : 120 - 133
  • [33] GRADED LIE PE-ALGEBRAS AND PE-CLOSURES
    WINTER, DJ
    COMMUNICATIONS IN ALGEBRA, 1989, 17 (09) : 2067 - 2084
  • [34] Frequent closures as a concise representation for binary data mining
    Boulicaut, JF
    Bykowski, A
    KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS: CURRENT ISSUES AND NEW APPLICATIONS, 2000, 1805 : 62 - 73
  • [35] On abelian closures of infinite non-binary words
    Karhumaki, Juhani
    Puzynina, Svetlana
    Whiteland, Markus A.
    DISCRETE MATHEMATICS, 2024, 347 (09)
  • [36] The structure of solid binary algebras
    Broeksteeg, R
    ALGEBRA UNIVERSALIS, 1996, 35 (04) : 506 - 523
  • [37] On Clifford Algebras and Binary Integers
    Budinich, Marco
    ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2017, 27 (02) : 1007 - 1017
  • [38] Cluster Algebras and Binary Subwords
    Rachel Bailey
    Emily Gunawan
    Order, 2022, 39 : 55 - 69
  • [39] Groups and algebras of binary relations
    Givant, S
    Andreka, H
    BULLETIN OF SYMBOLIC LOGIC, 2002, 8 (01) : 38 - 64
  • [40] BINARY RELATIONS AND ALGEBRAS ON MULTISETS
    Ghilezan, Silvia
    Pantovic, Jovanka
    Vojvodic, Gradimir
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2014, 95 (109): : 111 - 117