Alison Pease

home research papers phd hrl thesis 

A Computational Model of Lakatos-style Reasoning

Thesis [ps.gz]

Abstract [ps.gz]

Acknowledgements [ps.gz]

Table of contents [ps.gz]

Chapter One: Introduction [ps.gz]

Chapter Two: Motivation [ps.gz]

Chapter Three: Background [ps.gz]

Chapter Four: Overview of HRL [ps.gz]

Chapter Five: The method of surrender [ps.gz]

Chapter Six: The method of monster-barring [ps.gz]

Chapter Seven: The method of exception-barring [ps.gz]

Chapter Eight: A computational representation of Cauchy's proof [ps.gz]

Chapter Nine: The method of lemma-incorporation [ps.gz]

Chapter Ten: Testing hypotheses in HRL [ps.gz]

Chapter Eleven: Philosophical evaluation of the project [ps.gz]

Chapter Twelve: Application to automated theorem proving [ps.gz]

Chapter Thirteen: Further work [ps.gz]

Chapter Fourteen: Conclusions [ps.gz]

Appendix A: Polyhedra and their Euler characteristic [ps.gz]

Appendix B: Mathematical proofs [ps.gz]

Appendix C: Output from HRL [ps.gz]

Appendix C: Further details of HR [ps.gz]

Glossary: Philosophical terms [ps.gz]

Glossary: Mathematical terms [ps.gz]

Bibliography: [ps.gz]