i * SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 1-3 September 1971 Imperial College London PROGRAM

Technical Papers Accepted for the Conference E . im Ikf Ml IRE Corp

.A. :27 Session Titles: A le Inf ioni slty Theoretical Foundations Via S. 44 A Theorem Proving Heuristic Problem Solving Proqramme Pattern Recognition I. General Papers artment Pattern Recognition 11. Statistical Approaches Swansea Scene Analysis I. General Papers Scene Analysis 11. Robot Papers 0 KINGDOM* Project Robots and Integrated Systems Local Arrangements Computer Understanding Support menial Psychology Software Psychological Modeling TED KINntXIM Associative and Adaptive Models Applications Secretary/Treasurer

rogramma

lard ERAI

Alistair D. Ho I den lectrical Engineering Department niversity of Washington Washington 98105 .A. 45-2054

Members uhei Aida Industrial Science University of Tokyo RopDong i 7, Minatoku Tokyo JAPAN

Saul Amare tpartment Computer vi ngston I lege ty New New Jersey 08903 U.S.A.

Is J . Nil s£>on >rd Research Ins+ftute Menlo 94025 U.S.A.

Dr. Bertram Raphae Stanford Research Institute Menlo Pjrk, 94025 U.S.A. CONFERENCE Department' The British Computer Society 29 Portland Place Wl tngland UNITED KINGDOM 01-637-04 'I (TELEX 28 119 BCS LDN)

Sponsored by the INTERNATIONAL JOINT COUNCIL ON ARTIFICIAL INTELLIGENCE

CONFERENCECOMMITTEE

General Chairman

Vice-Chairman

orma;:

Maria,

Chairman

Chairman

Past-General Chairman Professor C.

Committee

22-1, 106,

of Science Co

Brunswick,

Park, California

California

ADMINISTRATION Cunferonce

London, " i *

Theoretical Foundations

A. Sloman, University of Sussex, U.K. Interactions Between Philosophy and Artificial Intelligence: the rule of intuition and non-logical reasoning in intelligence

P. H. Millar, International Computers Limited, U.K. On Defining the Intelligence of Behaviour and Machines

Terrence W. Pratt, University of Texas, U.S. A Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases

Robin Milner, Stanford University, U.S.A. An Algebraic Definition of Simulation Between Programs

Peter Henderson, University of Newcastle, U.K. Derived Semantics for some Programming Language Constructs

Hideo Seki, University of Electro-Communications, JAPAN Improvement of Marko ' s Model Toward the Inter-Locutional Communications Theory

David C. Rine, West Virginia University, U.S.A. Large Systems and Their Regular Expressions: An Approach to Pattern Recognition Theorem Proving

Claude R. Brice and Jan A. Derksen, Compagnie Francaise de Petroles , FRANCE, and Stanford Research Institute, U.S.A. A Heuristically Guided Equality Rule in a Resolution Theorem Prover

Louis Hodes, National Institutes of Health, U.S.A Solving Problems by Formula Manipulation in Logic and Linear Inequalities

Richard C. T. Lee, National Institutes of Health, U.S.A. Fuzzy Logic and Its Application to Problem Solving Systems

Robert E. Kling, Stanford Research Institute, U.S.A A Paradigm for Reasoning by Analogy

W. W. Bledsoe, Robert S. Boyer , and William H. Henneman, University of Texas and Institute of Technology, U.S.A. Computer Proof of Limit Theorems

Laurent Siklossy and Vesko Marinov, University of Texas, U.S. A Heuristic Search vs. Exhaustive Search r

Heuristic Problem Solving

Richard E. Fikes and Nils J. Nilsson, Stanford Research Institute ) U S A STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

Peter A. Freeman and Allen Newell, Carnegie Mellon University, U.S A A Model for Functional Reasoning in Design

Patrick A. V. Hall, City University (London), U.K Branch-and-Bound and Beyond

