Alison Pease

Lecturer (Dundee)

About me

I recently moved to the School of Computing at the University Dundee, to take up a lectureship in the Argumentation and Computation research group. Previously, I was a Research Associate working in the Computational Creativity Group at Imperial College London (now at Goldsmiths), and the Theory Group at Queen Mary, University of London. I am also a visiting researcher at the University of Edinburgh, and I currently have my main web pages here.

The Computational Creativity Theory Project

I am working with Simon Colton and John Charnley to develop a rigorous, computationally detailed and plausible account of how creation by software could occur. We use examples and theories of human creativity, particularly in the visual arts and in mathematics, to inspire our development of formalisms to describe and extend the notion of creativity in software.

Researching Mathematical Practice

I am working with Ursula Martin to investigate current mathematical practice; in particular, ways in which mathematicians are using web 2.0 technology. We are interested in whether Lakatos’s theory of how mathematicians communicate and use counterexamples to refine concepts, conjectures and proofs was an accurate description of evolution in mathematics, and whether Polya’s problem solving heuristics are used in research mathematics.

You can contact me on .[at]...

Publications

Colton, Simon; Pease, Alison; Corneli, Joseph; Cook, Michael; Hepworth, Rose; Ventura, Dan

Stakeholder Groups in Computational Creativity Research and Practice Incollection

In: Computational Creativity Research: Towards Creative Machines, pp. 3–36, Springer, 2015.

Abstract | Links | BibTeX

Colton, Simon; Cook, Michael; Hepworth, Rose; Pease, Alison

On Acid Drops and Teardrops: Observer Issues in Computational Creativity Inproceedings

In: Proceedings of the 7th AISB Symposium on Computing and Philosophy, 2014.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison; Corneli, Joseph; Cook, Michael; Llano, Maria Teresa

Assessing Progress in Building Autonomously Creative Systems Inproceedings

In: Proceedings of the Fifth International Conference on Computational Creativity, pp. 137–145, 2014.

Abstract | Links | BibTeX

Grov, Gudmund; Farquhar, Colin; Pease, Alison; Colton, Simon

Tinkering by Theory Formation Inproceedings

In: Proceedings of the AIFM workshop, 2014.

Abstract | Links | BibTeX

Schorlemmer, Marco; Smaill, Alan; Kühnberger, Kai-Uwe; Kutz, Oliver; Colton, Simon; Cambouropoulos, Emilios; Pease, Alison

COINVENT: Towards a Computational Concept Invention Theory Inproceedings

In: Proceedings of the Fifth International Conference on Computational Creativity, 2014.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Ramezani, Ramin; Charnley, John; Reed, Kate

A Discussion on Serendipity in Creative Systems Inproceedings

In: Proceedings of the Fourth International Conference on Computational Creativity, pp. 64–71, 2013.

Abstract | Links | BibTeX

Cavallo, Flaminia; Pease, Alison; Gow, Jeremy; Colton, Simon

Using Theory Formation Techniques for the Invention of Fictional Concepts Inproceedings

In: Proceedings of the Fourth International Conference on Computational Creativity, pp. 176, 2013.

Abstract | Links | BibTeX

Colton, Simon; Charnley, John; Pease, Alison

Automated Theory Formation: The Next Generation Journal Article

In: IFCOLOG Journal Proceedings in Computational Logic, 2013.

Abstract | Links | BibTeX

Cook, Michael; Colton, Simon; Pease, Alison

Aesthetic Considerations for Automated Platformer Design Inproceedings

In: Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Charnley, John

The Turing Test and Computational Creativity Inproceedings

In: Contributed talks proceedings of the Turing Centenary Conference, 2012.

Links | BibTeX

Charnley, John; Pease, Alison; Colton, Simon

On the Notion of Framing in Computational Creativity Inproceedings

In: Proceedings of the Third International Conference on Computational Creativity, pp. 77–81, 2012.

Abstract | Links | BibTeX

Pease, Alison; Charnley, John; Colton, Simon

Using Grounded Theory to Suggest Types of Framing Information for Computational Creativity Book Chapter

In: Proceedings of the Workshop "Computational Creativity, Concept Invention, and General Intelligence", pp. 7–13, University of Osnabrück, Institute of Cognitive Science, 2012.

Abstract | Links | BibTeX

Cavallo, Flaminia; Colton, Simon; Pease, Alison

Uncertainty Modelling in Automated Concept Formation Inproceedings

In: Proceedings of the Automated Reasoning Workshop, pp. 53, Citeseer, 2012.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon

On Impact and Evaluation in Computational Creativity: A Discussion of the Turing Test and an Alternative Proposal Inproceedings

In: Proceedings of the AISB symposium on AI and Philosophy, 2011.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon

