Formal Logics of Discovery and Hypothesis Formation by Machine

0404722 - UIVT-O 20020165 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr - Holeňa, Martin
Formal Logics of Discovery and Hypothesis Formation by Machine.
Theoretical Computer Science. Roč. 292, č. 2 (2003), s. 345-357. ISSN 0304-3975. E-ISSN 1879-2294
Výzkumný záměr: AV0Z1030915
Klíčová slova: logic of discovery * hypothesis generation * GUHA method * data analysis * data mining * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.764, rok: 2003

The aims of the paper include: (1) To call the attention of the community of Discovery Science (DS) to certain existing formal systems for DS developed in Prague in the 1960s through the 1980s suitable for DS and unfortunately largely unknown. (2) To illustrate the use of the calculi in question by the example of the GUHA method of hypothesis generation by computer, subjecting this method to a critical evaluation in the context of contemporary data mining.
Trvalý link: http://hdl.handle.net/11104/0124960