The HR3 discovery system: design decisions and implementation details

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

6 Citations (Scopus)

Abstract

Automated Theory Formation is a hybrid AI technique which has been implemented in two scientific discovery systems, HR1 and HR2, both of which have been used successfully in various applications. We describe here the latest iteration in the HR series, in terms of the lessons learned from the successes and failures of the previous versions, and how these lessons have informed our design choices and the implementation details of the new version. We also present two case studies: a synthetic domain mirroring an aspect of medical diagnosis, and invariant discovery in formal methods. In each case, we compare HR3 with HR2 to highlight various improvements in the new version.

Original languageEnglish
Title of host publicationProceedings of the 50th Anniversary Convention of the AISB
EditorsRoger Kibble
Place of PublicationLondon UK
PublisherGoldsmiths
Number of pages8
Publication statusPublished - 2014
Externally publishedYes
EventAISB Convention (Society for the Study of Artificial Intelligence and Simulation of Behaviour) 2014 - London, United Kingdom
Duration: 1 Apr 20144 Apr 2014
Conference number: 50th
http://aisb50.org (Websit)

Conference

ConferenceAISB Convention (Society for the Study of Artificial Intelligence and Simulation of Behaviour) 2014
Abbreviated titleAISB 2014
CountryUnited Kingdom
CityLondon
Period1/04/144/04/14
Internet address

Cite this