First National Conference on Artificial Intelligence

Sponsored by the Association for the Advancement of Artificial Intelligence

Robert M. Balzer, Program Chair

August 18–21, 1980, Stanford, California. Published by The AAAI Press, Menlo Park, California. This proceedings is available in book and CD format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

Vision

Early Vision Processing

A Statistical Technique for Recovering Surface Orientation from Texture in Natural Imagery / 1-3
Andrew P. Witkin, SRI International

Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Transformable Patterns, and the Shape-from-Texture Paradigm / 4-6
John R. Kender and Takeo Kanade, Carnegie Mellon University

What Should be Computed In Low Level Vision Systems / 7-10
William B. Thompson and Albert Yonas, University of Minnesota

Interpreting Line Drawings as Three-Dimensional Surfaces / 11-14
Harry G. Barrow and Jay M. Tenenbaum, SRI International

Shape Encoding and Subjective Contours / 15-17
Mike Brady, W. E. L. Grimson, Massachusetts Institute of Technology; and D. J. Langridge, CSIRO

Scene Analysis

Information Needed to Label a Scene / 18-20
Eugene C. Freuder, University of New Hampshire

Interpretive Vision and Restriction Graphs / 21-27
Rodney A. Brooks and Thomas 0. Binford, Stanford University

Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis / 28-30
Linda G. Shapiro, John D. Moriarty, Prasanna G. Mulgaonkar and Robert M. Haralick, Virginia Polytechnic Institute and State University

Motion Analysis

Constraint-Based Inference from Image Motion / 31-34
Daryl T. Lawton, University of Massachusetts

Static Analysis of Moving Jointed Objects / 35-37
Jon A. Webb, University of Texas at Austin

Bootstrap Stereo / 38-40
Marsha Jo Hannah, Lockheed Plo Alto Research Laboratory

Robotic Vision

Locating Partially Visible Objects: The Local Feature Focus Method / 41-43
Robert C. Bolles, SRI International

Interference Detection and Collision Avoidance Among Three Dimensional Objects / 44-48
N. Ahuja, R. T. Chien, R. Yen and N. Bridwell, University of Illinois at Urbana-Champaign

Automated Inspection Using Gray-Scale Statistics / 49-52
Stephen T. Barnard, SRI International

Human Movement Understanding: A Variety of Perspectives / 53-55
Norman I. Badler, Joseph O'Rourke, Stephen Platt and Mary Ann Morris, University of Pennsylvania

An Optimization Approach for Using Contextual Information In Computer Vision / 56-60
Olivier D. Faugeras, University of Southern California

Program Synthesis

Question Ordering In Mixed Initiative Program Specification Dialogue / 61-63
Louis Steinberg, Rutgers University

Some Algorithm Design Methods / 64-67
Steve Tappel, Systems Control, Inc.

Automatic Goal-Directed Program Transformation / 68-70
Stephen Fickas, USC / Information sciences Institute

Incremental, Informal Program Acquisition / 71-73
Brian P. McCune, Advanced Information and Decision Systems

A Basis for a Theory of Program Synthesis / 74-76
P. A. SubrahmanyamUSC / Information Sciences Institute

A Program Model and Knowledge Base for Computer Aided Program Synthesis / 77-78
Richard J. Wood, University of Maryland

Theorem Proving

An Efficient Relevance Criterion for Mechanical Theorem Proving / 79-83
David A. Plaisted, University of Illinois

On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF / 84-86
Jacek Leszczylowski, Polish Academy of Sciences

A Technique for Establishing Completeness Results In Theorem Proving with Equality / 87-89
Gerald E. Peterson, University of Missouri at St. Louis

Automatic Generation of Semantic Attachments in FOL / 90-92
Luigla Aiello, Stanford University

HCPRVR: An Interpreter for Logic Programs / 93-95
Daniel Chester, University of Texas at Austin

First Experiments with Rue Automated Deduction / 96-98
Vincent J. Digricoli, The Courant Institute

Mathematical and Theoretical Foundations

What’s Wrong with Non-Monotonic Logic? / 99-101
David J. Israel, Bolt Beranek and Newman, Inc.

