Machine Intelligence 13

The founder of modern computational logic, J A Robinson, opens this volume with a chapter on the firld's great forefathers John van Neumann and Alan Turing. Stephen Muggleton follows with an analysis of Turing's legacy in logic and machine learning, conceiving these not in generality but as specific means of imparting knowledge into computers, a theme first articulated by Turing in the late 1940s. The present volume records the Machine Intelligence Workshop of 1992, held at Strathclyde University's Ross Priory retreat on Loch Lomond, Scotland. Here the series entered not only its second quarter-century but a new phase. As can be seen in these pages, machine learning emerged to declare itself as a seed-bed of new theory, as a practical tool in engineering disciplines, and as material for new mental models in human sciences.