Mechanizing Hypothesis Formation

Principles and Case Studies

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

$315

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

CRC Press
20 October 2022

Mathematical logic; Probability & statistics; Algorithms & data structures; Databases; Computer science

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?”. The development resulted in a general theory of logic of discovery. It comprises theoretical calculi dealing with theoretical statements as well as observational calculi dealing with observational statements concerning finite results of observation. Both calculi are related through statistical hypotheses tests. A GUHA method is a tool of the logic of discovery. It uses a one-to-one relation between theoretical and observational statements to get all interesting theoretical statements. A GUHA procedure generates all interesting observational statements and verifies them in a given observational data. Output of the procedure consists of all observational statements true in the given data. Several GUHA procedures dealing with association rules, couples of association rules, action rules, histograms, couples of histograms, and patterns based on general contingency tables are involved in the LISp-Miner system developed at the Prague University of Economics and Business. Various results about observational calculi were achieved and applied together with the LISp-Miner system.

The book covers a brief overview of logic of discovery. Many examples of applications of the GUHA procedures to solve real problems relevant to data mining and business intelligence are presented. An overview of recent research results relevant to dealing with domain knowledge in data mining and its automation is provided. Firsthand experiences with implementation of the GUHA method in the Python language are presented.

By: Jan Rauch, Milan Šimůnek, David Chudán, Petr Máša
Imprint: CRC Press
Country of Publication: United Kingdom
Dimensions: Height: 234mm, Width: 156mm,
Weight: 739g
ISBN: 9780367549800
ISBN 10: 0367549808
Pages: 346
Publication Date: 20 October 2022
Audience: General/trade , ELT Advanced
Format: Hardback
Publisher's Status: Active

1. Introduction 2. Data Sets SECTION I: THE GUHA PROCEDURES 3. Principle and Simple Examples 4. Common Features 5. LISp-Miner System SECTION II: APPLYING THE GUHA PROCEDURES 6. Examples Overview 7. 4ft-Miner – GUHA Association Rules 8. CF-Miner – Histograms 9. KL-Miner – Pairs of Categorical Attributes 10. SD-4ft-Miner – Couples of GUHA Association Rules 11. SDCF-Miner – Couples of Histograms 12. SDKL-Miner – Couples of Pairs of Categorical Attributes 13. Ac4ft-Miner – Action Rules 14. GUHA Procedures and Business Intelligence 15. CleverMiner – GUHA and Python SECTION III: RELATED RESEARCH AND THEORY 16. Artificial Data Generation and LM ReverseMiner Module 17. Applying Domain Knowledge 18. Observational Calculi

Jan Rauch graduated from the Faculty of Mathematics and Physics of Charles University in Prague. He received his Ph.D. in Mathematical Logic in 1987 from the Institute of Mathematics of the Czechoslovak Academy of Sciences. He is a full professor at the Department of Information and Knowledge Engineering, Prague University of Economics and Business since 2011. Milan Šimůnek is an associate professor (since 2012) at the Faculty of Informatics and Statistics, Prague University of Economics and Business. His research activities include data mining, databases, virtual reality and software projects development. He is the software project leader of the LISp-Miner system since its launch in 1996 and author of its core-modules implementation. David Chudán is an assistant professor of Applied Informatics at the Faculty of Informatics and Statistics, Prague University of Economics and Business. He received his Ph.D. in 2015 in the field of Applied informatics. His research interests include data mining and machine learning on different tools and platforms. Another research area is GUHA association rules and their complementary usage with business intelligence. Petr Máša graduated from the Prague University of Economics and Business and the Faculty of Mathematics and Physics of Charles University in Prague. He received his Ph.D. in 2006. He also works on business projects where he uses data mining, data science, data analytics and he is also business responsible.