|MRG home page · Research · Publications · Software · People|
HRL is a multi-agent automated theory formation programme in which Lakatos's methods have been implemented. Each agent has a copy of Colton's theory formation system HR, which it uses to form conjectures and concepts. The conjectures are communicated to the other agents, who send counterexamples if they have them. Agents then react to the counterexamples using Lakatos's methods.
S. Colton and A. Pease "The TM System for Repairing Non-Theorems"
To appear in Proceedings of the IJCAR'04 Disproving Workshop [pdf,
A. Pease, S. Colton, A. Smaill and J. Lee: "A Model of Lakatos's
Philosophy of Mathematics" To appear in Computing and Philosophy
(ECAP), 2004. [pdf,
A. Pease and S. Colton "Automatic Conjecture Modification"
Proceedings of the Automated Reasoning Workshop, Leeds, 2004. [pdf,
A. Pease, S. Colton, A. Smaill and J. Lee: "Semantic Negotiation:
Modelling Ambiguity in Dialogue". Proceedings of Edilog 2002, the 6th
Workshop on the Semantics and Pragmatics of Dialogue, Edinburgh, UK,
A. Pease, D. Winterstein and S. Colton: "Evaluating Machine
Creativity". Proceedings of the ICCBR'01 Workshop on Creative Systems,
Vancouver, Canada, 2001. [pdf,
This work was supported by EPSRC grant GR/M45030