Pathology on Game Trees: A Summary of Results / 102-104
Dana S. Nau, University of Maryland

Max-Min Chaining of Weighted Causal Assertions is Loop Free / 105-107
S. W. Ng and Adrian Walker, Rutgers University

Problem Solving

Cooperating Expert Systems

HEARSAY-III: A Domain-Independent Framework for Expert Systems / 108-110
Robert Balzer, Lee Erman, Philip London, and Chuck Williams, USC/Information Sciences Institute

Quantifying and Simulating the Behavior of Knowledge-Based Interpretation Systems / 111-115
V. R. Lesser, S. Reed, and J. Pavlin, University of Massachusetts at Amherst

Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface / 116-120
Eugene Ball and Phil Hayes, Carnegie Mellon University

Problem Solving and Control

Representation of Control Knowledge in Expert Systems / 121-123
Janice S. Aikins, Stanford University

DELTA-MIN: A Search-Control Method for Information-Gathering Problems / 124-127
Jaime G. Carbonell, Carnegie Mellon University

On Waiting / 128-130
Arthur M. Farley, University of Oregon

A Planner for Reasoning about Knowledge and Action / 131-133
Douglas E. Appelt, SRI International

Making Judgments / 134-137
Hans J. Berliner, Carnegie Mellon University

Multiple-Agent Planning Systems / 138-142
Kurt Konolige and Nils J. Nilsson, SRI International

SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties / 143-145
Judea Pearl, University of California, Los Angeles

Problem Solving in Frame-Structured Systems Using Interactive Dialog / 146-147
Harry C. Reinstein, IBM Palo Alto Scientific Center

Representing Knowledge in an Interactive Planner / 148-150
Ann E. Robinson and David E. Wilkins, SRI International

Inference with Recursive Rules / 151-153
Stuart C. Shapiro and Donald P. McKay, State University of New York at Buffalo

Knowledge Representation

Advanced Knowledge Representation

A Frame-Based Production System Architecture / 154-156
David E. Smith and Jan E. Clayton, Stanford University

Knowledge Embedding in the Description System Omega / 157-164
Carl Hewitt, G. Attardi, and Maria Simi, Massachusetts Institute of Technology

A Representation Language Language / 165-169
Russell Greiner and Douglas B. Lenat, Stanford University

Applied Knowledge Representation

Spatial and Qualitative Aspects of Reasoning about Motion / 170-173
Kenneth D. Forbus, Massachusetts Institute of Technology

Computer Interpretation of Human Stick Figures / 174-177
Martin Herman, Carnegie Mellon University

Research on Expert Problem Solving in Physics / 178-180
Gordon S. Novak Jr. and Agustin A. Araya, University of Texas at Austin

Knowledge-Based Simulation / 181-183
Philip Klahr and William S. Faught, The Rand Corporation

Interactive Frame Instantiation / 184-186
Carl Engelman, Ethan A. Scarl and Charles H. Berg, The MITRE Corporation

Specialized Issues in Knowledge Representation

Descriptions for a Programming Environment / 187-189
Ira P. Goldstein and Daniel G. Bobrow, Xerox Palo Alto Research Center

Rule-Based Inference in Large Knowledge Bases / 190-194
William Mark, USC/Information Sciences Institute

A Process for Evaluating Tree-Consistency / 195-198
John L. Goodson, Rutgers University

Reasoning about Change in Knowledgeable Office Systems / 199-201
Gerald R. Barber, Massachusetts Institute of Technology

On Supporting the Use of Procedures in Office Work / 202-207
Richard E. Fikes and D. Austin Henderson, Jr., Xerox Palo Alto Research Center

Metaphors and Models / 208-211
Michael R. Genesereth, Stanford University

Everything You Always Wanted to Know About Authority Structures But Were Unable to Represent / 212-214
James R. Meehan, University of California, Irvine

Real Time Causal Monitors for Complex Physical Sites / 215-217
Chuck Rieger and Craig Stanfill, University of Maryland

Knowledge Acquisition

