<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>On the names of implication</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Sergei O. Kuznetsov</string-name>
          <email>skuznetsov@hse.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Higher School of Economics</institution>
          ,
          <addr-line>Moscow</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>We discuss relationships of attribute implications to various tools in computer science and artificial intelligence: functional dependencies, horn theories, emergent patterns, disjunctive version spaces, and concept-based hypotheses. The intractability of computing implication bases seems to be the main challenge for the use of implications 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.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>