Z.til

Intelligent Systems: Practice and Perspective Machine Intelligence, Editor-in-Chief: Donald Michie Volumes 1-7 are published by Edinburgh University Press and in the United States by Halsted Press (a subsidiary of John Wiley & Sons, Inc.) Volumes 8-10 are published by Ellis Horwood Ltd., Publishers, Chichester and in the United State by Halsted Press (a subsidiary of John Wiley & Sons, Inc.) ELLIS HORWOOD LIMITED Publishers - Chichester Halsted Press: a division of JOHN WILEY & SONS New York - Brisbane - Chichester - Toronto First published in 1982 by ELLIS HORWOOD LIMITED Market Cross House, Cooper Street, Chichester, West Sussex, P019 lEB, England The publisher's colophon is reproduced from James Gillison's drawing of the ancient Market Cross, Chichester. Q335 The Library of Congress cataloged this serial as follows -67-13648 ISBN 0-85312-431-0 (Ellis Horwood Limited) ISSN 0076-2032 ISBN 0-470-27323-2 (Halsted Press) Typeset in Press Roman by Ellis Horwood Limited. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the permission of Ellis Horwood Limited, Market Cross House, Cooper Street, Chichester, West Sussex, England. The year of the first MI Workshop, 1965, was a milestone for more reasons than one, not least for the appearance of a paper entitled "A machine-oriented logic based on the resoluton principle". It was appropriate and a cause for pleasure that the author of that paper, J. A. Robinson, was the opening contributor to the scientific proceedings of MI-10, held in November 1981 at Case Western Reserve University, Cleveland, USA.