Simon Colton, Alison Pease  Home/Search
Context Related
| doc.ic.ac.uk/~sgc/..._ijcai03_agents.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: doc.ic.ac.uk/~sgc/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We advocate increased exibility in automated reasoning, whereby a reasoning agent is able to correct the statement of a given faulty conjecture in order to prove that the modi ed theorem is true. Such alterations are common in mathematics. In particular, in his book `Proofs and Refutations', Imre Lakatos prescribes various techniques for the modi cation of a faulty conjecture within a social setting (a hypothesised mathematics class). This has inspired a multi-agent approach to... (Update)
Cited by: More
ILP for Mathematical Discovery - Colton, Muggleton (2003) (Correct)
Creative Logic Programming - Colton (2003) (Correct)
Active bibliography (related documents): More All
0.5: An Application-based Comparison of Automated Theory Formation and .. - Colton (2000) (Correct)
0.4: Managing Automatically Formed Mathematical Theories - Colton, Torres, Cairns, Sorge (2006) (Correct)
0.3: The HR Program for Theorem Generation - Colton (2002) (Correct)
Similar documents based on text: More All
0.3: Lakatos and Machine Creativity - Alison Pease And (2002) (Correct)
0.3: Constraint Generation via Automated Theory Formation - Colton, Miguel (2001) (Correct)
0.2: Lakatos-style Reasoning - Alison Pease Simon (Correct)
Related documents from co-citation: More All
2: Automated Theory Formation in Pure Mathematics (context) - Colton - 2000
2: Constraint generation via automated theory formation - Colton, Miguel - 2001
2: Clausal discovery - De Raedt, Dehaspe - 1997
BibTeX entry: (Update)
S Colton and A Pease. Lakatos-style methods in automated reasoning. In Proceedings of the IJCAI'03 workshop on Agents and Reasoning, 2003 (forthcoming). http://citeseer.ist.psu.edu/colton03lakatosstyle.html More
@misc{ colton03lakatosstyle,
author = "S. Colton and A. Pease",
title = "Lakatos-style methods in automated reasoning",
text = "S Colton and A Pease. Lakatos-style methods in automated reasoning. In
Proceedings of the IJCAI'03 workshop on Agents and Reasoning, 2003 (forthcoming).",
year = "2003",
url = "citeseer.ist.psu.edu/colton03lakatosstyle.html" }
Citations (may not include all citations):260 BDI agents: From theory to practice - Rao, George - 1995
149 New Generation Computing (context) - Muggleton, Progol - 1995
49 The Computer Modelling of Mathematical Reasoning (context) - Bundy - 1983
37 Proofs and Refutations: The logic of mathematical discovery (context) - Lakatos - 1976
28 the notion of interestingness in automated mathematical disc.. - Colton, Bundy et al. - 2000
28 Automated Theory Formation in Pure Mathematics (context) - Colton - 2002
20 Argonne National Laboratories (context) - McCune, user's et al. - 1990
17 A Davis-Putnam program and its application to nite rst-order.. (context) - McCune - 1994
15 Automatic identi cation of mathematical concepts (context) - Colton, Bundy et al. - 2000
9 Constraint generation via automated theory formation - Colton, Miguel - 2001
8 Proof plans for the correction of false conjectures - Monroy, Bundy et al. - 1994
7 Agent based cooperative theory formation in pure mathematics - Colton, Bundy et al. - 2000
7 The HR program for theorem generation - Colton - 2002
5 Distributed problem solving as concurrent theorem proving - Fisher, Wooldridge - 1997
3 Automated theory formation applied to mutagenesis data (context) - Colton - 2002
3 Knowledge representation: Features of knowledge (context) - Delgrande, Mylopolous - 1986
1 Burton's History of Mathematics: An Introduction (context) - Burton - 1991
1 Semantic negotiation: Modelling ambiguity in dialogue - Pease, Colton et al. - 2002
Documents on the same site (http://www.doc.ic.ac.uk/~sgc/publications.html): More
The Homer System - Colton, Huczynska (Correct)
Semantic Negotiation: Modelling Ambiguity in Dialogue - Pease, Colton, Smaill, Lee (2002) (Correct)
Automated Puzzle Generation - Colton (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC