This paper describes a generative theory of bugs. It claims that all bugs of D procedural skill con be derived by a highly constrained form of problem solving acting on incomplete procedures. These procedures are characterized by formal deletion operations that model incomplete learning and forgetting. The problem solver and the deletion operator have been… (More)
In recent years there has been a growing amount of applications-oriented AI work. The distinction between an applied AI project and a 'basic' project is mainly determined by the principal objectives of the effort. If the objective is to develop a high performance, expert, system for solving certain problems in a given domain, in a manner which is acceptable… (More)
The AM program was constructed by Lenat in 1975 as an early experiment in getting machines to learn by discovery. In the preceding article in this issue of the AI Journal, Ritchie and Hanna focus on that work as they raise several fundamental ques6ons about the methodology of artificial intelligence research. Part of this paper is a response to the specific… (More)
Ubiquitous computing began in the Electronics and Imaging Laboratory of the Xerox Palo Alto Research Center. This essay tells the inside story of its evolution from " computer walls " to " calm computing. "
ibis paper is a response to Iwasaki and Sitnon 141 which criticizes de Kleer and Brown I~I. We argue that loans of tilt ir (run ions partu ularl~ nun mint, t ausaltts unodt lint, and stab,lzti, 0z lynaut troun the difference of concerns between engineering and economics. Our notion of causality arises from considerzng the interconnecuions of components not… (More)