Mechanizing hypothesis formation. Principles and case studies

DOI10.1201/9781003091448MaRDI QIDQ5045011zbMATH OpenOpenAlexFDO

Authors Jan Rauch, Milan Šimůnek, David Chudán, Petr Máša

Publication date 3 November 2022

Full work available at URL https://doi.org/10.1201/9781003091448

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to statistics (62-02) Causal inference from observational studies (62D20) Hypothesis testing in multivariate analysis (62H15) Contingency tables (62H17) Measures of association (correlation, canonical correlation, etc.) (62H20) Statistical aspects of big data and data science (62R07) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Learning and adaptive systems in artificial intelligence (68T05) Computational aspects of data analysis and big data (68T09) Logic in artificial intelligence (68T27)

Recommendations

• GUHA for personal computers
• Formal logics of discovery and hypothesis formation by machine
• Theory and Applications of Relational Structures as Knowledge Instruments
• Observational calculi and association rules
• scientific article; zbMATH DE number 3928072

Cited in

(6)

• Formalizing hypotheses with concepts
• The GUHA method and observational calculi: tools for data mining
• Bayesian assaying of GUHA nuggets
• scientific article; zbMATH DE number 3928072 (Why is no real title available?)
• GUHA for personal computers
• Fuzzy rules with quantifiers as weights

This page was built for publication: Mechanizing hypothesis formation. Principles and case studies

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