• Aucun résultat trouvé

On the Names of Implication

N/A
N/A
Protected

Academic year: 2022

Partager "On the Names of Implication"

Copied!
1
0
0

Texte intégral

(1)

On the names of implication

Sergei O. Kuznetsov

Higher School of Economics, Moscow skuznetsov@hse.ru

Abstract.We discuss relationships of attribute implications to various tools in com- puter science and artificial intelligence: functional dependencies, horn theories, emer- gent patterns, disjunctive version spaces, and concept-based hypotheses. The intractabil- ity of computing implication bases seems to be the main challenge for the use of im- plications in analyzing large data collections. Alternatives to generation of implication bases such as lazy-learning classification, target-driven generation of classifiers, and sampling are considered.

Références

Documents relatifs

The input data to formal concept analysis consist of a col- lection of objects, a collection of attributes, and a table describing a relationship between objects and

This result can be extended to any given field L which is a finite extension of the rational numbers: From Faltings’ theorem we know that there are only finitely many six

In [1] such preferences were modelled in the language of Formal Concept Analysis as follows: An attribute dependency formula (AD formula) over a set M of attributes is A ⊑ B, where A,

Name Price Category Gizmo 19.99 Gadget OneClick 24.99 Camera Gizmo 19.99 Camera. Name Price Gizmo 19.99 OneClick 24.99

There is a period domain D n which classifies polarized Hodge structures of the type correspond- ing to smooth cubic hypersurfaces of dimension n... The period map for cubic surfaces

Development in Africa (CCDA–VI), the continent’s premier climate change conference will take place here from 18-20 October, bringing together diverse stakeholders to understand

By contrast, acyclic CP-nets are what is called attribute-efficiently learnable when both equivalence queries and membership queries are available: we indeed provide a learning

Instead of writing down equations for the Hurwitz space Bel d (X), we enumerate all Bely˘ı maps and effectively compute equations to check for isomorphism between curves.. We saw