The 13th International Conference on Concept Lattices and Their Applications (original) (raw)

В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.

• A

• A

• A

• ABC

• ABC

• ABC

• А

• А

• А

• А

• А

Regular version of the site

Benchmarks

At this part of workshop participants will present work of developed program on standard datasets.
Input of the program: One file in .cxt or .fimi or .json format. The file should contains formal context.

Output of the program:One file in .cxt or .fimi or .json format. The file should contains set of concepts.

Basic Formal Concept Analysis tasks

Generation of

• a specified subset of formal concepts,
• FCA covering relation,
• implication bases,
• layout of FCA diagram (visualization).

Datasets

• Standard datasets from UCI Repository.
• Special sequences of formal contexts with increased complexity.

File formats

Main file format for storing formal context is Burmeister's CXT (see Main FCART data formats).

Standard benchmarks for algorithms

Need to specify. We have some suggestions and experience, but additional ideas are greatly appreciated.

Main tasks

Generation of

• a specified subset of formal concepts,
• FCA covering relation,
• implication bases,
• layout of FCA diagram (visualization).
• frequent subsets.

Generation ofa specified subset of formal concepts

Variations:

1. All formal concepts.
2. All formal concepts with size of extent > K.
3. All formal concepts with size of intent > K.

Input: Binary formal context (cxt, fimi, …)

Output: Set of concepts ()(в каком формате?)

1. Datasets
   1. UCI
   2. Families of random contexts
   3. Participants datasets
2. Formats requirements
   1. Cxt, csv, json
   2. Input.txt with formal context in cxt-format
   3. Output.txt for the cases
      1. Concepts
      2. lattice