Machine Intelligence 15

This is the fifteenth volume in the Machine Intelligence series, founded in 1965 by Donald Michie, and includes papers by a number of eminent AI figures including John McCarthy, Alan Robinson, Robert Kowalski and Mike Genesereth. The book is centred on the theme of intelligent agents and covers a wide range of topics, including: - Representations of consciousness (John McCarthy, Stanford University and Donald Michie, Edinburgh University) - SoftBots (Bruce Blumberg, MIT Media Lab) - Parallel implementations of logic (Alan Robinson, Syracuse University) - Machine learning (Stephen Muggleton, Oxford University) - Machine vision (Andrew Blake, Oxford University) - Machine-based scientific discovery in molecular biology (Mike Sternberg, Imperial Cancer Research Fund).

1 - Making robots conscious of their mental states
2 - A framework for verbalizing unconscious knowledge based on inductive logic programming
3 - Legal responsibility and causation
4 - Adapting Good's Q theory to the causation of individual events
5 - Making robots see
6 - A framework for behavioural cloning
7 - Control skill, machine learning and handcrafting in controller design
8 - Personalized mail agent using inductive logic programming
9 - An experiment with browsers that learn
10 - Toward incremental knowledge correction for agents in complex environments
11 - The spontaneous self-organization of an adaptive language
12 - Developments in computational learning and discovery theory within the framework of elementary formal systems
13 - A learnability model for universal representations and its application to top-down induction of decision trees
14 - A learning mechanism for logic programs using dynamically shared substructures
15 - PAC-learning of preference relations over interpretations in lazy nonmonotonic reasoning
16 - Tables, graphs and logic for induction
17 - A connectionist approach to numeric law discovery
18 - Drug design by machine learning
19 - Debugging for a declarative programming language
20 - A massively parallel simplification logic for functional and relational computing
21 - The Turing-Wilkinson lecture series on the automatic computing engine
22 - A lecture and two broadcasts on machine intelligence by Alan Turing
23 - Repairs to Turing's universal computing machine
24 - W. S. Jevons: his logical machine and work on induction and Boolean algebra