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 t 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 Massachusetts 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