Technology
Interactive transfer of expertise: Acquisition of new inference rules
Summary of Ph.D. dissertation, Computer Science Dept., Stanford University (1979)."TEIRESIAS is a program designed to provide assistance on the task of building knowledge-based systems. It facilitates the interactive transfer of knowledge from a human expert to the system, in a high level dialog conducted in a restricted subset of natural language. This paper explores an example of TEIRESIAS in operation and demonstrates how it guides the acquisition of new inference rules. The concept of meta-level knowledge is described and illustrations given of its utility in knowledge acquisition and its contribution to the more general issues of creating an intelligent program."Also in:Readings in Artificial Intelligence, ed. Webber, Bonnie Lynn and Nils J. Nilsson, Palo Alto, CA: Tioga Publishing Co., 1981.Orig. in IJCAI-77, vol.1, pp. 321 ff. Preprint in Stanford HPP Report #HPP-77-9.See also: Artificial Intelligence, 12[#2]:409-427. Readings in Artificial Intelligence, ed. Webber, Bonnie Lynn and Nils J. Nilsson, Palo Alto, CA: Tioga Publishing Co., 1981
An experiment in knowledge-based automatic programming
Summary of Stanford Ph.D. dissertation, Computer Science Dept. Stanford University (1977).Artificial Intelligence 12(2): 73-119.
Representing the Spatial Experience and Solving Spatial problems in a Simulated Robot Environment
Ph.D. thesis, University of British Columbia.
Performance measurement and analysis of certain search algorithms
I will remain Ion8 and deeply indebted to Herb Simon, H. T. Kung, AI Newell, Jay
Modelling Distributed Systems
Distributed systems are multi-processor information processing systems whichdo not rely on the central shared memory for communication. The importanceof distributed systems has been growing with the advent of "computer networks"of a wide spectrum: networks of geographically distributed computers at one end,and tightly coupled systems built with a large number of inexpensive physicalprocessors at the other end. Both kinds of distributed system are made availableby the rapid progress in the technology of large-scale integrated circuits. Yetlittle has been done in the research on semantics and programming methodologiesfor distributed information processing systems.Our main research goal is to understand and describe the behaviour of suchdistributed systems in seeking the maximum benefit of employing multi-processorcomputation schemata.Hayes, J.E., D. Michie, and L. I. Mikulich (Eds.), Machine Intelligence 9, Ellis Horwood.
On the epistemological status of semantic networks
This paper examines in detail the history of a set of network-structured formalisms for knowledge representation - the so-called semantic networks. While these nets have for the most part retained their basic associative nature, their primitive representational elements have differed significantly from one project to the next. These differences in underlying primitives are symptomatic of deeper philosophical disparities, and a set of five significantly different levels at which networks can be understood are discussed. One of these levels, the epistemological, or knowledge-structuring, level, has played an important implicit part in all previous notations, and is here made explicit in a way that allows a new type of network formalism to be specified. This new type of formalism accounts precisely for operations like individuation of description, internal concept structure in terms of roles and interrelations between them, and structured inheritance.