Strict Standards: Declaration of action_plugin_importoldchangelog::register() should be compatible with DokuWiki_Action_Plugin::register($controller) in /export/vol/www/doc/ccg/lib/plugins/importoldchangelog/action.php on line 8 Strict Standards: Declaration of action_plugin_importoldindex::register() should be compatible with DokuWiki_Action_Plugin::register($controller) in /export/vol/www/doc/ccg/lib/plugins/importoldindex/action.php on line 0 Deprecated: Assigning the return value of new by reference is deprecated in /export/vol/www/doc/ccg/inc/parserutils.php on line 208 Deprecated: Assigning the return value of new by reference is deprecated in /export/vol/www/doc/ccg/inc/parserutils.php on line 211 Deprecated: Assigning the return value of new by reference is deprecated in /export/vol/www/doc/ccg/inc/parserutils.php on line 421 Deprecated: Assigning the return value of new by reference is deprecated in /export/vol/www/doc/ccg/inc/parserutils.php on line 594 Strict Standards: Declaration of cache_instructions::retrieveCache() should be compatible with cache::retrieveCache($clean = true) in /export/vol/www/doc/ccg/inc/cache.php on line 291 Deprecated: Function split() is deprecated in /export/vol/www/doc/ccg/inc/auth.php on line 154 Warning: Cannot modify header information - headers already sent by (output started at /export/vol/www/doc/ccg/lib/plugins/importoldchangelog/action.php:8) in /export/vol/www/doc/ccg/inc/auth.php on line 245 Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /export/vol/www/doc/ccg/inc/auth.php on line 475 Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /export/vol/www/doc/ccg/inc/auth.php on line 472 Strict Standards: Only variables should be passed by reference in /export/vol/www/doc/ccg/doku.php on line 71 Warning: Cannot modify header information - headers already sent by (output started at /export/vol/www/doc/ccg/lib/plugins/importoldchangelog/action.php:8) in /export/vol/www/doc/ccg/inc/actions.php on line 141 hr [Computational Creativity Group]

CCG Research - The HR Project

The HR program performs automated theory formation, which is a machine learning routine which fits broadly into the descriptive logic learning context, i.e., there is no underlying classification problem to be solved, so it's unsupervised learning, where the purpose is to find out some interesting things about your data. Theory Formation involves the invention of concepts, the making of conjectures and - in domains where the axioms admit this - the proving of theorems and finding of counterexamples. HR is named after mathematicians Hardy and Ramanujan.

The best reference for this project is the book published by Springer:

The essence of automated theory formation can be distilled from some smaller papers:

A formal description of HR as an Inductive Logic Programming system can be found here:

HR has been applied to a number of mathematical discovery tasks, including:

hr.txt · Last modified: 2009/03/02 14:15 by simoncolton
Strict Standards: Only variables should be passed by reference in /export/vol/www/doc/ccg/doku.php on line 79