Alison Pease and Simon Colton and Alan Smaill and John Lee  Home/Search
Context Related
| doc.ic.ac.uk/~sgc/./p...pease_ecai02.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 argue that Lakatos' work on the history and philosophy of mathematics is of key relevance to machine creativity as it suggests ways in which to explore and transform concept spaces, rerepresent knowledge and change evaluation criteria. We describe approaches to implementing methods which Lakatos identifies, including our own approach, which extends Colton's HR and has enabled us to automatically generate mathematical conjectures, concepts and examples which were previously impossible in HR - ... (Update)
Cited by: More
Automated Theory Formation for Tutoring Tasks in Pure.. - Colton, McCasland.. (Correct)
Active bibliography (related documents): More All
1.1: Aspects of a Cognitive Theory of Creativity in Musical.. - Pearce, Wiggins (Correct)
0.8: Exploring Quantitative Evaluations of the Creativity of Automatic .. - Gervas (2002) (Correct)
0.8: Conceptual Blending and the Quest for the Holy Creative Process - Pereira, Cardoso (2002) (Correct)
Similar documents based on text: More All
0.4: A Multi-agent Approach to Modelling Interaction in Human.. - Pease, al. (2001) (Correct)
0.4: Evaluating Machine Creativity - Alison Pease Daniel (2001) (Correct)
0.4: Semantic Negotiation: Modelling Ambiguity in Dialogue - Pease, Colton, Smaill, Lee (2002) (Correct)
Related documents from co-citation: More All
2: Argonne National Laboratory (context) - McCune - 1994
BibTeX entry: (Update)
A. Pease, S. Colton, A. Smaill, and J. Lee. Lakatos and machine creativity. In Proceedings of the ECAI Creative Systems Workshop, 2002. http://citeseer.ist.psu.edu/670233.html More
@misc{ pease02lakatos,
author = "A. Pease and S. Colton and A. Smaill and J. Lee",
title = "Lakatos and machine creativity",
text = "A. Pease, S. Colton, A. Smaill, and J. Lee. Lakatos and machine creativity.
In Proceedings of the ECAI Creative Systems Workshop, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/670233.html" }
Citations (may not include all citations):223 The Structure of Scientific Revolutions (context) - Kuhn - 1970
41 Proofs and Refutations (context) - Lakatos - 1976
35 The Principles of Psychology (context) - James
28 Automated Theory Formation in Pure Mathematics (context) - Colton - 2001
26 Fluid Concepts and Creative Analogies (context) - Hofstadter - 1994
22 Incremental version-space merging : a general framework for .. (context) - Hirsh - 1989
13 Mathematical Discovery (context) - Polya - 1962
3 Weidenfield and Nicholson (context) - Boden, Mind et al. - 1990
3 The effect of input knowledge on creativity - Colton, Pease et al. - 2001
3 Perception and creation of diverse alphabetic styles - McGraw, Hofstadter - 1993
2 What is the difference between real creativity and mere nove.. (context) - Bundy - 1994
2 Experiments in meta-theory formation - Colton - 2001
2 Evaluating machine creativity - Pease, Winterstein et al. - 2001
2 Creativity: a framework for research (context) - Boden - 1994
1 Ph.D. research proposal: A computational model of mathematic.. (context) - Pease - 2001
1 Son and Bourn (context) - Mill, Parker
1 Exgen : a constraint satisfying example generator (context) - Rissland - 1988
1 Proof analysis : a technique for concept formation (context) - Bundy - 1983
1 Contemporary Political Philosophy (context) - Kymlicka - 1995
1 The digital clockwork muse: A computational model of aesthet.. - Saunders, Gero - 2001
1 Computer models of creativity (context) - Boden - 2000
1 An outline of a system of utilarian ethics (context) - Smart - 1973
1 A critique of utilitariansim (context) - Williams - 1973
1 Is creativity domain-specific or domain-general? clues from .. (context) - Karmiloff-Smith - 1993
http://www.macrovu.com/CCTMap%201.html
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