WorldCat Identities

Stanford Artificial Intelligence Laboratory

Overview
Works: 338 works in 385 publications in 1 language and 1,108 library holdings
Genres: Bibliography‡vCatalogs 
Classifications: Q334.5, 501.522
Publication Timeline
.
Most widely held works about Stanford Artificial Intelligence Laboratory
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Stanford Artificial Intelligence Laboratory
Artificial intelligence memoranda. catalogue( Book )

7 editions published in 1983 in English and held by 19 WorldCat member libraries worldwide

Catalogue, Artificial intelligence memoranda of the AI Laboraory, Computer Science Department, Stanford University, 1963-1982( Book )

1 edition published in 1983 in English and held by 13 WorldCat member libraries worldwide

Artificial intelligence memoranda of the AI Laboratory, Computer Science Department, Stanford University, 1963-1982( Book )

1 edition published in 1983 in English and held by 13 WorldCat member libraries worldwide

Memo( )

in English and held by 13 WorldCat member libraries worldwide

Computer generation of natural language from a deep conceptual base by Neil Murray Goldman( )

2 editions published in 1974 in English and held by 11 WorldCat member libraries worldwide

For many tasks involving communication between humans and computers it is necessary for the machine to produce as well as understand natural language. We describe an implemented system which generates English sentences from Conceptual Dependency networks, which are unambiguous, language-free representations of meaning. The system is designed to be task independent, and thus capable of providing the language generation mechanism for such diverse problem areas as question answering, machine translation, and interviewing
Parallel programming : an axiomatic approach by C. A. R Hoare( Book )

2 editions published in 1973 in English and held by 10 WorldCat member libraries worldwide

The paper develops some ideas expounded in a previous paper. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, communication and colluding. In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. The program structuring methods described in the report are not suitable for the construction of operating systems
SAIL user manual by Kurt VanLehn( Book )

2 editions published in 1973 in English and held by 10 WorldCat member libraries worldwide

SAIL is a high-level programming language for the PDP-10 computer. It includes an extended ALGOL 60 compiler and a companion set of execution-time routines. In addition to ALGOL, the language features: (1) flexible linking to hand-coded machine language algorithms, (2) complete access to the PDP-10 1/0 facilities, (3) a complete system of compile-time arithmetic and logic as well as a flexible macro system, (4) user modifiable error handling, (5) backtracking, and (6) interrupt facilities. Furthermore, a subset of the SAIL language, called LEAP, provides facilities for (1) sets and lists, (2) an associative data structure, (3) independent processes, and (4) procedure variables. The LEAP subset of SAIL is an extension of the LEAP language, which was designed by J. Feldman and P. Rovner, and implemented on Lincoln Laboratory's TX-2. This manual describes the SAIL language and the execution-time routines for the typical SAIL user: a non-novice programmer with some knowledge of ALGOL. It lies somewhere between being a tutorial and a reference manual. (Modified author abstract)
Circumscription : a form of non-monotonic reasoning by John McCarthy( Book )

2 editions published in 1980 in English and held by 8 WorldCat member libraries worldwide

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning. (Author)
Essential E by Arthur L Samuel( Book )

2 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide

An overview of production systems by Randall Davis( Book )

1 edition published in 1975 in English and held by 7 WorldCat member libraries worldwide

Since production systems were first proposed in 1943 as a general computational mechanism, the methodology has seen a great deal of development and has been applied to a diverse collection of problems. Despite the wide scope of goals and perspectives demonstrated by the various systems, there appear to be many recurrent themes. This paper is an attempt to provide an analysis and overview of those themes, as well as a conceptual framework by which many of the seemingly disparate efforts can be viewed, both in relation to each other, and to other methodologies. Accordingly, the authors use the term 'production system' in a broad sense, and attempt to show how most systems which have used the term can be fit into the framework. The comparison to other methodologies is intended to provide a view of PS characteristics in a broader context, with primary reference to procedurally-based techniques, but with reference also to some of the current developments in programming and the organization of data and knowledge bases
Project technical report by John McCarthy( Book )

2 editions published between 1969 and 1970 in English and held by 7 WorldCat member libraries worldwide

