Discovery - University of Dundee - Online Publications

Library & Learning Centre

Lakatos-style methods in automated reasoning

Lakatos-style methods in automated reasoning

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

View graph of relations


Research units


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
StatePublished - 2003
Event18th International Conference on Artificial Intelligence - Acapulco, Mexico


Conference18th International Conference on Artificial Intelligence


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.


Library & Learning Centre

Contact | Accessibility | Policy