Proceedings of the Second International Joint Conference on Artificial Intelligence

IJCAI-71 Contents

lst-3rd September 1971

An Accommodating Edge Follower  

by Karl K. Pingle and Jay M. Tenenbaum  1

Scene Analysis Based on Imperfect Edge Data 

by Gilbert Falk  8

Mathematical Models for Automatic Line Detection  

 by Arnold K. Griffith  17

Heuristic Algorithms for Automated Space Planning  

  by Charles M. Eastman  27

A Heuristic Programming Study of Theory Formation in Science

 by Bruce G. Buchanan, Edward A. Feigenbaum and Joshua Lederberg  40

Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-scale System

by V. L. Stefanuk  51

Challenge to Artificial Intelligence: Programming Problems to be Solved 

by J. E. Sammet  59

Grid Coding: A Preprocessing Technique for Robot and Machine Vision

by P. M. Will and K. S. Pennington 66

Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination Prom Several Directions

  by Yoshiaki Shirai and Saburo Tsuji  71

Recognition of Polyhedrons With a Range Finder   

 by Yoshiaki Shirai and Motol Suwa  80

Aspects of the Detection of Scene Congruence  

 by Martin A. Fischler 88

Information Processing Using a Model of Associative Memory

by Kaoru Nakano and Jin-ichi Nagumo 101

An Associative Memory for Auditory Recall 

 by Richard J. Reid  111

The Model of Human Visual Long-Term Memory with Ability for Generalization

by R. M. Granovskaya

The Model of Human Short-terrn Memory  

by I. J. Bereznaya and R. M. Granovskaya  130

 Transformations and Somatotopy in Perceiving Systems 

by Michael A. Arbib  140

The Evolutionay Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms 

 by Konrad R. Fialkowski  148

A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base   

by Erik Sandewall  159

Procedural Embedding of Knowledge in Planner  

by Carl Hewitt  167

System Support for the Stanford Hand-Eye System 

by Jerome A. Feldman and Robert F. Sproull 183

Protocol Analysis as a Task for Artificial Intelligence

by D. A. Waterman  190

Program and Protocol Analysis on a Mental Imagery Task 

by George W. Baylor 218

Conjectures on the Perception of Elongation   

by E. S. Deutsch  238

Computer Perception of Complex Patterns  

by Edward L. Morofsky and Andrew K. C. Wong  248

A Study in Descriptive Representation of Pictorial Data 

 by 0. Firschein and M. A. Fischler  258

Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence  

by Aaron Sloman  270

On Defining the Intelligence of Behaviour and Machines  

by Dr. P. H. Millar 279

A Method of Pattern Recognition Using Rewriting Rules

by Akira Kurematsu, Manabu Takeda and Seiichi Inoue 287

One System for Simulation of Pattern Recognition Algorithms

by V. I. Rybak,G. L. Gimelfarb and E. F. Kushner 298

Pattern Linguistic Analysis Invariant for Plane Transformations 

by J. C. Simon and A. Checroun 308

Hypothesis of Simplicity in Pattern Recognition

by N. G. Zagoruyko and K. F. Samokhvalov 318

Recognition of Hand-Printed Numerals Reduced to Graph-Eepresentable Form

by A. H. Watt and R.L. Beurle 322

Visual Detection of Noisy Patterns

by R. M. Hodgson, G. A. Gelade and R. L. Beurle  333

Robot Planning, Execution, and Monitoring in an Uncertain Environment  

 by John H. Munson  338

An Intelligent Robot with Cognition and Decision-Making Ability

 by Masakazu Ejiri, Takeshi Unon, Haruo Yoda, Tatsuo Goto and Kiyoo Takeyasu 350

The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle

  by J. Feldman. K. Pingle, T. Binford, G. Falk, A. Kay, R. Paul, R. Sproull and J. Tenenbaum  359

Visual-Tactile Symbiotic System for Stereometric Pattern Recognition 

by S. Aida, L. Cordelia and N. Ivacevic 365

Pattern Recognition by an Artificial Tactile Sense 

by Gen-ichiro Kinoshita, Shuhei Aida and Masahiro Mori 376

Trajectory Control of a Computer Arm  

by Richard Paul 385

Application of Questionnaire Theory to Pattern Recognition

by J. C. Simon and C. Roche 391

Pattern Recognition by Quasi-Linguistic Translation Into Artificial Noise-Resistant Language

 by A.N.Radchenko 402

A Nonparametric Valley-Seeking Technique for Cluster Analysis

 by Warren L. G. Koontz and Keinosuke Fukunaga  411

Training for Extremum Determination of Function of Variables Measured in Names Scale

by G. S. Lbov 418

On the Classification of Patterns by the Karhunen-Loeve Orthogonal System Without Supervis

 by Shingo Tomita and Shoichi Noguchi  424

Augmented Transition Networks as Psychological Models of Sentence Comprehension

by Ronald M. Kaplan 429

Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation

by Roger C. Schank 444

Experiments with a Natural Language Problem-Solving System

by Jack P. Gelb  455

A Language Based Problem-Solver 

 by S. Ramani  463

Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases

 by Terrence W. Pratt  474

An Algebraic Definition of Simulation Between Programs  

 by Robin Milner 481

Derived Semantics for Some Programming Language Constructs  

by Peter Henderson 490

Improvement of Marko's Model Toward the Inter-Iocutional Communication Theory 

by Hideo Seki 497

Large Systems and their Regular Expressions: An Approach to Pattern Recognition

by David C. Rine 504

A Net Structure for Semantic Information Storage, Deduction and Retrieval

by Stuart C. Shapiro 512

Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse

 by Robert P. Simmons and Bertram C. Bruce 524

On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence

 by Nicholas V. Findler and David Chen 531

Reduction of Enumeration in Grammar Acquisition

 by Stefano Crespi-Reghizzi 546

Solving Problems by Formula Manipulation in Logic and Linear Inequalities  

by Louis Hodes

Fuzzy Logic and the Resolution Principle  

by Richard C. T. Lee 560

A Paradigm for Reasoning by Analogy 

 by Robert E. Kling  568

Computer Proofs of Limit Theorems 

by W. W. Bledsoe, Roberts S. Boyer and William II. Henneman 586

Heuristic Search vs. Exhaustive Search 

 by Laurent Siklossy and Vesko Marinov  601

STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

 by Richard E. Fikes and Nils J. Nilsson 608

A Model for Functional Reasoning in Desig

 by P. R. Freeman and A. Newell  621

 Branch-and-Bound and Beyond   

by Patrick A. V. Hall  641

Changes in Representation which Preserve Strategies in Games 

by Ranan B. Banerji and George W. Ernst 651

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.