Formal logics of discovery and hypothesis formation by machine

DOI10.1016/S0304-3975(02)00175-5zbMath1018.03025MaRDI QIDQ1870530

Martin Holeňa, Petr Hájek

Publication date: 14 May 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

fuzzy logicdata analysisdata mininglogic of discoveryGUHA methodhypothesis generation

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Other applications of logic (03B80)

Related Items

Measures of Ruleset Quality Capable to Represent Uncertain Validity, Measures of ruleset quality for general rules extraction methods, The GUHA method and its meaning for data mining

Uses Software

• GUHA

Cites Work

• GUHA for personal computers
• Statistics with vague data
• Statistical quantifiers in observational calculi: An application in GUHA- methods
• Mechanizing hypothesis formation. Mathematical foundations for a general theory
• Towards a model theory of statistical theories
• Complexity in mechanized hypothesis formation
• Metamathematics of fuzzy logic
• The GUHA method of automatic hypotheses determination
• Set-oriented data mining in relational databases
• Decision problems of some statistically motivated monadic modal calculi
• On a semantics for neural networks based on fuzzy quantifiers
• On generation of inductive hypotheses
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item