Machine Creativity Edinburgh Simon Colton Universities of Edinburgh and York.

Slides:



Advertisements
Similar presentations
Analysis of Affymetrix expression data using R on Azure Cloud Anne Owen Department of Mathematical Sciences University of Essex 15/16 March, 2012 SAICG.
Advertisements

Artificial Intelligence 1. Characterisations of AI Course V231 Department of Computing Imperial College, London © Simon Colton.
Department of Mathematics and Science
Automated Exploration of Bioinformatics Spaces Simon Colton Computational Bioinformatics Laboratory.
An Integration of Program Analysis and Automated Theorem Proving Bill J. Ellis & Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt.
Introduction to Web services MSc on Bioinformatics for Health Sciences May 2006 Arnaud Kerhornou Iván Párraga García INB.
Designing Effective Science Lessons Standards Cognitive Development Content Lesson Format Methodologies Effective Science Lessons.
The Component-Attribute Approach Birgit Mayer 5 th April 2005.
Artificial Intelligence and Lisp Lecture 13 Additional Topics in Artificial Intelligence LiU Course TDDC65 Autumn Semester, 2010
Mike Sharples. Beyond mobile learning Learning-enhanced environments DREAM proposal DREAM is a new centre for groundbreaking research into Digital Reality.
FREMA : e-Learning Framework Reference Model for Assessment Assessment: Priorities and Challenges for 2006 Hugh Davis Learning Technologies University.
Data mining and statistical learning: lecture 1a Statistics and computer science for a data-rich world.
Applying Multi-Criteria Optimisation to Develop Cognitive Models Peter Lane University of Hertfordshire Fernand Gobet Brunel University.
Artificial Intelligence 1. Characterisations of AI Course Lecturer : Sukchatri PRASOMSUK University of Phayao, ICT Slide by © Simon Colton Department.
Automated Puzzle Generation Simon Colton Universities of Edinburgh and York.
Machine Learning in Bioinformatics Simon Colton The Computational Bioinformatics Laboratory.
Scientific Method Lab.
Automated Theory Formation for Tutoring Tasks in Pure Mathematics Simon Colton, Roy McCasland, Alan Bundy, Toby Walsh.
ILP for Mathematical Discovery Simon Colton & Stephen Muggleton Computational Bioinformatics Laboratory Imperial College.
Creative Logic Programming Simon Colton Computational Bioinformatics Laboratory Imperial College London.
The HOMER System for Discovery in Number Theory Simon Colton Imperial College, London.
9/30/2004TCSS588A Isabelle Bichindaritz1 Introduction to Bioinformatics.
Supporting the CCSS in the Science Classroom through the Science and Engineering Practices of the Next Generation Science Standards (NGSS) John Spiegel.
Lakatos-style Methods in Automated Reasoning Alison Pease University of Edinburgh Simon Colton Imperial College, London.
21 st Century Learning Environments at All Saints. Starting steps towards Personalised Learning in Foundations.
Automated Theory Formation: First Steps in Bioinformatics Simon Colton Computational Bioinformatics Laboratory.
Software Engineering ‘The establishment and use of sound engineering principles (methods) in order to obtain economically software that is reliable and.
Artificial Intelligence at Imperial Dr. Simon Colton Computational Bioinformatics Laboratory Department of Computing.
Artificial Intelligence 19. Exam Questions Course V231 Department of Computing Imperial College © Simon Colton.
The TM System for Repairing Non-Theorems Alison Pease – University of Edinburgh Simon Colton – Imperial College, London.
Mathematics – A new Domain for Datamining? Simon Colton Universities of Edinburgh & York United.
Automated Theory Formation in Bioinformatics Simon Colton Computational Bioinformatics Lab Imperial College, London.
Automated Reasoning for Classifying Finite Algebras Simon Colton Computational Bioinformatics Laboratory Imperial College, London.
© Andrew IrelandDependable Systems Group Proof Automation for the SPARK Approach to High Integrity Ada Andrew Ireland Computing & Electrical Engineering.
1 st International Joint Workshop on Computational Creativity Francisco C. Pereira Pablo Gervás Simon Colton.
Descriptive ILP for Mathematical Discovery Simon Colton Computational Bioinformatics Lab Department of Computing Imperial College, London.
AIAI, The University of Edinburgh Jessica Chen-Burger A Few Highlights from IJCAI 2001, Seattle, USA.
A Theory of Theory Formation Simon Colton Universities of Edinburgh and York.
Assessing the Frequency of Empirical Evaluation in Software Modeling Research Workshop on Experiences and Empirical Studies in Software Modelling (EESSMod)
Toward Developing Mathematical Thinkers: Problem Based Learning Geoff Krall emergentmath.wordpress.com.
Introduction to Science Informatics Lecture 1. What Is Science? a dependence on external verification; an expectation of reproducible results; a focus.
Edinburgh and Calculemus Simon Colton Universities of Edinburgh and York.
DAME: A Distributed Diagnostics Environment for Maintenance Duncan Russell University of Leeds.
44220: Database Design & Implementation Modelling the ‘Real’ World Ian Perry Room: C41C Ext.: 7287
The HR Program for Theorem Generation Simon Colton Mathematical Reasoning Group University of Edinburgh.
Making Conjectures About Maple Functions Simon Colton Universities of Edinburgh & York.
Working Group 4 Creative Systems for Knowledge Management in Life Sciences.
Quality views: capturing and exploiting the user perspective on data quality Paolo Missier, Suzanne Embury, Mark Greenwood School of Computer Science University.
Department of Electronic Engineering Challenges & Proposals INFSO Information Day e-Infrastructure Grid Initiatives 26/27 May.
A Theory of Theory Formation Simon Colton Universities of Edinburgh and York.
What is Science?.
PhD Projects Rahul Santhanam University of Edinburgh.
© Andrew IrelandDependable Systems Group Proof Automation for the SPARK Approach to High Integrity Ada Andrew Ireland Computing & Electrical Engineering.
Automated Discovery in Pure Mathematics Simon Colton Universities of Edinburgh and York.
The Homer System Simon Colton – Imperial College, London Sophie Huczynska – University of Edinburgh.
Workshop Activity Comparative politics: How do we compare political systems?
Introduction to Physics
MAPLE Research Overview Marie desJardins September 16, 2005.
Methods of Scientific Inquiry Ch 1.3 Course Overview.
Automatic Generation of First Order Theorems Simon Colton Universities of Edinburgh and York Funded by EPSRC grant GR/M98012 and the Calculemus Network.
CISC Machine Learning for Solving Systems Problems Presented by: Eunjung Park Dept of Computer & Information Sciences University of Delaware Solutions.
Research Word has a broad spectrum of meanings –“Research this topic on ….” –“Years of research has produced a new ….”
Automated Theorem Discovery Simon Colton Universities of Edinburgh and York.
Calculation Invention and Deduction Dr. Simon Colton Imperial College London (Formerly at Edinburgh) YVR in Karlsruhe & Saarbrucken.
ESFOR Panel Application Developers’ Wish Lists for Automated Theorem Provers.
Sub-fields of computer science. Sub-fields of computer science.
Artificial Intelligence and Lisp Lecture 13 Additional Topics in Artificial Intelligence LiU Course TDDC65 Autumn Semester,
What is Science?.
Andrew Ireland Dependable Systems Group
Presentation transcript:

