The two outstanding figures in the history of computer science are Alan Turing and John von Neumann, and they shared the view that logic was the key to understanding and automating computation. In particular, it was Turing who gave us in the mid-1930s the fundamental analysis, and the logical definition, of the concept of'computability by machine' and who discovered the surprising and beautiful basic fact that there exist universal machines which by suitable programming can be made to t This essay is an expanded and revised version of one entitled The Role of Logic in Computer Science and Artificial Intelligence, which was completed in January 1992 (and was later published in the Proceedings of the Fifth Generation computer Systems 1992 Conference). Since completing that essay I have had the benefit of extremely helpful discussions on many of the details with Professor Donald Michie and Professor I. J. Good, both of whom knew Turing well during the war years at Bletchley Park. Professor J. A. N. Lee, whose knowledge of the literature and archives of the history of computing is encyclopedic, also provided additional information, some of which is still unpublished. Further light has very recently been shed on the von Neumann side of the story by Norman Macrae's excellent biography John von Neumann (Macrae 1992). Accordingly, it seemed appropriate to undertake a more complete and thorough version of the FGCS'92 essay, focussing somewhat more on the interesting historical and biographical issues. I am grateful to Donald Michie and Stephen Muggleton for inviting me to contribute such a'second edition' to the present volume, and I would also like to thank the Institute for New Computer Technology (ICOT) for kind permission to make use of the FGCS'92 essay in this way. 1 LOGIC, COMPUTERS, TURING, AND VON NEUMANN

The aim of the Stat Log project is to compare the performance of statistical, machine learning, and neural network algorithms, on large real world problems. This paper describes the completed work on classification in the StatLog project. Classification is here defined to be the problem, given a set of multivariate data with assigned classes, of estimating the probability from a set of attributes describing a new example sampled from the same source that it has a pre-defined class. We gathered together a representative collection of algorithms from statistics (Naive Bayes, K-nearest Neighbour, Kernel density, Linear discriminant, Quadratic discriminant, Logistic regression, Projection pursuit, Bayesian networks), machine learning (CART, C4.5, NewID, AC2, CAL5, CN2, ITrule -- only propositional symbolic algorithms were considered), and neural networks (Backpropagation, Radial basis functions, Kohonen).

When you lose a game of chess to a computer then don't pretend that you didn't think at the game.

These paradigms include 1) clinical algorithms, 2) statistical analysis of collections of patient data, 3) mathematical models of physical processes, 4) decision analysis.

These diverse roles impose several requirements consultation programs has become known as »expert systems upon the system.

It is noted that no one method is best with a view to the potential role of automated decision for all applications. However, emphasis is given to the limitations of early work that have made artificial intelligence techniques and knowledge aids in that domain 1611.

A clinical investigator graphical capabilities which can plot specific parameters for a keeping the records of his study patients on such a system can patient over time 1126]. However, it is in the analysis of stored use the program's statistical capabilities for data analysis.

In this paper we examine the selection.

Almost one-half of the total cost of drugs spent in treating hospitalized patients is spend on antibiotics (1,2), and a significant part of this therapy is associated with serious misuse (2,3,4,5). One problem involves incorrect selection of a therapeutic regimen [4], while another involves the incorrect decision to administer any antibiotic (2,4,5). For example, one recent study concluded that one out of every four people in the United States was given penicillin during a recent year, and nearly 907. of these preL,criptions were oahccessary (6).

How could one represent with a single prototype the class of figures which have an even number of disconnected parts?