Now showing items 1-2 of 2
Choices made by a planner : identifying them, and improving the way in which they are made
(The University of Edinburgh, 1985)
This thesis discusses the ways in which choices are made by an AI planner. A detailed examination is made of the prerequisites for choice making, and a discussion of how the making of good choices can be automated is ...
Analogy and mathematical reasoning : a survey
(The University of Edinburgh, 1983)
We 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 ...