Machine Creativity Edinburgh Simon Colton Universities of Edinburgh and York

Overview Players Research Contacts Possibilities

Creativity Researchers Graeme Ritchie Literary creativity, assessment of creativity Simon Colton Scientific theory formation Alison Pease Cognitive modelling Alan Bundy? Roy McCasland?

Graeme Ritchie Literary/Linguistic creativity Computational humour With Kim Binsted: JAPE joke generator See Binsted PhD, AISB’00 paper Assessment of creative programs Take into account the inspiring set Fine tuning, creative set (with Pease & Colton) Shotgun approach See AISB’01 paper, ICCBR’01 workshop paper

Simon Colton The HR program Overview Scientific theory formation Implemented in the HR program Starts with ML-style background info Invents concepts (definitions and examples) Makes, proves, disproves hypotheses Used in mathematical domains Integrates with ATP, CAS, CSP, Databases Applied to mathematical discovery

The Application of HR Number theory Invention of integer sequences & theorems Constraint invention (with Ian Miguel) Speed up CSPs, 10x for QG4-quasigroups ATP (with Geoff Sutcliffe) Lemma generation, theorems to break provers Puzzle generation Study of machine creativity Cross-domain, meta-theory, multi-agent, interestingness

HR for Bioinformatics HR is now independent of maths Theory extends to other sciences E.g., making of empirically false hypotheses Multi-agent approach for large datasets Machine learning problems Concept identification: forward look-ahead Prediction: uses the whole theory Very preliminary Application to ML datasets Comparison of methods next

Alison Pease Phd proposal: A computational model of mathematical creativity via Interaction Using HR to perform cognitive modelling Multi-agent setting (see IAT paper) Lakatos-style reasoning Fixing faulty hypotheses (see ECAI paper) Conjecture-driven concept formation Implications for creativity Fit into Boden’s framework (see ICCBR’01 paper)

Contacts Edinburgh UK national centre for E-science (GRID) Bioinformatics group York Machine learning group Imperial Bioinformatics group (Muggleton)

Possibilities Problem with Large Datasets Multi-agent creativity (split data) Domain knowledge Cognitive Modelling HR applied to Bioinformatics Serious Case Study (Roy McCasland) EPSRC 1-year fellowship (fingers crossed) Using HR to Study Zariski Spaces

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.