Fourth National Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Ronald J. Brachman, Program Chair
August 6-10, 1984, University of Texas, Austin, Texas. 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
AI and Education
An Interactive Computer-Based Tutor for LISP / 106
Robert G. Farrell, John R. Anderson, and Brian J. Reiser, Carnegie Mellon University
Intention-Based Diagnosis of Programming Errors / 162
W. Lewis Johnson and Elliot Soloway, Yale University
Context-Dependent Transitions in Tutoring Discourse / 355
Beverly Woolf and David D. McDonald, University of Massachusetts
AI Architectures and Languages
Hardware and Software Architectures for Efficient Al / 73
Michael F. Deering, Fairchild Laboratory for Artificial Intelligence Research
Syntax Programming / 110
Stefan Feyock, College of William and Mary
Initial Assessment of Architectures for Production Systems / 116
Charles Forgy, Anoop Gupta, Allen Newell, and Robert Wedig, Carnegie Mellon University
hve Parallel Algorithms for Production System Execution on the DADO Machine / 300
Salvatore J. Stolfo, Columbia University
Automated Reasoning
Generalization Heuristics for Theorems Related to Recursively Defined Functions / 1
S. Kamal Abdali, Tektronix, Inc.; Jan Vytopil, BSO-AT, The Netherlands
A Self-Modifying Theorem Prover / 38
Cynthia A. Brown, GTE Laboratories Incorporated
Focusing in Plan Recognition / 42
Norman F. Carver and Victor R. Lesser, University of Massachusetts; Daniel L. McCue, Digital Equipment Corporation
A Forward Inference Engine to Aid in Understanding Specifications / 56
Donald Cohen, USC Information Sciences Institute
Towards a Better Understanding of Bidirectional Search / 68
Henry W. Davis, Randy B. Pollack, and Thomas Sudkamp, Wright State University
Choices Without Backtracking / 9
Johan de Kleer, Xerox Palo Alto Research Center
Qualitative Reasoning With Higher-Order Derivatives / 86
Johan de Kleer and Daniel G. Bobrow, Xerox Palo Alto Research Center
A Theory of Action for MultiAgent Planning / 121
Michael Georgeff, SRI International
Non-Monotonic Reasoning Using Dempster’s Rule / 126
Matthew L. Ginsberg, Stanford University
Diagnosing Circuits With State: An Inherently Underconstrained Problem / 142
Walter Hamscher and Randall Davis, Massachusetts Institute of Technology
Meta-Level Control Through Fault Detection and Diagnosis / 153
Eva Hudlicka and Victor R. Lesser, University of Massachusetts
A General Bottom-up Procedure for Searching And/Or Graphs / 182
Vipin Kumar, University of Texas at Austin
How to Cope With Anomalies in Parallel Approximate Branch-and-Bound / 212
Guo-jie Li and Benjamin W. Wah, Purdue University
D-Node Retargeting in Bidirectional Heuristic Search / 274
George Politowski and Ira Pohl, University of California at Santa Cruz
Qualitative Modeling in the Turbojet Engine Domain / 283
Raman Rajagopalan, University of Illinois at Urbana-Champaign
Knowledge Inversion / 295
Yoav Shoham and Drew V. McDermott, Yale University
A Mechanical Solution of Schubert’s Steamroller by Many-Sorted Resolution / 330
Christoph Walther, Universitat Karlsruhe
The Use of Continuity in a Qualitative Physics / 350
Brian C. Williams, Massachusetts Institute of Technology
Cognitive Modeling
A Model of Lexical Access of Ambiguous Words / 61
Garrison W. Cottrell, University of Rochester
Automated Cognitive Modeling / 193
Pat Langley and Stellan Ohlsson, Carnegie Mellon University
Explaining and Arguing with Examples / 288
Edwina L. Rissland, Eduardo M. Valcarce, and Kevin D. Ashley, University of Massachusetts
Phenomenologically Plausible Parsing / 335
David L. Waltz and Jordan B. Pollack, University of Illinois at Urbana-Champaign
Expert Systems
Personal Construct Theory and the Transfer of Human Expertise / 27
John H. Boose, Boeing Computer Services
Classification Problem Solving
William J. Clancey, Stanford University / 49
YES/MVS: A Continuous Real Time Expert System / 130
J. H. Griesmer, S. J. Hong, M. Karnaugh, J. K. Kastner, M. I. Schor, R. L. Ennis, D. A. Klein, K. R. Milliken, and H. M. VanWoerkom, IBM T. J. Watson Research Center
Self-Explanatory Financial Planning Models / 176
Donald W. Kosy and Ben P. Wise, Carnegie Mellon University
Selective Abstraction of Al System Activity / 264
Jasmina Pavlin and Daniel D. Corkill, University of Massachusetts
Continuous Belief Functions for Evidential Reasoning / 308
Thomas M. Strat, SRI International
Knowledge Representation
The Tractability of Subsumption in Frame-Based Description Languages / 34
Ronald J. Brachman and Hector J. Levesque, Fairchild Laboratory for Artificial Intelligence Research
Likelihood, Probability, and Knowledge / 137
Joseph Y. Halpern, IBM Research Laboratory; David A. McAllester, Massachusetts Institute of Technology
A Logic of Implicit and Explicit Belief / 198
Hector J. Levesque, Fairchild Laboratory for Artificial Intelligence Research
A Self-Organizing Retrieval System for Graphs / 203
Robert Levinson, University of Texas at Austin
A Set-Theoretic Framework for the Processing of Uncertain Knowledge / 216
S. Y. Lu and H. E. Stephanou, Exxon Production Research Co.
Processing Entailments and Accessing Facts in a Uniform Frame System / 233
Anthony S. Maida, University of California at Berkeley and Penn State University
Expressiveness of Languages / 226
Jock Mackinlay and Michael R. Genesereth, Stanford University
Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks / 255
Matthew Morgenstern, USC Information Sciences Institute
Implicit Ordering of Defaults in Inheritance Systems / 322
David S. Touretzky, Carnegie Mellon University
Very-High-Level Programming of Knowledge Representation Schemes / 344
Stephen J. Wesffold, Stanford University and Kestrel Institute
Learning
Constraint Limited Generalization: Acquiring Procedures from Examples / 6
Peter M. Andreae, Massachusetts Institute of Technology
Learning Problem Classes by Means of Experimentation and Generalization / 11
Agustin A. Araya, P. Universidad Catolica de Chile
Learning About Systems that Contain State Variables / 96
Thomas G. Dietterich, Stanford University
Maintaining Diversity in Genetic Search / 247
Michael L. Mauldin, Carnegie Mellon University
Constraint-Based Generalization: LeaMing Game-Playing Plans from Single Examples / 251
Steven Minton, Carnegie Mellon University
Generalization for Explanation-Based Schema Acquisition / 260
Paul O'Rorke, University of Illinois at Urbana-Champaign
Leaming Operator Transformations / 278
Bruce W. Porter and Dennis F. Kibler, University of California at Irvine
Natural Language
Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure / 101
Gavan Duffy and John C. Mallery, Massachusetts Institute of Technology
A Semantic Process for Syntactic Disambiguation / 148
Graeme Hirst, University of Toronto
Living Up To Expectations: Computing Expert Responses / 169
Aravind Joshi and Bonnie Webber, University of Pennsylvania; Ralph M. Weischedel, University of Delaware
Frame Selection in Parsing / 222
Steven L. Lytinen, Yale University
A Production Rule System for Message Summarization / 243
Elaine Marsh and Henry Hamburger, Naval Research Laboratory; Ralph Grishman, New York University
Perception
Reconstructing a Visible Surface / 23
A. Blake, University of Edinburgh
A System of Plans for Connected Speech Recognition / 92
Renato DeMori and Yu F. Mong, Concordia University
Domain Independent Object Description and Decomposition / 207
Tod S. Levitt, Advanced Information & Decision Systems
A Representation for Image Curves / 237
David H. Marimont, Stanford University
Shading Into Texture / 269
Alex P. Pentland, SRI International
Efficient Multiresolution Algorithms for Computing Lightness, Shape-from-Shading, and Optical Flow / 314
Demetri Terzopoulos, Massachusetts Institute of Technology
The Shape of Subjective Contours / 340
Jon A. Webb, Carnegie Mellon University; Edward Pervin, Perq Systems Corporation
Fingerprints Theorems / 362
A. L. Yuille and T. Poggio, Massachusetts Institute of Technology
Robotics
Task Frames in Robot Manipulation / 16
Dana H. Ballard, University of Rochester
Path Relaxation: Path Planning for a Mobile Robot / 318
Charles E. Thorpe, Carnegie Mellon University
Three Findpath Problems / 326
Richard S. Wallace, Carnegie Mellon University