Lakatos-style methods in automated reasoning

Simon Colton, Alison Pease

    Research output: Chapter in Book/Report/Conference proceedingConference contribution


    We advocate increased flexibility in automated reasoning, whereby a reasoning agent is able to correct the statement of a given faulty conjecture in order to prove that the modified theorem is true. Such alterations are common in mathematics. In particular, in his book `Proofs and Refutations', Imre Lakatos prescribes various techniques for the modification of a faulty conjecture within a social setting (a hypothesised mathematics class). This has inspired a multi-agent approach to automating Lakatos-style techniques, and we give details of the implementation of these methods within (and on top of) the HR automated theory formation system. We report on the progress of this project and supply illustrative results from sessions using the enhanced system.
    Original languageEnglish
    Title of host publicationProceedings of the IJCAI-03 Workshop on Agents and Automated Reasoning
    Place of PublicationLondon
    PublisherMorgan Kaufmann
    Number of pages8
    ISBN (Print)9780127056609, 0127056602
    Publication statusPublished - 2003
    Event18th International Conference on Artificial Intelligence - Mexico, Acapulco, Mexico
    Duration: 9 Aug 200315 Aug 2003


    Conference18th International Conference on Artificial Intelligence

    Cite this