Third National Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Michael R. Genesereth, Program Chair
August 22-26, 1983, Washington, D.C. 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
Knowledge Representation and Problem Solving
An Overview of Meta-Level Architecture / 119
Michael R. Genesereth, Stanford University
Finding All of the Solutions to a Problem / 373
David E. Smith, Stanford University
Communication and Interaction in Multi-Agent Planning / 125
Michael Georgeff, SRI International
Data Dependencies on Inequalities / 266
Drew McDermott, Yale University
KRYPTON: Integrating Terminology and Assertion / 31
Ronald J. Brachman and Hector J. Levesque, Fairchild Laboratory for Artificial Intelligence Research; Richard E. Fikes, Xerox Palo Alto Research
The Denotational Semantics of Horn Clauses as a Production System / 229
J.-L. Lassez and M. Maher, University of Melbourne, Australia
Theory Resolution: Building in Nonequational Theories / 391
Mark E. Stickel, SRI International
Improving the Expressiveness of Many Sorted Logic / 84
Anthony G. Cohn, University of Warwick, England
The Bayesian Basis of Common Sense Medical Diagnosis / 70
Eugene Charniak, Brown University
Analyzing the Roles of Descriptions and Actions in Open Systems / 162
Carl Hewitt and Peter de Jong, Massachusetts Institute of Technology
Proving the Correctness of Digital Hardware Designs / 17
Harry G. Barrow, Fairchild Laboratory for Artificial Intelligence Research
A Chess Program That Chunks / 49
Murray Campbell and Hans Berliner, Carnegie Mellon University
The Decomposition of a Large Domain: Reasoning about Machines / 387
Craig Stanfill, University of Maryland
Reasoning about State From Causation and Time in a Medical Domain / 251
William J. Long, Massachusetts Institute of Technology
The Use of Qualitative and Quantitative Simulations / 364
Reid G. Simmons, Massachusetts Institute of Technology
An Automatic Algorithm Designer: An Initial Implementation / 177
Elaine Kant and Allen Newell, Carnegie Mellon University
On Inheritance Hierarchies with Exceptions / 104
David W. Etherington, University of British Columbia, Canada; Raymond Reiter, University of British Columbia, Canada, and Rutgers University
Default Reasoning as Likelihood Reasoning / 348
Elaine Rich, University of Texas at Austin
Default Reasoning Using Monotonic Logic: A Modest Proposal / 297
Jane Terry Nutter, Tulane University
A Theorem-Prover for a Decidable Subset of Default Logic / 27
Philippe Besnard, Rene Quiniou, and Patrice Quinton, IRISA--INRIA Rennes, Campus de Beaulieu, France
Derivational Analogy and Its Role in Problem Solving / 64
Jaime G. Carbonell, Carnegie Mellon University
Cognitive Modeling
Three Dimensions of Design Development / 130
Neil M. Goldman, USC/lnformation Sciences Institute
Six Problems for Story Understanders / 284
Peter Norvig, University of California at Berkeley
Planning and Goal Interaction: The Use of Past Solutions in Present Situations / 148
Kristian J. Hammond, Yale University
A Model of Learning by Incremental Analogical Reasoning and Debugging / 45
Mark H. Burstein, Yale University
Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation / 216
Benjamin Kuipers, Tufts University
STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior / 139
Richard H. Granger, Kurt P. Eiselt, and Jennifer K. Holbrook, University of California at Irvine
Learning Operator Semantics by Analogy / 100
Sarah A. Douglas, Stanford University and Xerox Palo Alto Research Center; Thomas P. Moran, Xerox Palo Alto Research Center
An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach / 398
Eswaran Subrahmanian, Carnegie Mellon University
Vision and Robotics
A Variational Approach to Edge Detection / 54
John Canny, Massachusetts Institute of Technology
Surface Constraints from Linear Extents / 187
John R. Kender, Columbia University
An Iterative Method for Reconstructing Convex Polyhedra from External Guassian Images / 247
James J. Little, University of British Columbia, Canada
Two Results Concerning Ambiguity in Shape From Shading / 36
Michael J. Brooks, Flinders University of South Australia, Australia
Perceptual Organization as a Basis for Visual Recognition / 255
David G. Lowe and Thomas O. Binford, Stanford University
Model-Based Interpretation of Range Imagery / 210
Darwin T. Kuan and Robert J. Drazovich, Advanced Information & Decision Systems
A Design Method for Relaxation Labeling Applications / 168
Robert A. Hummel, New York University
Appropriate Lengths between Phalanges of Multijointed Fingers for Stable Grasping / 301
Tokuji Okada and Takeo Kanade, Carnegie Mellon University
Find-Path for a PUMA-Class Robot / 40
Rodney A. Brooks, Massachusetts Institute of Technology
Rule Based Strategies for Image Interpretation / 429
T. E. Weymouth, J. S. Griffith, A. R. Hanson, and E. M. Riseman, University of Massachusetts
Natural Language
Recursion in TEXT and Its Use in Language Generation / 270
Kathleen R. McKeown, Columbia University
Repairing Miscommunication: Relaxation in Reference / 134
Bradley A. Goodman, Bolt Beranek & Newman, Inc.
Tracking User Goals in an Information-Seeking Environment / 59
Sandra Carberry, University of Delaware
Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing / 306
Paul O'Rorke, University of Illinois at Urbana-Champaign
RESEARCHER: An Overview / 232
Michael Lebowitz, Columbia University
Phonotactic and Lexical Constraints in Speech Recognition / 172
Daniel P. Huttenlocher and Victor W. Zue, Massachusetts Institute of Technology
Deterministic and Bottom-Up Parsing in Prolog / 383
Edward P. Stabler, Jr., University of Western Ontario, Canada
MCHART: A Flexible, Modular Chart Parsing System / 408
Henry Thompson, University of Edinburgh, Scotland
Inference-Driven Semantic Analysis / 310
Martha Stone Palmer, SDC, A Burroughs Company, and University of Pennsylvania
Mapping Between Semantic Representations Using Horn Clauses / 424
Ralph M. Weischedel, University of Delaware
Constraining a Deterministic Parser / 8
J. Bachenko, D. Hindle, and E. Fitzpatrick, Naval Research Laboratory
QE-III: A Formal Approach to Natural Language Querying / 79
James Clifford, New York University
An Overview of the Penman Text Generation System / 261
William C. Mann, USC/Information Sciences Institute
Interactive Script Instantiation / 320
Michael J. Pazzani, The MITRE Corporation
Learning
Episodic Learning / 191
Dennis Kibler and Bruce Porter, University of California at Irvine
Human Procedural Skill Acquisition: Theory, Model and Psychological Validation / 420
Kurt VanLehn, Xerox Palo Alto Research Center
A Production System for Learning Plans from an Expert / 22
D. Paul Benjamin and Malcolm C. Harrison, New York University
Operator Decomposability: A New Type of Problem Structure / 206
Richard E. Korf, Carnegie Mellon University
Schema Selection and Stochastic Inference in Modular Environments / 378
Paul Smolensky, University of California at San Diego
Why AM and Eurisko Appear to Work / 236
Douglas B. Lenat, Stanford University; John Seely Brown, Xerox Palo Alto Research Center
Learning Physical Descriptions From Functional Definitions, Examples, and Precedents / 433
Patrick H. Winston and Boris Katz, Massachusetts Institute of Technology; Thomas O. Binford and Michael Lowry, Stanford University
A Problem-Solver for Making Advice Operational / 279
Jack Mostow, USC/Information Sciences Institute
Generating Hypotheses to Explain Prediction Failures / 352
Steven Salzberg, Yale University
Learning by Re-Expressing Concepts for Efficient Recognition / 182
Richard M. Keller, Rutgers University
Learning: The Construction of A Posteriori Knowledge Structures / 359
Paul D. Scott, University of Michigan
A Doubly Layered, Genetic Penetrance Learning System / 343
Larry A. Rendell, University of Guelph, Canada
An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation / 327
Elaine Pettit and Kathleen M. Swigger, North Texas State University
Expert Systems
The Design of a Legal Analysis Program / 114
Anne v.d.L. Gardner, Stanford University
The Advantages of Abstract Control Knowledge in Expert System Design / 74
William J. Clancey, Stanford University
The GIST Behavior Explainer / 114
Bill Swartout, USC/Information Sciences
A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF / 1
Nelleke Aiello, Stanford University
A Rule-Based Approach to Information Retrieval: Some Results and Comments / 411
Richard M. Tong, Daniel G. Shapiro, Brian P. McCune, and Jeffrey S. Dean, Advanced Information & Decision Systems
Expert System Consultation Control Strategy / 369
James Slagle and Michael Gaynor, Naval Research Laboratory
Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle / 88
Randall Davis, Massachusetts Institute of Technology
A New Inference Method for Frame-Based Expert Systems / 333
James A. Reggia, Dana S. Nau, and Pearl Y. Wang, University of Maryland
Analysis of Physiological Behavior Using a Causal Model Based on First Principles / 225
John C. Kunz, Stanford University
An Intelligent Aid for Circuit Redesign / 274
Tom M. Mitchell, Louis 1. Steinberg, Smadar Kedar-Cabelli, Van E. Kelly, Jeffrey Shulman, Timothy Weinrich, Rutgers University
TALIB: An IC Layout Design Assistant / 197
Jin Kim and John McDermott, Carnegie Mellon University
Using Structural and Functional Information in Diagnostic Design / 152
Walter Hamscher, Massachusetts Institute of Technology
Abstract Explanations of Strategy in a Diagnostic Consultation System / 157
Diane Warner Hasling, Stanford University
Search
A Theory of Game Trees / 416
Chun-Hung Tzeng and Paul W. Purdom, Jr., Indiana University
The Optimality of A + Revisited / 95
Rina Dechter and Judea Pearl, University of California at Los Angeles
Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities / 292
Bernard Nudel, Rutgers University
The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures + / 220
Vipin Kumar, University of Texas at Austin; Laveen Kanal, University of Maryland
Non-Minimax Search Strategies for Use Against Fallible Opponents / 338
Andrew L. Reibman and Bruce W. Ballard, Duke University
Intelligent Control Using Integrity Constraints / 202
Madhur Kohli and Jack Minker, University of Maryland
Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach / 314
Jasmina Pavlin, University of Massachusetts
Support Hardware and Software
Massively Parallel Architectures for Al: NETL, Thistle, and Boltzmann Machines / 109
Scott E. Fahlman and Geoffrey E. Hinton, Carnegie Mellon University; Terrence J. Sejnowski, The Johns Hopkins University
YAPS: A Production Rule System Meets Objects / 5
Elizabeth Allen, University of Maryland
Specification-Based Computing Environments / 12
Robert Balzer, David Dyer, Matthew Morgenstern, and Robert Neches, USC/Information Sciences Institute
An Object-Oriented Simulator for the Apiary / 241
Henry Lieberman, Massachusetts Institute of Technology
Knowledge-Based Programming Using Abstract Data Types / 288
Gordon S. Novak, Jr., Stanford University
IMPULSE: A Display Oriented Editor for STROBE / 356
Eric Schoen and Reid G. Smith, Schlumberger-Doll Research