Applying General Induction Methods to the Card Game Eleusis / 218-220
Thomas G. Dietterich, Stanford University

Modeling Student Acquisition of Problem-Solving Skills / 221-223
Robert Smith, Rutgers University

A Computer Model of Child Language Learning / 224-227
Mallory Selfridge, Yale University

Approaches to Knowledge Acquisition: The Instructable Production System Project / 228-230
Michael D. Rychener, Carnegie Mellon University

Using a Matcher to Make an Expert Consultation System Behave Intelligently / 231-234
René Reboh, SRI International

An Approach to Acquiring and Applying Knowledge / 235-239
Norman Haas and Gary G. Hendrix, SRI International

Self-Correcting Generalization / 240-242
Stephen B. Whltehill, University of California, Irvine

Specialized Systems

Intelligent Retrieval Planning / 243-245
Jonathan J. King, Stanford University

A Theory of Metric Spatial Inference / 246-248
Drew McDermott, Yale University

Design Sketch for a Million-Element NETL Machine / 249-252
Scott E. Fahlman, Carnegie Mellon University

Perceptual Reasoning In a Hostile Environment / 253-255
Thomas D. Garvey and Martin A. Fischler, SRI International

Overview of an Example Generation System / 256-258
Edwina L. Rissland and Elliot M. Soloway, University of Massachusetts at Amherst

Structure Comparison and Semantic Interpretation of Differences / 259-262
Wellington Yu Chiu, USC/Information Sciences Institute

Performing Inferences over Recursive Data Bases / 263-265
Shamim A. Naqvi and Lawrence J. Henschen, Northwestern University

Piaget and Artificial Intelligence / 266-268
Jarrett K. Rosenberg, University of California, Berkeley

Applications

R1: An Expert In the Computer Systems Domain / 269-271
John McDermott, Carnegie Mellon University

Rule-Based Models of Legal Expertise / 272-275
D. A. Waterman and Mark Peterson, The Rand Corporation

Exploiting a Domain Model in an Expert Spectral Analysis Program / 276-279
David R. Barstow, Schlumberger-Doll Research

Project EPISTLE: A System for the Automatic Analysis of Business Correspondence / 280-282
Lance A. Miller, IBM T. J. Watson Research Center

A Knowledge Based Design System for Digital Electronics / 283-285
Milton R. Grlnberg, University of Maryland

Theory Directed Reading Diagnosis Research Using Computer Simulation / 286-288
Christian C. Wagner and John F. Vinsonhaler, Michigan State University

A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis / 289-291
Kenneth Mark Colby, Daniel Christinaz, Santiago Graham, and Roger C. Parkison, University of California, Los Angeles

Trouble-Shooting by Plausible Inference / 292-294
Leonard Friedman, Jet Propulsion Laboartory, California Institute of Technology

An Application of the Prospector System to DOE’s National Uranium Resource Evaluation / 295-297
John Gaschnig, SRI International

Some Requirements for a Computer-Based Legal Consultant / 298-300
L. Thorne McCarty, Rutgers University

Natural Language

When Expectation Fails: Towards a Self-Correcting Inference System / 301-305
Richard H. Granger, Jr., University of California, Irvine

Generating Relevant Explanations: Natural Language Responses to Questions about Database Structure / 306-309
Kathleen R. McKeown, University of Pennsylvania

The Semantic Interpretation of Nominal Compounds / 310-312
Timothy Wilking Finin, University of Illinois

Towards an AI Model of Argumentation / 313-315
Lawrence Birnbaum, Margot Flowers, and Rod McGuire, Yale University

Knowledge Representation for Syntactic/Semantic Processing / 316-323
Robert J. Bobrow and Bonnie L. Webber, University of Pennsylvania

Language and Memory: Generalization as a Part of Understanding / 324-326
Michael Lebowitz, Yale University

Failures in Natural Language Systems: Applications to Data Base Query Systems / 327-330
Eric Mays, University of Pennsylvania

Memory Models

Organizing Memory and Keeping It Organized / 331-333
Janet L. Kolodner, Yale University