Formal logics of discovery and hypothesis formation by machine

  • Authors:
  • Petr Hájek;Martin Holena

  • Affiliations:
  • Institute of Computer Science, Academy of Sciences, Pod vodárenskou vezí 2, CZ-182 07 Prague, Czech Republic;Institute of Computer Science, Academy of Sciences, Pod vodárenskou vezí 2, CZ-182 07 Prague, Czech Republic

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2003

Quantified Score

Hi-index 5.23

Visualization

Abstract

The following are the aims of the paper: (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. (3) To stress the importance of fuzzy logic for DS and to present the state of mathematical foundations of fuzzy logic. (4) Finally, to present a running research program of developing calculi of symbolic fuzzy logic for DS and for a fuzzy GUHA method.