Formal Logics of Discovery and Hypothesis Formation by Machine

0404722 - UIVT-O 20020165 RIV NL eng J - Journal Article
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
Institutional research plan: AV0Z1030915
Keywords : logic of discovery * hypothesis generation * GUHA method * data analysis * data mining * fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 0.764, year: 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.
Permanent Link: http://hdl.handle.net/11104/0124960