Formální analýza pojetí

Formální analýza pojetí je metoda analýzy dat, která najde “přirozené” chumáče objektů a jejich vlastnosti v datové sadě vstupu. Skupiny jsou přirozené v hrubě stejný cítit to definice v termínech individuálně nutný a společně dostatečné podmínky (nebo, jinak, extensionss takových definic) být přirozený.

Daný soubor objektů O, soubor attributues, a znamení kterých objektů mají které atributy, analýza pojetí:

1. najde všechna “pojetí” v datové sadě vstupu, kde pojetí je definováno jak (O_c a sube; O,_c a sube;) pár takový to) každý objekt v O_c má každý atribut v_c a B) každý objekt v O (ne O_c) to má každý atribut v_c je v O_c.
2. produkuje mříž signalizovat která pojetí jsou přísná subconcepts kterých jiných pojetí.

Poskytoval vstup objekty a pojetí vstupu poskytnou kompletní popis světa (nikdy pravdivý v praxi, ale možná rozumné přiblížení), pak:

1. soubor atributů v každém pojetí může být interpretován jako soubor singly nutný a společně dostatečné podmínky pro definovat soubor objektů v pojetí.
2. jestliže soubor atributů je ne identifikoval jak pojetí algoritmem pak ty atributy nejsou singly nutní a společně dostatečný pro definovat některého non-vyprázdnit podmnožinu objektů na světě.

...

Viz též

• učení stroje
• unsupervised učení

Další četba

• [1]: soubor přednášek popisovat formální pojetí test na vědce počítače