Automated Scientific Discovery
Papers from the 2008 AAAI Fall Symposium
Selmer Bringsjord and Andrew Shilliday, Program Cochairs
Technical Report FS-08-03. Published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Organizing Committee / iii
Selmer Bringsjord and Andrew Shilliday
Automatically Discovering Euler’s Identity via Genetic Programming / 1
Konstantine Arkoudas
Why Ontology Evolution is Essential in Modeling Scientific Discovery / 8
Alan Bundy
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables / 10
Michael Chan, Alan Bundy
Joined-Up Reasoning for Automated Scientific Discovery: A Position Statement and Research Agenda / 18
Simon Colton
Knowledge Representation in Automated Scientific Discovery / 20
Susan L. Epstein
Automatic Identification of Quasi-Experimental Designs for Scientific Discovery / 24
David Jensen, Andrew Fast, Brian Taylor, Marc Maier, Matthew Rattigan
Automated Scientific Discovery and Hofstadter’s Fluid Concepts Model / 26
Alexandre Linhares, Eric Nichols
Infinitary Model Finding in Support of Scientific Discovery / 28
Andrew Shilliday
Discovery Using Heterogeneous Combined Logics / 30
Joshua Taylor, Selmer Bringsjord
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.