IJCAI 1971

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