IJCAI 1981 VOL 1

24-28 August 1981 University of British Columbia Vancouver, B.C., Canada

CONTENTS

—NATURAL LANGUAGE 1 —
Toward a Detailed Model of Processing for Language Describing the Physical World    1
Language Comprehension in a Problem Solver

 

7
Cancelled Due To Lack Of Interest

 

13
Story Generation After TALE-SPIN

 

16
—NATURAL LANGUAGE 2 —
Modeling Informal Debates

 

19
A Knowledge-Based Approach to Language Processing:

 A Progress Report

 

25
The Need for Referent Identification as a Planned Action

 

31
—NATURAL LANGUAGE 3--- -
Integration, Unification, Reconstruction, Modification:

 An Eternal Parsing Braid

 

37
Design Characteristics of a Machine Translation System

M. King

 

43
High Level Memory Structures and Text Coherence in Translation

 

47
Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic Scene

 HeinzMarburger, Bernd Neumann,

 

49
—NATURAL LANGUAGE 4—
Using Language and Context in the Analysis of Text

 

52
Opportunistic Processing in Arguments

 Rod McGuire, Lawrence Birnbaum,

 

58
Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response Eric Mays, Sitaram Lanka, Aravind K. Joshi,

 

61
Variable-Depth Natural Language Understanding

 

64
Generalizations Based on Explanations

 

67
—NATURAL LANGUAGE 5—
Viewing Word Expert Parsing as Linguistic Theory

 

70
A Plot Understanding System on Reference to Both Image and Language

Northro Abe, Itsuya Soga, Saburo Tsuji

 

77
Metaphor Interpretation as Selective Inferencing

 

85
—LEARNING 1 —
A Computer Model of Child Language Acquisition Mallory Selfridge

 

92
A Theory of Language Acquisition Based on

 

97
General Learning Principles

 

104
Concept Learning by Experiment

 

104
Analogy-Based Acquisition of Utterances Relating to Temporal Aspects

 

106
—LEARNING 2—
Inductive Learning of Pronunciation Rules by Hypothesis Testing and Correction

 S. Oakey, R.C. Cawthorn

 

109
Failure-Driven Reminding for Incremental Learning

 

115
BACON.5: The Discovery of Conservation Laws

 Pat Langley, Gary L. Bradshaw,

121
—LEARNING 3—
Learning Problem-Solving Heuristics Through Practice 

Tom M. Mitchell, Paul E. Utgoff,

 

127
Knowledge Acquisition in the Consul System

 

135
Learning (Complex) Structural Descriptions from Examples

 

141
Learning Racquetball by Constrained Example Generation

 

144
—LEARNING 4—
A Computational Model of Analogical Problem Solving

 

147
Concept Learning by Structured Examples -An Algebraic Approach Fritz Wysotzki, Werner Kolbe,

 

153
Learning of Sensory-Motor Schemas in a Mobile Robot

 

159
Constrained Example Generation: A Testbed for Studying Issues in Learning

 Edvina L. Rissland, Elliot M. Soloway

162
—COGNITIVE SCIENCE 1 —                                                                                                   
Tuning of Search of the Problem Space for Geometry Proofs

 

165
AUTOPILOT: A Distributed Planner for Air Fleet Control

Perry W. Thorndyke, Dave McArthur,

 

171
Deductive Modeling of Human Cognition

 

178
COGNITIVE SCIENCE 2
Summarizing Narratives

  Wendy G. Lehnert, John B. Black,

184
Text Plans and World Plans in Natural Discourse

 

190

Why Robots Will Have Emotions

 

197
—COGNITIVE SCIENCE 3- -
Recognizing Intended Meaning and Speakers' Plans

 Candace L. Sidner, David J. Israel

 

 203
Character Tracking and the Understanding of Narratives

 

209
Learning And Abstraction In Simulation

 

212
Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving

 Paul E. Johnson, William B. Thompson

 

215
Multi-Processor Rotation and Comparison of Objects

 

216
—KNOWLEDGE REPRESENTATION 1 —
An Interval-Based Representation of Temporal Knowledge

 

221
Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You?
RESTAURANT Revisited or "Lunch with BORIS"

 

234
The Role of Roles: Some Aspects of Real World Knowledge Representation

 

 237
—KNOWLEDGE REPRESENTATION 2—
The Interaction with Incomplete Knowledge Bases: A Formal Treatment

 

240
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations  Thome

McCarty, N.S. Sridharan

246
On the Definition of Specialization Hierarchies for Procedures

 

254
On the Relation Between Knowledge Representation and Reasoning Mechanisms in Discourse Comprehension

 

