Show simple item record

dc.contributor.authorMiller, C.D.F.en
dc.date.accessioned2013-04-19T12:27:52Z
dc.date.available2013-04-19T12:27:52Z
dc.date.issued1983
dc.identifier.urihttp://hdl.handle.net/1842/6676
dc.description.abstractWe survey the literature of Artificial Intelligence, and other related work, pertaining to the modelling of mathematical reasoning and its relationship with the use of analogy. In particular, we discuss the contribution of Lenat's program AM to models of mathematical discovery and concept-formation. We consider the use of similarity measures to structure a knowledge space and their role in concept acquisition.en
dc.language.isoen
dc.publisherThe University of Edinburghen
dc.subjectartificial intelligenceen
dc.subjectlogic, symbolic and mathematicalen
dc.subjectreasoningen
dc.titleAnalogy and mathematical reasoning: a surveyen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnameMPhil Master of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record