Mechanizing hypothesis formation. Mathematical foundations for a general theory

From MaRDI portal
Publication:1243269

zbMath0371.02002MaRDI QIDQ1243269

Tomas Havranek, Petr Hájek

Publication date: 1978

Published in: Universitext (Search for Journal in Brave)




Related Items

Statistical decisions under nonparametric a priori information, Probabilities over rich languages, testing and randomness, Semantic analysis of inductive reasoning, A calculus for containment of fuzzy attributes, A characterization of fuzzy implications generated by generalized quantifiers, Fuzzy hypotheses testing in the framework of fuzzy logic, Mining pure linguistic associations from numerical data, Fuzzy transform in the analysis of data, Unnamed Item, Local and Regional vs. Global Contingency Testing, Detection of fuzzy association rules by fuzzy transforms, Petr Hájek: A Scientific Biography, lfl: an R package for linguistic fuzzy logic, Relativized logspace and generalized quantifiers over finite ordered structures, Generalizing the concept of binary choice systems induced by rankings: One way of probabilizing deterministic measurement structures, Spark solutions for discovering fuzzy association rules in big data, Boolean factors as a means of clustering of interestingness measures of association rules, Comparing the asymptotic power of exact tests in \(2\times 2\) tables, Measures of ruleset quality for general rules extraction methods, Construction of implicational quantifiers from fuzzy implications, Fuzzy Rule-Based Ensemble Forecasting: Introductory Study, Complexity in mechanized hypothesis formation, Unnamed Item, Unnamed Item, On special fuzzy implications, On modelling with words, Fuzzy four-fold tables: their properties and use in fuzzy association analysis, The GUHA method and its meaning for data mining, On the definability of properties of finite graphs, Structural properties of UMPU-tests for \(2\times 2\) tables and some applications, Plausible inferences and plausible reasoning, Formal logics of discovery and hypothesis formation by machine, MCP: capturing big data by satisfiability (tool description)