Formal logics of discovery and hypothesis formation by machine
From MaRDI portal
Publication:1870530
DOI10.1016/S0304-3975(02)00175-5zbMATH Open1018.03025MaRDI QIDQ1870530FDOQ1870530
Authors: Petr Hájek, Martin Holeňa 
Publication date: 14 May 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
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
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Other applications of logic (03B80)
Cites Work
- GUHA for personal computers
- Title not available (Why is that?)
- Statistics with vague data
- Metamathematics of fuzzy logic
- Title not available (Why is that?)
- Mechanizing hypothesis formation. Mathematical foundations for a general theory
- Set-oriented data mining in relational databases
- The GUHA method of automatic hypotheses determination
- Towards a model theory of statistical theories
- Complexity in mechanized hypothesis formation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Statistical quantifiers in observational calculi: An application in GUHA- methods
- On generation of inductive hypotheses
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decision problems of some statistically motivated monadic modal calculi
- On a semantics for neural networks based on fuzzy quantifiers
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Measures of ruleset quality for general rules extraction methods
- Mechanizing hypothesis formation. Principles and case studies
- The GUHA method and its meaning for data mining
- Title not available (Why is that?)
- Measures of Ruleset Quality Capable to Represent Uncertain Validity
- 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
Uses Software
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)
