The frame problem has taken on new significance during recent attempts to develop artificially intelligent systems. The problem deals with the difficulty of creating and maintaining an appropriate informational context or "frame of reference" at each stage in certain problem-solving process.
GHOUGH is a computer program for detecting instances of a given shape within an image. It may be used for cueing, counting, or mensuration. GHOUGH can find instances that are displaced, rescaled, rotated, or incomplete relative to the shape template.
There is a dichotomy between theoretical and experimental work in Artificial Intelligence (AI). The reasons for this dichotomy are discussed, and AI is compared with other, more mature disciplines in which there is closer cooperation between experimental and theoretical branches.
This paper discusses two problems central to the interpretation of utterances: determining the relationship between actions described in an utterance and events in the world, and inferring the ``state of the world’’ from utterances.
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
The approach proposed by Carnap for the development of logical bases for probability theory is investigated by using formal structures that are based on epistemic logics.
In a binary-search algorithm for the computation of a numerical function, the interval in which the desired output is sought is divided in half at each iteration.
The path-indexing method for indexing first-order predicate calculus terms is a refinement of the standard coordinate-indexing method. Path indexing offers much faster retrieval at a modest cost in space.