Recent work of the Stanford Artificial Intelligence Project is summarized in several areas: Scientific hypothesis formation; Symbolic computation; Hand-eye systems; Computer recognition of speech; Board games; and Other projects. (Author)
Preference semantics by Yorick Wilks( Book )

1 edition published in 1973 in English and held by 7 WorldCat member libraries worldwide

Preference semantics (PS) is a set of formal procedures for representing the meaning structure of natural language, with a view to embodying that structure within a system that can be said to understand, rather than within the 'derivational paradigm', of transformational grammar (TG) and generative semantics (GS), which seeks to determine the well-formedness, or otherwise, of sentences. A system of preference semantics is outlined in which for each phase or clause of a complex sentence, the system builds up a network of lexical trees with the aid of structured items called templates and, at the next level, it structures those networks with higher level items called paraplates and common-sense inference rules. At each stage the system directs itself towards the correct network by always opting for the most 'semantically dense' one it can construct. It is suggested that this opting for the 'greatest semantic density' can be seen as an interpretation of Joos' 'Semantic Axiom Number 1'. It is argued that the analysis of quite simple examples requires the use of inductive rules of inference which cannot, theoretically cannot, be accommodated within the derivational paradigm. (Modified author abstract)
The goals of linguistic theory revisited by Roger C Schank( Book )

1 edition published in 1973 in English and held by 7 WorldCat member libraries worldwide

An examination is made of the original goals of generative linguistic theory. It is suggested that these goals were well defined but misguided with respect to their avoidance of the problem of modeling performance. With developments such as generative semantics, it is no longer clear that the goals are clearly defined. The authors argue that it is vital for linguistics to concern itself with the procedures that humans use in language. They then introduce a number of basic human competencies in the field of language understanding, understanding in context and the use of inferential information, and argue that the modeling of these aspects of language understanding requires procedures of a sort that cannot be easily accomodated within the dominant paradigm. In particular, the report holds that the procedures that will be required in these cases ought to be linguistic, and that a simple importation of techniques from logic may create a linguistics in which there cannot be procedures of the required sort. (Modified author abstract)
Adverbs and belief by Roger C Schank( Book )

1 edition published in 1972 in English and held by 7 WorldCat member libraries worldwide

The treatment of a certain class of adverbs in conceptual representation is given. Certain adverbs are shown to be representative of complex belief structures. These adverbs serve as pointers that explain where the sentence that they modify belongs in a belief structure. (Author)
Model based (intermediate-level) computer vision by Gunnar Rutger Grape( Book )

1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide

A system for computer vision is presented, which is based on two-dimensional prototypes, and which uses a hierarchy of features for mapping purposes. More specifically, one is dealing with scenes composed of planar faced, convex objects. Extensions to the general planar faced case are discussed. The visual input is provided by a TV-camera, and the problem is to interpret that input by computer, as a projection of a three-dimensional scene. The system proposed and demonstrated in this paper uses perspectively consistent two-dimensional models (prototypes) of views of three-dimensional objects, and interpretations of scene-representations are based on the establishment of mapping relationships from conglomerates of scene-elements (line-constellations) to prototypes templates. The prototypes are learned by the program through analysis of - and generalization on - ideal instances. (Modified author abstract)
Production rules as a representation for a knowledge-based consultation program by Randall Davis( Book )

1 edition published in 1975 in English and held by 6 WorldCat member libraries worldwide

The MYCIN system has begun to exhibit a high level of performance as a consultant on the difficult task of selecting antibiotic therapy for bacteremia. This report discusses issues of representation and design for the system. We describe the basic task and document the constraints involved in the use of a program as a consultant. The control structure and knowledge representation of the system are examined in this light, and special attention is given to the impact of production rules as a representation. The extent of the domain independence of the methodology is also examined
The modal logic of programs by Zohar Manna( Book )

2 editions published in 1979 in English and held by 6 WorldCat member libraries worldwide

