Information Technology


Probabilistic representation of formal languages

Classics

In IEEE Conference Record of the 1969 Tenth Annual Symposium on Switching and Automata Theory, pp. 74–81.


Planning and robots

Classics

In Meltzer, Bernard and Donald Michie (Eds.), Machine Intelligence 5. Edinburgh University Press.


Design of low-cost equipment for cognitive robot research

Classics

In Meltzer, Bernard and Donald Michie (Eds.), Machine Intelligence 5. Edinburgh University Press.


Aspects of speech recognition by computer

Classics

Doctoral dissertation, Computer Science Dept., Stanford University.


A study of grammatical inference

Classics

Computer Science Department, Stanford University (1969). Ph.D. dissertation



Formal description of program structure and semantics in first order logic

Classics

Machine Intelligence 5. B. Meltzer & D. Michie (eds.), 78-98. Edinburgh: Edinburgh University Press.


A Formal Basis for the Heuristic Determination of Minimum Cost Paths

Classics

"Although the problem of determining the minimum cost path through a graph arises naturally in a number of interesting applications, there has been no underlying theory to guide the development of efficient search procedures. Moreover, there is no adequate conceptual framework within which the various ad hoc search strategies proposed to date can be compared. This paper describes how heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching and demonstrates an optimality property of a class of search strategies."See also: Correction IEEE Transactions on Systems Science and Cybernetics, SSC-4 (2), 100-107.


BOXES: An experiment in adaptive control

Classics

In Dale, E. and Michie, D. (Eds.), Machine Intelligence 2, pp. 125-133. Elsevier/North-Holland.


Experiments with a pleasure seeking automaton

Classics

In Michie, Donald (Ed.), Machine Intelligence 3. Edinburgh University Press pp.195-216.