Computational Creativity Theory: Inspirations Behind the FACE and the IDEA Models Inproceedings

In: Proceedings of the Second International Conference on Computational Creativity, 2011.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison; Charnley, John

Computational Creativity Theory: The FACE and IDEA Descriptive Models Inproceedings

In: Proceedings of the Second International Conference on Computational Creativity, pp. 90–95, 2011.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Ramezani, Ramin; Smaill, Alan; Guhe, Markus

Using Analogical Representations for Mathematical Concept Formation Incollection

In: Model-Based Reasoning in Science and Technology, 314 , pp. 301–314, Springer Berlin Heidelberg, 2010, ISBN: 978-3-642-15222-1.

Abstract | Links | BibTeX

Pease, Alison; Smaill, Alan; Colton, Simon; Ireland, Andrew; Llano, Maria Teresa; Ramezani, Ramin; Grov, Gudmund; Guhe, Markus

Applying Lakatos-style reasoning to AI problems Book Chapter

In: Thinking Machines and the philosophy of computer science: Concepts and principles., Chapter 10, pp. 149–174, Information Science Reference, 2010, ISBN: 9781616920142.

Abstract | Links | BibTeX

Llano, Maria Teresa; Ireland, Andrew; Pease, Alison; Colton, Simon; Charnley, John

Using Automated Theory Formation to Discover Invariants of Event-B Models Inproceedings

In: In Proceedings of the Rodin User and Developer Workshop, 2010.

Abstract | Links | BibTeX

Pease, Alison; Crook, Paul; Smaill, Alan; Colton, Simon; Guhe, Markus

Towards a Computational Model of Embodied Mathematical Language Book Chapter

In: Proceedings of the Second Symposium on Computing and Philosophy, pp. 35–37, Society for the Study of Artificial Intelligence and Simulation of Behaviour, 2009, ISBN: 1902956826.

Abstract | Links | BibTeX

Pease, Alison; Smaill, Alan; Colton, Simon; Lee, John

Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics Journal Article

In: Foundations of Science, 14 (1-2), pp. 111–135, 2009.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison

The TM System for Repairing Non-Theorems Journal Article

In: Electronic Notes in Theoretical Computer Science, 125 (3), pp. 87–101, 2005.

Abstract | Links | BibTeX

Colton, Simon; Hoermann, Ferdinand; Sutcliffe, Geoff; Pease, Alison

Machine Learning Case Splits for Theorem Proving Inproceedings

In: Proceedings of the Automated Reasoning Workshop, Edinburgh, 2005.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Smaill, Alan; Lee, John

A Model of Lakatos’s Philosophy of Mathematics Book

College Publications, 2004.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon

Automatic Conjecture Modification Book Chapter

In: Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice, 2004.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison

Lakatos-style automated theorem modification Inproceedings

In: ECAI, pp. 977, 2004.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison

Lakatos-style Methods in Automated Reasoning Inproceedings

In: In Proceedings of the IJCAI’03 workshop on Agents and Reasoning, Citeseer 2003.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Smaill, Alan; Lee, John

Semantic Negotiation: Modelling Ambiguity in Dialogue Inproceedings

In: Proceedings of Edilog 2002, the 6th Workshop on the semantics and pragmatics of dialogue, 2002.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Smaill, Alan; Lee, John

Lakatos-style Reasoning Book Chapter

In: Proceedings of the Automated Reasoning Workshop, Imperial College, London, Society for the Study of Artificial Intelligence and Simulation of Behaviour, 2002, ISBN: 1902956265.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Smaill, Alan; Lee, John

Lakatos and Machine Creativity Inproceedings

In: Second Workshop on Creative Systems, Approaches to Creativity in Artificial Intelligence and Cognitive Science at the European Conference on Artificial Intelligence (ECAI 2002), 2002.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison; Ritchie, Graeme

The Effect of Input Knowledge on Creativity Inproceedings

In: Proceedings of the ICCBR'01 Workshop on Creative Systems, 2001.

Abstract | Links | BibTeX

Pease, Alison; Winterstein, Daniel; Colton, Simon

Evaluating Machine Creativity Inproceedings

In: Workshop on Creative Systems, 4th International Conference on Case Based Reasoning, pp. 129–137, 2001.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Smaill, Alan; Lee, John

A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning Inproceedings

In: Proceedings of Intelligent Agent Technology, 2001.

Abstract | Links | BibTeX

Pease, Alison; Lawrence, John; Budzynska, Katarzyna; Corneli, Joseph; Reed, Chris

Lakatos-style Collaborative Mathematics through Dialectical, Structured and Abstract Argumentation Journal Article Forthcoming

In: Artificial Intelligence, Forthcoming.

Abstract | BibTeX