Ranan B. Baner j i and George W. Ernst, Case-Western Reserve University, U.S. A Changes in Representation which Preserve Strategies in Games Pattern Recognition I General Papers

Akira Kurematsu, Manabu Takeda, and Seiichi Inoue, Kokusa Denshin Denwa Co s JAPAN A Method of Pattern Recognition Using Rewriting Rules

V. I. Rybak, G. L. Gimelfarb, and E. F. Kushner , Institute of Cybernetics (Kiev), U.S.S.R. One System for Simulation of Pattern Recognition Algorithms

J. C. Simon and A. Checroun, Universite de Paris, FRANCE Pattern Linguistic Analysis Invariant for Plane Transformations

N. G. Zagoruyko and K. F. Samokhvalov, Academy of Sciences (Novosibirsk), U S.S R Hypothesis of Simplicity in Pattern Recognition

A. H. Watt and R. L. Beurle, University of Nottingham, U.K Recognition of Hand-printed Numerals Reduced to Graph-representable Form

R. M. Hodgson, G. A. Gelade, and R. L. Beurle, University of Nottingham, U.K. Visual Detection of Noisy Patterns Pattern Recognition II Statistical Approaches

J. C. Simon and C. Roche, Universite de Paris, FRANCE Application of Questionnaire Theory to Pattern Recognition

A. N. Radchenko, Leningrad Polytechnic Institute, U.S.S.R. Pattern Recognition by Quasi-Linguistic Translation into Artificial Noise-Resistant Language

Warren L. G. Koontz and Keinosuke Fukunaga, Purdue University, U.S.A. A Nonparametric Valley-Seeking Technique for Cluster Analysis

G. S. Lbov, Academy of Sciences (Novosibirsk), U.S.S.R. Training for Extremum Determination of Function of Variables Measured in Names Scale

Shingo Tomita and Shoichi Noguchi , Tohoku University, JAPAN Theory of Classification for Patterns by the Karhunen-Loeve Orthogonal System without Supervisor Scene Analysis I General Papers

Peter M. Will and K. S. Pennington, IBM Corporation (Yorktown Heights), U S.A Grid Coding: A Preprocessing Technique for Robot and Machine Vision

Yoshiaki Shirai, Electrotechnical Laboratory, JAPAN Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination from Several Directions

Yoshiaki Shirai, Electrotechnical Laboratory, JAPAN Recognition of Polyhedrons with a Range Finder

Martin A. Fischler, Lockheed Palo Alto Research Laboratory, U.S.A Aspects of the Detection of Scene Congruence Scene Analysis II Robot Project Papers

Gerald Agin and Thomas Binford, Stanford University, U.S.A Representation and Description of Complex Objects

Karl K. Pingle and Jay M. Tenenbaum, Stanford University, U.S. A An Accommodating Edge Follower

Gilbert Falk, Rutgers University, U.S.A. Scene Analysis Based on Imperfect Edge Data

Eugene C. Freuder, Massachusetts Institute of Technology, U.S.A Line Predicates and the Object Partition Problem

Arnold K. Griffith, Massachusetts Institute of Technology, U.S. A Mathematical Models for Automatic Line Detection Robots and Integrated Systems

John H. Munson, Stanford Research Institute, U.S.A. Robot Planning, Execution, and Monitoring in an Uncertain Environment

M. Ejiri, T. Uno, H. Yoda, T. Goto, and K. Takeyasu, Hitachi, Ltd., JAPAN An Intelligent Robot with Cognition and Decision-Making Ability

Jerome Feldman, Karl Pingle, Thomas Binford, Gilbert Falk, Alan Kay, Richard Paul, Robert Sproull, and Jay Tenenbaum, Stanford University, U.S.A The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle

Shuhei Aida, N. Ivancevic, and L. Cordelia, University of Electro- Communications (Tokyo), JAPAN, and Laboratorio di Cibernetica (Naples), ITALY A Method of Visual-Tactile Symbiotic System for Stereometric Pattern Recognition

