Browsing AI Memos (1959  2004) by Title
Now showing items 668687 of 1217

Natural Language Based Inference Procedures Applied to Schubert's Steamroller
(19911201)We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a ... 
Natural Language Input for a Computer Problem Solving System
(19640301)This paper describes a computer program which accepts and "understands" a comfortable, but restricted set of one natural language, English. Certain difficulties are inherent in this problem of making a machine "understand" ... 
Natural Language Syntax and First Order Preference
(19891001)We have argued elsewhere that first order inference can be made more efficient by using nonstandard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides ... 
Natural Learning
(19811001)This memo reports the results of a case study into how children learn in the absence of explicit teaching. The three subjects, an eight year old, a ten year old and a thirteen year old were observed in both of two ... 
Nature Abhors an Empty Vacuum
(19810801)Imagine a crystalline world of tiny, discrete "cells", each knowing only what its nearest neighbors do. Each volume of space contains only a finite amount of information, because space and time come in discrete units. ... 
NearOptimal Distributed Failure Circumscription
(20030811)Small failures should only disrupt a small part of a network. One way to do this is by marking the surrounding area as untrustworthy  circumscribing the failure. This can be done with a distributed algorithm using ... 
Negotiation as a Metaphor for Distributed Problem Solving
(19810501)We describe the concept of distributed problem solving and define it as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers. This approach to problem solving offers ... 
A Network ChargeOrineted MOS Transistor Model
(19950801)The MOS transistor physical model as described in [3] is presented here as a network model. The goal is to obtain an accurate model, suitable for simulation, free from certain problems reported in the literature [13], and ... 
Networks and the Best Approximation Property
(19891001)Networks can be considered as approximation schemes. Multilayer networks of the backpropagation type can approximate arbitrarily well continuous functions (Cybenko, 1989; Funahashi, 1989; Stinchcombe and White, 1989). We ... 
Neural Nets and Theories of Memory
(19630301)A number of models developed in work often called "neuralnet" research may be of interest to physiologists working on the problem of memory. From this work comes a variety of ideas on how networks of neuronlike elements ... 
Neural Network Exploration Using Optimal Experiment Design
(19940601)We consider the question "How should one act when the only goal is to learn as much as possible?" Building on the theoretical results of Fedorov [1972] and MacKay [1992], we apply techniques from Optimal Experiment ... 
Neural Networks
(19960313)We present an overview of current research on artificial neural networks, emphasizing a statistical perspective. We view neural networks as parameterized graphs that make probabilistic assumptions about data, and view ... 
New Architectural Models for Visibly Controllable Computing: The Relevance of Dynamic Object Oriented Architectures and Plan Based Computing Models
(20040209)Traditionally, we've focussed on the question of how to make a system easy to code the first time, or perhaps on how to ease the system's continued evolution. But if we look at life cycle costs, then we must conclude ... 
New Language Storage Conventions
(19640501)These conventions are for the implementation of the new language on a large computer on which timesharing is the standard role of operation. Each user is at any time asigned a certain amount of primary storage. This ... 
A New MachineLearning Technique Applied to the Game of Checkers
(19660301)This paper described a recent refinement of the machinelearning process employed by Samuel (1) in connection with his development of a checker playing program. Samuels checker player operates in much the same way a ... 
A New Version of CTSS LISP
(19660201)A new version of the CTSS LISP is now available. The new system provides additional data storage and several new functions and constants. The I/O capabilities, EXCISE, the error comments, and several routines have ... 
NIM: A GamePlaying Program
(19700101)This note illustrates some ideas about how to initiate beginning students into the art of planning and writing a program complex enough to be considered a project rather than an exercise on using the language or simple ... 
NonMonotonic Logic I
(19780801)"Nonmonotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence ... 
NonMonotonic Logic I
(19790101)"Nonmonotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence ... 
NonRigid Motion and Regge Calculus
(19871101)We study the problem of recovering the structure from motion of figures which are allowed to perform a controlled nonrigid motion. We use Regge Calculus to approximate a general surface by a net of triangles. The ...