Proceedings of the Seventh International Joint Conference on Artificial Intelligence (I)

IJCAI-81 Contents 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. Soloway162

—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 Systems310

— 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. Whitehill388

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

DISCLAIMER: Please note that IJCAI Organization is the sole copyright owner of all materials published in the Proceedings of its conferences. All rights are reserved. No part of any IJCAI conference Proceedings may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, which is also the IJCAI Organization. Contact information for obtaining written permission can be found here.