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!
Contents
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
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
Meta-Planning / 334-336
Robert Wilensky, University of California, Berkeley
Narrative Text Summarization / 337-339
Wendy G. Lehnert, Yale University
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.