Gen-ichiro Kinoshita, Shuhei Aida, and Masahiro Mori, Chuo University, University of Electro-Communications, and Tokyo Institute of Technology, JAPAN Pattern Recognition by the Artificial-Tactile Sense

Richard Paul, Stanford University, U.S.A. Trajectory Control of a Computer Arm Computer Understanding

Ronald M. Kaplan, Language Research Foundation and Harvard University, U S.A Psychological Models of Sentence Comprehension

Terry Winograd , Massachusetts Institute of Technology, U.S.A An A. I. Approach to English Morphemic Analysis

Roger C. Schank, Stanford University, U.S.A Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation

Jack P. Gelb, IBM Corporation (Poughkeepsie) , U.S.A. Experiments with a Natural Language Problem-Solving System

S. Ramani, Tata Institute of Fundamental Research, INDIA A Language Based Problem-Solver

Stuart C. Shapiro, University of Wisconsin, U.S.A A Net Structure for Semantic Information Storage, Deduction and Retrieval

Robert F. Simmons, University of Texas, U.S.A Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse

Nicholas V. Findler and David Chen, State University of New York (Buffalo), U S.A On the Problems of Time, Retrieval of Temporal Relations, Causality and Co-Existence

Stefano Crespi-Reghizzi, Istituto di Elletrotecnica ed Elettronica Politecnico > (Milano) , ITALY Reduction of Enumeration in Grammar Acquisition Software Support

Erik Sandewall, University of Uppsala, SWEDEN A Programming Tool for Management of a Predicate Calculus-Oriented Data Base

Carl Hewitt, Massachusetts Institute of Technology, U.S.A. MATCHLESS a Pattern Directed Language for the Theorem Proving Formalism PLANNER

Carl Hewitt, Massachusetts Institute of Technology, U.S.A Procedural Embedding in PLANNER

Jerome A. Feldman and Robert F. Sproull, Stanford University and National Institutes of Health, U.S.A. System Support for the Stanford Hand-Eye System Psychological Modeling

D. A. Waterman and Allen Newell , Carnegie Mellon University, U.S.A Protocol Analysis as a Task for Artificial Intelligence

George W. Baylor, Universite de Montreal, CANADA Program and Protocol Analysis on a Mental Imagery Task

E. S. Deutsch , University of Maryland, U.S.A. Conjectures on the Perception of Elongation

E. L. Morofsky and Andrew K. C. Wong, Carnegie Mellon University, U S.A Computer Perception of Complex Patterns

Oscar Firschein and Martin A. Fischler , Lockheed Palo Alto Research Laboratory, U.S.A A Study in Descriptive Representation of Pictorial Data Associative and Adaptive Models

Kaoru Nakano and Jin-ichi Nagumo , University of Tokyo, JAPAN Information Processing Using a Model of Associative Memory

Richard J. Reid , Michigan State University, U.S.A An Associative Memory for Auditory Recall

Vladimir Drozen , Academy of Science, CZECHOSLOVAKIA Topology of Time in a Model of Associative Memory

R. M. Granovskaya , Leningrad University, U.S.S.R. The Model of Human Visual Long-Term Memory with Ability for Generalization

I. J. Bereznaya and R. M. Granovskaya, Leningrad University, U.S.S.R The Model of Human Short-Term Memory

Michael A. Arbib , University of Massachusetts, U.S.A. Transformations and Somatotopy in Perceiving Systems

Konrad R. Fialkowski , Technical University of Warsaw, POLAND The Evolutionary Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms Applications

Charles M. Eastman, Carnegie Mellon University, U.S.A. Heuristic Algorithms for Automated Space Planning

Bruce G. Buchanan, Edward A. Feigenbaum, and Joshua Lederberg, Stanford University, U.S.A. Beyond Heuristic DENDRAL

V. L. Stefanuk, Academy of Sciences (Moscow), U.S.S.R Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-Scale System

Jean E. Sammet, IBM Corporation (Cambridge), U.S.A. Challenge to Artificial Intelligence: Programming Problems to be Solved