Formal logics of discovery and hypothesis formation by machine

DOI10.1016/S0304-3975(02)00175-5MaRDI QIDQ1870530zbMATH OpenFDO

Authors Petr Hájek, Martin Holeňa

Publication date 14 May 2003

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

zbMATH Keywords

data miningdata analysisfuzzy logiclogic 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)

Recommendations

• A Formal Logic for Abductive Reasoning
• Inductive logic, verisimilitude, and machine learning
• Logical formalization and the formation of logic(s)
• scientific article; zbMATH DE number 1746693
• Structured theory development for a mechanized logic
• scientific article; zbMATH DE number 1670908
• Probability, logic and learning synthesis: formalizing the prediction concept
• scientific article; zbMATH DE number 798660
• Formalizing the Logic-Automaton Connection

Cites work

• scientific article; zbMATH DE number 3909783 (Why is no real title available?)
• scientific article; zbMATH DE number 3507789 (Why is no real title available?)
• scientific article; zbMATH DE number 3550205 (Why is no real title available?)
• scientific article; zbMATH DE number 3637090 (Why is no real title available?)
• scientific article; zbMATH DE number 1304904 (Why is no real title available?)
• scientific article; zbMATH DE number 1041844 (Why is no real title available?)
• scientific article; zbMATH DE number 1071876 (Why is no real title available?)
• scientific article; zbMATH DE number 3412190 (Why is no real title available?)
• Complexity in mechanized hypothesis formation
• Decision problems of some statistically motivated monadic modal calculi
• GUHA for personal computers
• Mechanizing hypothesis formation. Mathematical foundations for a general theory
• Metamathematics of fuzzy logic
• On a semantics for neural networks based on fuzzy quantifiers
• On generation of inductive hypotheses
• Set-oriented data mining in relational databases
• Statistical quantifiers in observational calculi: An application in GUHA- methods
• Statistics with vague data
• The GUHA method of automatic hypotheses determination
• Towards a model theory of statistical theories

Cited in

(6)

• The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
• Mechanizing hypothesis formation. Principles and case studies
• Measures of Ruleset Quality Capable to Represent Uncertain Validity
• scientific article; zbMATH DE number 732056 (Why is no real title available?)
• The GUHA method and its meaning for data mining
• Measures of ruleset quality for general rules extraction methods

Describes a project that uses

Uses Software

• GUHA

This page was built for publication: Formal logics of discovery and hypothesis formation by machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1870530)