Abstract
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 language | English |
|---|---|
| Title of host publication | Proceedings of the IJCAI-03 Workshop on Agents and Automated Reasoning |
| Place of Publication | London |
| Publisher | Morgan Kaufmann |
| Number of pages | 8 |
| ISBN (Print) | 9780127056609, 0127056602 |
| Publication status | Published - 2003 |
| Event | 18th International Conference on Artificial Intelligence - Mexico, Acapulco, Mexico Duration: 9 Aug 2003 → 15 Aug 2003 |
Conference
| Conference | 18th International Conference on Artificial Intelligence |
|---|---|
| Country/Territory | Mexico |
| City | Acapulco |
| Period | 9/08/03 → 15/08/03 |