A Computational Model for Logical Analysis of Data

07/12/2022
by   Danièle Gardy, et al.
0

Initially introduced by Peter Hammer, Logical Analysis of Data is a methodology that aims at computing a logical justification for dividing a group of data in two groups of observations, usually called the positive and negative groups. Consider this partition into positive and negative groups as the description of a partially defined Boolean function; the data is then processed to identify a subset of attributes, whose values may be used to characterize the observations of the positive groups against those of the negative group. LAD constitutes an interesting rule-based learning alternative to classic statistical learning techniques and has many practical applications. Nevertheless, the computation of group characterization may be costly, depending on the properties of the data instances. A major aim of our work is to provide effective tools for speeding up the computations, by computing some a priori probability that a given set of attributes does characterize the positive and negative groups. To this effect, we propose several models for representing the data set of observations, according to the information we have on it. These models, and the probabilities they allow us to compute, are also helpful for quickly assessing some properties of the real data at hand; furthermore they may help us to better analyze and understand the computational difficulties encountered by solving methods. Once our models have been established, the mathematical tools for computing probabilities come from Analytic Combinatorics. They allow us to express the desired probabilities as ratios of generating functions coefficients, which then provide a quick computation of their numerical values. A further, long-range goal of this paper is to show that the methods of Analytic Combinatorics can help in analyzing the performance of various algorithms in LAD and related fields.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/21/2022

Positive and negative cycles in Boolean networks

We review and discuss some results about the influence of positive and n...
research
10/11/2020

Group Testing for Efficiently Sampling Hypergraphs When Tests Have Variable Costs

In the group-testing literature, efficient algorithms have been develope...
research
11/17/2019

Prototypical Networks for Multi-Label Learning

We propose to address multi-label learning by jointly estimating the dis...
research
04/18/2019

SPONGE: A generalized eigenproblem for clustering signed networks

We introduce a principled and theoretically sound spectral method for k-...
research
08/19/2020

Tractable Inference in Credal Sentential Decision Diagrams

Probabilistic sentential decision diagrams are logic circuits where the ...
research
07/03/2020

Logical Separability of Incomplete Data under Ontologies

Finding a logical formula that separates positive and negative examples ...
research
05/03/2022

Assessing Confidence with Assurance 2.0

An assurance case is intended to provide justifiable confidence in the t...

Please sign up or login with your details

Forgot password? Click here to reset