| Reading (.pdf) | Lecture Notes (.ppt) |
| Chapter 1: Computational Scientific Discovery, What's the
Big Deal? Chapter 2: Logical Empiricism, A First Attempt At A ComputerFriendly Philosophy of Science |
Lecture 1 |
| Chapter 3: Philosophy of Science After Logical Empiricism | Lecture 2 |
| Chapter 4: Computational Data, Data Structures and Reasoning in Science | Lecture 3 |
| Chapter 5: Machine Learning and Model Search | Lecture 4 |
| Chapter 6: BACON and Related Programs Appendix A: The Plate Tectonics Paradigm |
Lecture 5a (Bacon) Lecture 5b (Plate Tectonics) |
| Chapter 7: MECHEM | Lecture 6 |
| Chapter 8: Scientific Processes and IDS | Lecture 7 |
| Lagramge (sp) and Inductive Process Modeling | Lecture 8 |
| The Scienceomatic (I) | Lecture 9 |
| The Scienceomatic (II) | Lecture 10 |
I am working on a definition of a new language for scientific knowledge called the Scienceomatic 6. Specifications for it are here. Note: This is a "living document", please check back early and often. (Last modified 2008 Jan 31)
Evelyn Lulis and I are hosting this year's MAICS conference at DePaul CTI. Please register here
I am interested in Computational Scientific Discovery ("CSD"), a small but growing field concerned with developing algorithms and software to help practicing scientists build scientific models.
My own unique approach to CSD is to represent both scientific model knowledge
and background cultural knowledge.
This serves several purposes: