Letters to the editor on genetics and applied epistemology, a response to "The Professor's Challenge" and a response to John Malpas; knowledge and power, and update on the Autoling System, a relativistic approach, and a response to Franklin's writings in volume 6 number 1.

The period since the last conference in this series has been characterized by the explosive expansion of AI out of the confines of institutions of basic research like university departments into the worlds of industry, business, and government (a development I had long expected). But it seems to me that there are plenty -- perhaps an overabundance -- of other occasions, other conferences. Other workshops, and like, at which the applications of AI would appropriately be considered.

The period since the last conference in this series has been characterized by the explosive expansion of AI out of the confines of institutions of basic research like university departments into the worlds of industry, business, and government (a development I had long expected). But it seems to me that there are plenty -- perhaps an overabundance -- of other occasions, other conferences. Other workshops, and like, at which the applications of AI would appropriately be considered. I will confine my remarks, therefore, to issues of basic research.

Letters to the Editor

Jim Kornell, Robert Park, Christopher Dungan, Joop Schopman, David Drager, Nils J. Nilsson, Marty Kalin, John Gavin, Bernard Meltzer, Robert Salmansohn, Keith McCammon, Loren Martindale Abstract Subjects include AI's impact on employment, the AAAI conference, a response to McCarthy's Presidential Message, AI going public, and computerless expert systems. Subjects include AI's impact on employment, the AAAI conference, a response to McCarthy's Presidential Message, AI going public, and computerless expert systems.

Subjects include AI's impact on employment, the AAAI conference, a response to McCarthy's Presidential Message, AI going public, and computerless expert systems.

Letters to the Editor

The second example is of another distinguished scholar who, in a passionate contribution to the debate, stated that ... May I also take this opportunity to praise the staff Western governments, were thereby displaying a full sense of I look forward to the continuing success of the Association social responsibility, and anybody who disagreed with this in all its activities. On the surface this appears Yours sincerely, to be at least logical, until one reflects that it would not Marten E. Bennett be particularly difficult with this kind of argument to prove Gzllingham, Kent, UK that Hitler displayed a sense of social responsiblity, since one has no reason to believe that he was not sincere in believing that Jews, communists, Western capitalists and others would destroy his country if not checked. There is really not much excuse these days for anyone The background to it is the "Marietta affair." University of Cambridge, "Defended to Death," edited by movement protested on the conference site, and after some Gwyn Prins and published by Penguin Books). I came away from the meeting wondering why apparently comments.

Note: PDF of full volume downloadable by clicking on title above (32.8 MB). Selected individual chapters available from the links below.CONTENTSINTRODUCTORY MATERIALMATHEMATICAL FOUNDATIONS1 Program scheme equivalences and second-order logic. D. C. COOPER 32 Programs and their proofs: an algebraic approach.R. M. BURSTALL and P. J. LANDIN 173 Towards the unique decomposition of graphs. C. R. SNOW andH. I. SCOINS 45THEOREM PROVING4 Advances and problems in mechanical proof procedures. D. PRAWITZ 595 Theorem-provers combining model elimination and Tesolution.D. W. LOVELAND 736 Semantic trees in automatic theorem-proving. R. KOWALSKI andP. J. HAYES 877 A machine-oriented logic incorporating the equality relation.E. E. SIBERT 1038 Paramodulation and theorem-proving in first-order theories withequality. G. ROBINSON and L. Wos 1359 Mechanizing higher-order logic. J. A. ROBINSON 151DEDUCTIVE INFORMATION RETRIEVAL10 Theorem proving and information retrieval. J. L. DARLINGTON 17311 Theorem-proving by resolution as a basis for question-answeringsystems. C. CORDELL GREEN 183MACHINE LEARNING AND HEURISTIC PROGRAMMING12 Heuristic dendral: a program for generating explanatory hypothesesin organic chemistry. B. BUCHANAN, G. SUTHERLAND andE. A. FEIGENBAUM 20913 A chess-playing program. J. J. SCOTT 25514 Analysis of the machine chess game. I. J. GOOD 26715 PROSE—Parsing Recogniser Outputting Sentences in English.D. B. VIGOR, D. URQUHART and A. WILKINSON 27116 The organization of interaction in collectives of automata. 285V. I. VARSHAVSKY COGNITIVE PROCESSES: METHODS AND MODELS17 Steps towards a model of word selection. G. R. Kiss 31518 The game of hare and hounds and the statistical study of literaryvocabulary. S. H. STOREY and M. A. MAYBREY 33719 The holophone —recent developments. D. J. WILLSHAW andH. C. LONGUET-HIGGINS 349PATTERN RECOGNITION20 Pictorial relationships — a syntactic approach. M. B. CLOWES 36121 On the construction of an efficient feature space for optical characterrecognition. A. W. M. COOMBS 38522 Linear skeletons from square cupboards. C. J. HILDITCH 403PROBLEM-ORIENTED LANGUAGES23 Absys 1: an incremental compiler for assertions; an introduction.J. M. FOSTER and E. W. ELCOCK 423PRINCIPLES FOR DESIGNING INTELLIGENT ROBOTS24 Planning and generalisation in an automaton/environment system.J. E. DORAN 43325 Freddy in toyland. R. J. POPPLESTONE 45526 Some philosophical problems from the standpoint of artificialintelligence. J. MCCARTHY and P. J. HAYES 463INDEX 505 Machine Intelligence Workshop