Now showing items 11-20 of 140
From Surfaces to Objects: Recognizing Objects Using Surface Information and Object Models
(The University of Edinburgh, 1986)
This thesis describes research on recognizing partially obscured objects using surface information like Marr's 2D sketch ([MAR82]) and surface-based geometrical object models. The goal of the recognition process is to ...
Tense, aspect and temporal reference.
(The University of Edinburgh, 1987)
English exhibits a rich apparatus of tense, aspect, time adverbials and other expressions that can be used to order states of affairs with respect to each other, or to locate them at a point in time with respect to the ...
A Generalized Interval Package and its Use for Semantic Checking
(Transactions on Mathematical Software, 1984-12)
Raising the Standard of AI Products
We propose a mechanism for the promotion of high-standards in commercial Artificial Intelligence products, namely an association of companies which would regulate their own membership using a code of practice and the ...
AI Bridges and Dreams
This paper is a modified version of my acceptance lecture for the 1986 SPL-Insight Award. It turned into something of a personal credo — describing my view of the nature of AI the potential social benefit of applied ...
The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling
We introduce three concepts that offer considerable benefit to the process of ecological modelling: the descriptive representation of models; the explicit representation of knowledge about how to model; and the development ...
The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface
There is a growing interest in programs which help users with little experience of computing to construct simulation models. Much recent development work on such systems has utilized comparatively simple mathematical methods ...
Special Purpose, but Domain Independent, Inference Mechanisms
vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely ...
The Use of Explicit Plans to Guide Inductive Proofs
We propose the use of explicit proof plans to guide the search for a proof in automatic theorem proving. By representing proof plans as the specifications of LCF-like tactics, [Gordon et al 79], and by recording these ...
What Is The Well-Dressed AI Educator Wearing Now?
A funny thing happened to me at IJCAI-81. I went to a panel on "Education in AI" and stepped back into an argument that I had thought settled several years ago. The debate was between the "scruffies," led by Roger Schank ...