Showing 1–4 of 4 results for author: Tîrnăucă, C

Learning Definite Horn Formulas from Closure Queries

Authors: Marta Arias, José L. Balcázar, Cristina Tîrnăucă

Abstract: A definite Horn theory is a set of n-dimensional Boolean vectors whose characteristic function is expressible as a definite Horn formula, that is, as conjunction of definite Horn clauses. The class of definite Horn theories is known to be learnable under different query learning settings, such as learning from membership and equivalence queries or learning from entailment. We propose yet a differe… ▽ More A definite Horn theory is a set of n-dimensional Boolean vectors whose characteristic function is expressible as a definite Horn formula, that is, as conjunction of definite Horn clauses. The class of definite Horn theories is known to be learnable under different query learning settings, such as learning from membership and equivalence queries or learning from entailment. We propose yet a different type of query: the closure query. Closure queries are a natural extension of membership queries and also a variant, appropriate in the context of definite Horn formulas, of the so-called correction queries. We present an algorithm that learns conjunctions of definite Horn clauses in polynomial time, using closure and equivalence queries, and show how it relates to the canonical Guigues-Duquenne basis for implicational systems. We also show how the different query models mentioned relate to each other by either showing full-fledged reductions by means of query simulation (where possible), or by showing their connections in the context of particular algorithms that use them for learning definite Horn formulas. △ Less

Submitted 9 November, 2015; v1 submitted 31 March, 2015; originally announced March 2015.

Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices

Authors: José L. Balcázar, Cristina Tîrnăucă

Abstract: The Border algorithm and the iPred algorithm find the Hasse diagrams of FCA lattices. We show that they can be generalized to arbitrary lattices. In the case of iPred, this requires the identification of a join-semilattice homomorphism into a distributive lattice. The Border algorithm and the iPred algorithm find the Hasse diagrams of FCA lattices. We show that they can be generalized to arbitrary lattices. In the case of iPred, this requires the identification of a join-semilattice homomorphism into a distributive lattice. △ Less

Submitted 3 December, 2010; originally announced December 2010.

ACM Class: I.2.4; F.4.1

Closed-set-based Discovery of Bases of Association Rules

Authors: José L. Balcázar, Diego García-Saiz, Domingo Gómez-Pérez, Cristina Tîrnăucă

Abstract: The output of an association rule miner is often huge in practice. This is why several concise lossless representations have been proposed, such as the "essential" or "representative" rules. We revisit the algorithm given by Kryszkiewicz (Int. Symp. Intelligent Data Analysis 2001, Springer-Verlag LNCS 2189, 350-359) for mining representative rules. We show that its output is sometimes incomplete… ▽ More The output of an association rule miner is often huge in practice. This is why several concise lossless representations have been proposed, such as the "essential" or "representative" rules. We revisit the algorithm given by Kryszkiewicz (Int. Symp. Intelligent Data Analysis 2001, Springer-Verlag LNCS 2189, 350-359) for mining representative rules. We show that its output is sometimes incomplete, due to an oversight in its mathematical validation. We propose alternative complete generators and we extend the approach to an existing closure-aware basis similar to, and often smaller than, the representative rules, namely the basis B*. △ Less

Submitted 24 March, 2011; v1 submitted 3 December, 2010; originally announced December 2010.

Comments: Shorter version in: Ali Khenchaf and Pascal Poncelet (eds.), Extraction et gestion des connaissances (EGC'2011)

ACM Class: H.2.8; I.2.3; F.4.1

Journal ref: Revue des Nouvelles Technologies de l'Information RNTI-E-20 (2011), pages 635-646

Properties of quasi-alphabetic tree bimorphisms

Authors: Andreas Maletti, Catalin Ionut Tirnauca

Abstract: We study the class of quasi-alphabetic relations, i.e., tree transformations defined by tree bimorphisms with two quasi-alphabetic tree homomorphisms and a regular tree language. We present a canonical representation of these relations; as an immediate consequence, we get the closure under union. Also, we show that they are not closed under intersection and complement, and do not preserve most c… ▽ More We study the class of quasi-alphabetic relations, i.e., tree transformations defined by tree bimorphisms with two quasi-alphabetic tree homomorphisms and a regular tree language. We present a canonical representation of these relations; as an immediate consequence, we get the closure under union. Also, we show that they are not closed under intersection and complement, and do not preserve most common operations on trees (branches, subtrees, v-product, v-quotient, f-top-catenation). Moreover, we prove that the translations defined by quasi-alphabetic tree bimorphism are exactly products of context-free string languages. We conclude by presenting the connections between quasi-alphabetic relations, alphabetic relations and classes of tree transformations defined by several types of top-down tree transducers. Furthermore, we get that quasi-alphabetic relations preserve the recognizable and algebraic tree languages. △ Less

Submitted 12 June, 2009; originally announced June 2009.

Comments: 15 pages, 1 figure

ACM Class: F.4.3