257
KNOWLEDGE REPRESENTATION 3—
Cancellation in a Parallel Semantic Network Scott E. Fahlman, David S. Touretzky,-NA  
Knowledge Representation of Design in Many-Sorted Logic

 

 264
On Interacting Defaults

 Raymond Reiter, Giovanni Criscuolo

 

270
—KNOWLEDGE REPRESENTATION 4—
The Design Of A System For Designing Knowledge Representation Systems

 

277
HPM: A Computational Formalism for Heuristic Procedure Modification

 

283
Representing Implicit And Explicit Time Relations In Narrative

 

289
—KNOWLEDGE REPRESENTATION 5—
The Superiority of Relative Criteria in Partial Matching and Generalization

 

296
PARTS INFERENCE: Closed and Semi-Closed Partitioning

Graphs Mary A. Papalaskaris, Lenhart Schubert

 

304
Decision Trees For Optimizing Pattern-Matching Algorithms in Production Systems

 

310
— INFERENCE and REASONING 1 —
Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition

 

313
An Inference Technique for Integrating Knowledge from Disparate Sources

Thomas D. Garvey, John D. Lowrance,

319
Qualitative Reasoning about Physical Processes

 

326
— INFERENCE and REASONING 2 —
Plan Synthesis: A Logical Perspective

 

331
A New Method for Solving Constraint Satisfaction Problems

 

338
Representations for Reasoning about Digital Circuits

Tom M. Mitchell, Lou Steinberg, Reid G. Smith, Pat Schooley,

 

343
Don't Be Stupid

 

 345
—INFERENCE and REASONING 3—
The Nature of Generalization in Understanding

 

 348
Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation

 

 354
Towards Automating Explanations

 R.E. Cullingford, M.W. Krueger

 

362
— INFERENCE and REASONING 4—
Using Active Connection Graphs for Reasoning with Recursive Rules

 

368
Representation and Inference in the Consul System

William Mark

 

 375
Reasoning about Deduction with Unknown Constants

 

382
Control of Inference: Role of Some Aspects of Discourse Structure-Centering

 

385
— INFERENCE and REASONING 5—
A Belief Representation for Understanding Deception Gregory

B. Taylor, Stephen B. Whitehill

388
The Framework for a Model of Psychoanalytic Inference

 

394
Building the Inference Component of an Historical Information Retrieval System

 

401
—NATURAL LANGUAGE APPLICATIONS 1 —
The Design and an Example Use of Hearsay-Ml

 Lee Erman, Philip London, Stephen Fickas

 

409
Anaphora for Limited Domain Systems

 

416
Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant

 

423
Computing a Map from Michi-Annai-Bun or Written Descriptions

 

426
—NATURAL LANGUAGE APPLICATIONS 2—
GLP: A General Linguistic Processor

 

429
Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update

Philip J. Hayes,Jaime G. Carbonell

432
A Deterministic Analyzer for the Interpretation of Natural Language Commands

 Leonardo Lesmo, Daniela Magnani,

440
A General Semantic Analyser for Data Base Access

 

443
—THEORETICAL FOUNDATIONS 1 —
An Algorithm that Infers Theories from Facts

 

446
Distinctions and Confusions: A Catalogue Raisonne

 David J. Israel, Ronald J. Brachman

 

452
An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy

 Ryszard S. Michslski, Robert E. Stepp

460
—THEORETICAL FOUNDATIONS 2—
Using Matching in Algebraic Equation Solving

 

466
Application of Automatic Transformations to Program Verification

 Robert L. Veroff, Lawrence J. Henschen .

 472
Sub6umption And Connection Graphs

 

460
—THEORETICAL FOUNDATIONS 3—
Extended Plausible Inference

 

487
A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems

 

496
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation

 

504
—THEOREM PROVING 1 —
The Narkgraf Karl Refutation Procedure

K. Blasius, N. Fisinger, J. Siekmann,

 511
Symbolic Evaluation of LISP Functions with Side Effects for Verification

 

An Improved Filter for Literal Indexing in Resolution Systems

 Lawrence J. Henschen, Shamim A. Naqvi

 528
.Obvious Logical Inferences

 

  530
—THEOREM PROVING 2—
Universal Unification and Regular Equational ACFM Theories

 

532
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory

 

539
Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems

 

 548
Homogenization: Preparing Equations for Change of Unknown

 

 551
—SEARCH 1 —
Heuristic Search Theory: Survey of Recent Results

 

554
Search Methods Using Heuristic Strategies

 

563
Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results

 

569
Some Remarks on Heuristic Search Algorithms

 

572
—SEARCH 2—
The Use of Parallelism to Implement a Heuristic Search

 

575
An Examination of Brute Force Intelligence

 

581
How to Search Efficiently

 Cynthia A. Brown, Paul W. Purdom, Jr

588