IJCAI 1969

INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE

May 7-9, 1969 Washington, D. C

CONTENTS

MAN-MACHINE SYMBIOSIS IN PROBLEM SOLVING

Toward a Programming Laboratory

Warren Teitelman     1

On the Implementation of AMBIT/G; A Graphical Programming Language

Paul D. Rovner and Dugald A. Henderson, Jr.  9

Search for a Solution: A Case Study

Robert M. Balzer   21

A Tablet Input Facility for an Interactive Graphics System

James E. Curry 33

An Attack on the Problems of Speech Analysis and Synthesis with the Power of an On-Llne System.

Glen J. Culler   41

PATTERN RECOGNITION--SIGNAL PROCESSING

Multiple Antenna Array Signal Collecting and Processing

B. Boverie and W. D. Gregg  49

A Generalization of the k-Nearest Neighbor Rule.  

E. A. Patrick and F. P. Fischer, 63

Geometrical Pattern Feature Extraction by Projection on Haar Orthonormal Basis

Lucien A. Gerardin and Jacques Flament  65

Optimizing a Video Preprocessor for OCR.

M. R. Bartz 79

The Effect of Noise on Visual Pattern Recognition.

R. L. Beurle, M. V. Daniels, and B. L. Hills  91

PICTORIAL PATTERN RECOGNITION

Conic Sections in Chromosome Analysis.

Keith A. Paton  105

Recognizing Convex Blobs.

Jack Sklansky 107

Gestalt Pattern Recognition with Arrays of Predetermined Neural Functions.

William D. Rowe 117

A Recognition System Using Probabilistic Decisions Based on Extracted Features.

P. Murden and M. Symons  171

Character Recognition Using a Log-Autocorrelation Function.

R. L. Beurle, A. J. Crawford,and R. B. Guy   183

Adaptive Pattern Recognition.

P. Hauff and E. Neidhart  185

A Dynamic Pattern Recognition Method Using the Preview Controlled Saccadic Movement of the Detector.

Masahiro Mori, Kunikatsu Takase, and Harukazu Nishio 141

Computer-Aided Design for a Reader of Hand-Printed Characters.

Y. Hoshino and K. Kiji  153

Recognition of Handwritten Numerals Using a Decision Graph.

S. Katsuragi, H. Genchi, K. Mori, and S. Watanabe  161

HEURISTIC PROBLEM SOLVING

A Task-Independent Experience-Gathering Scheme for a Problem Solver.

J. R. Quinlan 193

Concepts and Methods for Heuristic Search.

Erik J. Sandewall 199

Application of Theorem Proving to Problem Solving.

Cordell Green  219

PROW: A Step Toward Automatic Program Writing.

Richard J. Waldinger and Richard C. T. Lee  241

PROGRAMMING  SYSTEMS AND MODE FOR ARTIFICIAL INTELLIGENCE

An Introduction to the Heuristic Programming System.

David K. Jefferson   253

On a Tool in Artificial Intelligence Research: An Associative Memory, Parallel Language, AMPPL-II.

Nicholas V. Findler and Wiley R. McKinzie  259

A Lifelike Model for Associative Relevance.

Paul B. Post 271

THEOREM PROVING

Completeness Theorems for Semantic Resolution In Consequence-Finding.

James R. Slagle,C. L. Chang, and Richard  281

E-Resolution: Extension of Resolution to Include the Equality Relation.

James B. Morris 287

PLANNER: A Language for Proving Theorems in Robots.

Carl Hewitt  295

QUESTION-ANSWERING SYSTEMS AND COMPUTER UNDERSTANDING

Computer Solution of Calculus Word Problems.

Eugene Charniak  303

Theorem Provers as Question Answerers.

Jared L. Darlington 317

Dialogues Between Humans and an Artificial Belief System.

Kenneth M. Colby and David C. Smith  319

A Net Structure Based Relational Question Answerer: Description and Examples, 

Stuart C. Shapiro and George H. Woodmansee 325

SELF-ORGANIZING SYSTEMS

Cyclic Behavior of Randomly Growing Digital Structures in Finite Random Environment.

Konrad R. Flalkowski  347

Characteristics and Organizing Capability of Statistical Organizer.

Shoichi Noguchi and Juro Oizumi 361

Learning Technique and the Stochastic Approximation Method.

Fridrich Sloboda andJaroslav Fogel 373

The Learning of Parameters for Generating Compound Characterizers for Pattern Recognition.

Leonard Uhr and Sara Jordan 381

PHYSIOLOGICAL MODELING

A Pattern Classification by the Time-Varying Threshold Method.

Shuhei Aida and Gen-ichiro Klnoshita 417

Some Properties of Small Networks of Randomly Connected Artificial Neurons.

R. B. Guy and R. L. Beurle 429

Computer Simulation of Articulatory Activity in Speech Production.

Paul Mermelstein 447

A Statistical Study of Visual Resolution Thresholds.

B. L. Hills, R. L. Beurle, and M. V. Daniels 455

Remarks on the Problem of the Logical Design of the Vertebrate Visual System. 

Richard E. Warren 471

INTEGRATED ARTIFICIAL INTELLIGENCE SYSTEMS

Human Control of Remote Computer-Manipulators.

Thomas B. Sheridan and William R. Ferrell 483

State Space Models of Remote Manipulation Tasks.

Daniel E. Whitney495

A Mobile Automaton: An Application of Artificial Intelligence Techniques.

Nils J. Nilsson 509

The Stanford Hand-Eye Project.

J. A. Feldman, G. M. Feldman, G. Falk, G. Grape, J. PearlmanI. Sobel, and J, M. Tenenbaum 521

Robot Control Strategy

Leonard Friedman 527

MIKROKOSMS and Robots.

Leonard Uhr and Manfred Kochen 541

LINGUISTIC RESEARCH RELEVANT TO ARTIFICIAL INTELLIGENCE

An Augmented State Transition Network Analysis Procedure.

Daniel G, Bobrow and J. Bruce Fraser 557

A Conceptual Parser for Natural Language.

Roger C. Schank and Lawrence G. 569

Tesler Using Relational Operators to Structure Long-Term Memory.

Alan L. Tharp and Gilbert K.Krulee 579

Talking with a Robot in English,

L. Stephen Coles 587

LINGUISTIC AND CONTEXTUAL METHODS IN PATTERN RECOGNITION

A Contextual Recognition System for Formal Languages.

 Stephen C. Darden 597

Web Grammars.

John L. Pfaltz and Azriel Rosenfeld 609

A Formal Description for Two-Dimensional Patterns.

Charles T. Zahn 621

Machine Perception and Description of Pictorial Data,

Martin A. Fischler 629

PSYCHOLOGICAL MODELING

Implicational Molecules: A Method for Extracting Meaning from Input Sentences.

Robert P. AbeIson and Carol M. Reich 641

Experiments with a Search Algorithm for the Data Base of a Human Belief System.

Kenneth M. Colby, Lawrence Tesler, and Horace Enea 649

The Modeling of Simple Analogic and Inductive Processes in a Semantic Memory System.

Joseph D. Becker 655

Cognitive Processes and III-Defined Problems: A Case Study from Design.

Charles M.Eastman 669

Explorations with a Simulation Model of Short-Term Memory.

Kenneth R. Laughery and Allen L. Pinkus 691

A Computer Model for Certain Classes of Verbal Behavior.

George R. Kiss 703

Analogy Between Sequential Errors in Aphasia and the Behavior of a Cybernetic System 

(SARF)  Daniel Bertaux, Andre'-Roch Lecours, and Francois Lhermitte 715