IJCAI 87

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