WorldCat Identities

Stanford University Heuristic Programming Project

Overview
Works: 138 works in 168 publications in 1 language and 269 library holdings
Genres: Handbooks, manuals, etc 
Classifications: QA76, 629.892
Publication Timeline
Key
Publications about Stanford University Publications about Stanford University
Publications by Stanford University Publications by Stanford University
Most widely held works by Stanford University
Palladio : an exploratory environment for circuit design by Harold Brown ( Book )
2 editions published in 1983 in English and held by 11 WorldCat member libraries worldwide
Palladio is a circuit design environment for experimenting with methodologies and knowledge-based, expert-system design aids. Palladio's framework is based on several premises about circuit design: (a) Circuit design is a process of incremental refinement; (b) It is an exploratory process in which design specifications and design goals co-evolve; and (c) Circuit designers need an integrated design environment that makes available compatible design tools ranging from simulators to layout generators, permits specification of digital systems in compatible languages ranging anywhere from architectural to layout, and includes the means for explicitly representing, constructing, and testing such design tools and languages
Strategic explanations for a diagnostic consultation system by Diane Warner Hasling ( Book )
2 editions published in 1983 in English and held by 9 WorldCat member libraries worldwide
This paper examines the problem of automatic explanation of reasoning, especially as it relates to expert systems. By explanation we mean the ability of a program to discuss what it is doing in some understandable way. We first present a general framework in which to view explanation and review some of the research done in this area. We then focus on the explanation system for NEOMYCIN, a medical consultation program. A consultation program interactively helps a user to solve a problem. Our goal is to have NEOMYCIN explain its problem-solving strategies. An explanation of strategy describes the plan the program is using to reach a solution. Such an explanation is usually concrete, referring to aspects of the current problem situation. Abstract explanations articulate a general principle, which can be applied in different situations; such explanations are useful in teaching and in explaining by analogy. We describe the aspects of NEOMYCIN that make abstract strategic explanations possible-the representation of strategic knowledge explicitly and separately from domain knowledge--and demonstrate how this representation can be used to generate explanations. (Author)
Applications-oriented AI research science and mathematics by William J Clancey ( Book )
3 editions published in 1979 in English and held by 8 WorldCat member libraries worldwide
Those of us involved in the creation of the Handbook of Artificial Intelligence, both writers and editors, have attempted to make the concepts, methods, tools, and main results of artificial intelligence research accessible to a broad scientific and engineering audience. Currently, AI work is familiar mainly to its practicing specialists and other interested computer scientist. Yet the field is of growing interdisciplinary interest and practical importance. With this book we are trying to build bridges that are easily crossed by engineers, scientists in other fields, and our own computer science colleagues. In the Handbook we intend to cover the breadth and depth of AI, presenting general overviews of the scientific issues, as well as detailed discussions of particular techniques and important AI systems. The Handbook contains several different types of articles. Key AI ideas and techniques are described in core articles (e.g, basic concepts in heuristic search semantic nets). Important individual AI programs (e.g., SHRDLU) are described in separate articles that indicate, among other things, the designer's goal, the techniques employed, and the reasons why the program is important. Overview articles discuss the problems and approaches in each major area. The overview articles should be particularly useful to those who seek a summary of the underlying issues that motivate AI research
Guidon by William J Clancey ( Book )
2 editions published in 1983 in English and held by 8 WorldCat member libraries worldwide
SACON : a knowledge-based consultant for structural analysis by Stanford University ( Book )
4 editions published in 1978 in English and held by 7 WorldCat member libraries worldwide
In this report we describe an application of artificial intelligence (AI) methods to structural analysis. We describe the development and (partial) implementation of an 'automated consultant' to advise non-expert engineers in the use of a general-purpose structural analysis program. The analysis program numerically simualtes the behavior of a physical structure subjected to various mechanical loading conditions. The automated consultant, called SACON (Structural Analysis Consultant), is based on a version of the MYCIN program (Shortliffe 74) originally developed to advise physicians in the diagnosis and treatment of infectious diseases, The domain-specific knowledge in MYCIN is represented as situation-action rules, and is kept independent of the 'inference engine' that uses the rules. By subsituting structural engineering knowledge for the medical knowledge, the program was converted easily from the domain of infectious diseases to the domain of structural analysis. (Author)
Knowledge engineering : a daily activity on a hospital ward by Stanford University ( Book )
2 editions published in 1983 in English and held by 7 WorldCat member libraries worldwide
BAOBAB, a parser for a rule-based system using a semantic grammar by Alain Bonnet ( Book )
2 editions published in 1978 in English and held by 6 WorldCat member libraries worldwide
BB1 : an architecture for blackboard systems that control, explain, and learn about their own behavior by Barbara Hayes-Roth ( Book )
2 editions published in 1984 in English and held by 6 WorldCat member libraries worldwide
Controlling recursive inference by David F Smith ( Book )
2 editions published in 1985 in English and held by 6 WorldCat member libraries worldwide
Loosely speaking, recursive inference is when an inference procedure generates an infinite sequence of similar subgoals. In general the control of recursive inference involves demonstrating that recursive portions of a search space will not contribute any new answers to the problem beyond a certain level. We first review a well known syntactic method for controlling repeating inference (inference where the conjuncts processed are instances of the ancestors), provide a proof that it is correct, and discuss the conditions under which the strategy is optimal. We also derive more powerful pruning theorems for cases involving transitivity axioms and cases involving subsumed subgoals. The treatment of repeating inference is followed by consideration of the more difficult problem of recursive inference that does not repeat. Here we show how knowledge of the properties of the relations involved and knowledge about the contents of the system's database can be used to prove that portions of a search space will not contribute any new answers
Deals among rational agents by Jeffrey S Rosenschein ( Book )
2 editions published in 1985 in English and held by 6 WorldCat member libraries worldwide
A formal framework is presented that models communication and promises in multi-agent interactions. This framework generalizes previous work on cooperation without communication, and shows the ability of communication to resolve conflicts among agents having disparate goals. Using a deal-making mechanism, agents are able to coordinate and cooperate more easily than in the communication-free model. In addition, there are certain types of interactions where communication makes possible mutually beneficial activity that is otherwise impossible to coordinate. Additional keywords: artificial intelligence; game theory; theorems; mathematical models. (Author)
The EMYCIN manual ( Book )
2 editions published in 1981 in English and held by 5 WorldCat member libraries worldwide
ROGET : a knowledge-based consultant for acquiring the conceptual structure of an expert system by James S Bennett ( Book )
2 editions published in 1983 in English and held by 5 WorldCat member libraries worldwide
Two papers on medical computing by Edward Hance Shortliffe ( Book )
2 editions published in 1980 in English and held by 5 WorldCat member libraries worldwide
Solving the Prisoner's dilemma by Michael R Genesereth ( Book )
2 editions published in 1984 in English and held by 4 WorldCat member libraries worldwide
A framework is proposed for analyzing various types of rational interaction. We consider a variety of restrictions on participants' moves; each leads to a different characterization of rational behavior. Under an assumption of common rationality, it is proven that participants will cooperate, rather than defect, in the Prisoner's Dilemma. We will follow the usual convention of representing a game as a payoff matrix. This is a unified framework for considering various types of interactions that occur without communication. Using assumptions about what types of moves other agents will make, a participant is able to reason about what constitutes rational behavior on its own part. Several of the characterizations of rationality have parallels in existing game theory literature, and lead to familiar results such as case analysis and iterated case analysis
Classification problem solving by William J Clancey ( Book )
1 edition published in 1984 in English and held by 4 WorldCat member libraries worldwide
Induction over large data bases by J. R Quinlan ( Book )
1 edition published in 1979 in English and held by 4 WorldCat member libraries worldwide
Techniques for discovering rules by induction from large collections of instances are developed. These are based on an iterative scheme for dividing the instances into two sets, only one of which needs to be randomly accessible. These techniques have made it possible to discover complex rules from data bases containing many thousand of instances. Results of several experiments using them are reported. (Author)
Schema-shift strategies to understanding structured texts in natural language by Stanford University ( Book )
1 edition published in 1979 in English and held by 4 WorldCat member libraries worldwide
Knowledge engineering, the applied side of artificial intelligence by Edward A Feigenbaum ( Book )
1 edition published in 1980 in English and held by 4 WorldCat member libraries worldwide
Expert System research in an emerging area of computer science that exploits the capabilities of computers for symbolic manipulation and inference to solve complex and difficult reasoning problems at the level of performance of human experts. The methods of this area are designed to acquire and represent both the formal and the informal knowledge that experts hold about the tasks of their discipline. Numerous applications to science, engineering, and medicine have been accomplished. Expert System projects represent applied artificial intelligence research, though they also make salient numerous fundamental research issues in the acquisition, representation and utilization of knowledge by computer programs. Knowledge engineering approaches promise significant cost savings in certain applications; intelligent computer-based aids for practitioners in fields whose knowledge is primarily nonmathematical; and the elucidation of the heuristic knowledge of experts -- the largely private knowledge of practice. There are major problems of knowledge engineering including the shortage of adequate computer equipment, the shortage of trained specialists in applied artificial intelligence, the scientific base for adequate knowledge acquisition, and the lack of sustained funding. (Author)
The CRYSALIS project : hierarchical control of production systems by Terry Allen ( Book )
1 edition published in 1983 in English and held by 3 WorldCat member libraries worldwide
Automatic programming by Robert Elschlager ( Book )
1 edition published in 1979 in English and held by 3 WorldCat member libraries worldwide
Automatic Programming (AP) is a new, dynamic, and not precisely defined area of artificial intelligence. This overview discusses the definitions, history, motivating forces and goals of automatic programming and includes a brief description of the basic characteristics and central issues of AP systems. The article begins with a section discussing the various possible definitions of automatic programming, the background in which it has achieved existence, as well as some of its general motivating forces and goals. The next section describes four characteristics of all AP systems: the method by which a user of such a system specifies or describes the desired program, the target language in which the system writes the program, the problem or application area to which the system is addressed, and the approach or operational method employed by the system. Next, a section discusses four basic issues, one or more of which concern all AP systems: the representation and processing of partial or incomplete information; the transformation of structures, and especially the transformation of program descriptions into other descriptions (in this chapter, the term program description includes the user's specification of the desired program, any internal representations of the program, as well as the target language implementation); the efficiency of the target language implementation; and the system's capabilities for aiding in the understanding of the program
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for Applied ar ... to 0.97 for Recent res ...)
Alternative Names

controlled identity Stanford University. Computer Science Department

Stanford Heuristic Programming Project
Stanford University. Computer Science Department. Heuristic Programming Project
Stanford University. Computer Science Dept. Heuris tic Programming Project
Languages
English (42)