This document explores the general framework of Modal Logic and its applicability to program reasoning. The authors relate the basic concepts of Modal Logic to the programming environment: the concept of world corresponds to a program state, and the concept of accessibility relation corresponds to the relation of derivability between states during execution. The Temporal interpretation of Modal Logic is adopted. The variety of program properties expressible within the modal formalism is demonstrated. The first axiomatic system studied, the sometime system, is adequate for proving total correctness and 'eventuality' properties. However, it is inadequate for proving invariance properties. The stronger nexttime system obtained by adding the next operator is shown to be adequate for invariances as well. Additional keywords: computer logic. (Author)
On the power of programming features by Ashok K Chandra( Book )

1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide

The authors consider the power of several programming features such as counters, pushdown stacks, queues, arrays, recursion and equality. In the study program schemas are used as the model for computation. The relations between the powers of these features is completely described by a comparison diagram. (Author)
Formalization of properties of programs by Zohar Manna( Book )

2 editions published between 1968 and 1970 in English and held by 6 WorldCat member libraries worldwide

The paper describes a class of parallel programs and gives a formalization of certain properties of such programs in predicate calculus. Although the programs are syntactically simple, they do exhibit interaction between asynchronous parallel processes, which is the essential feature to be considered. The formalization can easily be extended to more complicated programs. Also presented is a method of simplifying parallel programs, i.e., constructing simpler equivalent programs, based on the 'independence' of statements in them. With these simplifications the formalization gives a practical method for proving properties of such programs. (Author)
Inference and the computer understanding of natural language by Roger C Schank( Book )

1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide

The notion of computer understanding of natural language is examined relative to inference mechanisms designed to function in a language-free deep conceptual base (conceptual dependency). The conceptual analysis of a natural language sentence into this conceptual base, and the nature of the memory which stores and operates upon these conceptual structures are described from both theoretical and practical standpoints. The various types of inferences which can be made during and after the conceptual analysis of a sencence are defined, and a functioning program which performs these inference tasks is described. Actual computer output is included. (Author)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.60 for Catalogue, ... to 1.00 for Academic c ...)

Associated Subjects
Artificial intelligence Artificial intelligence--Research Automatic speech recognition--Research Buchanan, Bruce G Carnegie-Mellon University Carnegie-Mellon University.--Computer Science Department Case Institute of Technology Computational linguistics Computer programming Computers Computer science Computer vision Cornell University Defense contracts English language--Adverb Federal aid to research Feigenbaum, Edward A Forsythe, Alexandra I Generative grammar Licklider, J. C. R Linguistics Massachusetts Institute of Technology Massachusetts Institute of Technology.--Artificial Intelligence Laboratory Medical consultation--Data processing Miller, William F Modality (Logic) Moore School of Electrical Engineering MYCIN (Computer system) National Institute of Mental Health (U.S.) National Institutes of Health (U.S.) Natural language processing (Computer science) Newell, Allen Nilsson, Nils J., Nonmonotonic reasoning Northwestern University (Evanston, Ill.) Ohio State University Optical data processing Parallel programming (Computer science) Predicate calculus Programming languages (Electronic computers) Project MAC (Massachusetts Institute of Technology) Simon, Herbert A.--(Herbert Alexander), Stanford Artificial Intelligence Laboratory Stanford University.--Applied Mathematics and Statistics Laboratory Stanford University.--Computer Science Department Text editors (Computer programs) Traub, J. F.--(Joseph Frederick), United States United States.--Defense Advanced Research Projects Agency.--Information Processing Techniques Office Wayne State University
Alternative Names

controlled identityStanford Artificial Intelligence Project

AI Laboratory

Artificial Intelligence Laboratory

Stanford AI Laboratory

Stanford Artificial Intelligence Laboratory

Stanford University AI Laboratory

Stanford University Artificial Intelligence Laboratory

Stanford University Computer Science Department AI Laboratory

Stanford University Computer Science Department Artificial Intelligence Laboratory

Stanford University Computer Science Department Stanford AI Laboratory

Stanford University Computer Science Department Stanford Artificial Intelligence Laboratory

Stanford University Department of Computer Science Artificial Intelligence Laboratory

Stanford University Department of Computer Science Stanford Artificial Intelligence Laboratory

Stanford University Stanford AI Laboratory

Languages
English (43)