PREFACE by Donald Michie v MECHANISED REASONING 1. On generating and using examples in proof discovery. A.M. BALLANTYNE and W.W. BLEDSOE 3 2. A first-order formalisation of knowledge and action for a multi-agent planning system. K. KONOLIGE 41 3. Knowledge-based problem-solving in AL3. I. BRATKO 73 4. A provably correct advice strategy for the end-game of King and Pawn versus King. T.B. NIBLETT 101 REASONING ABOUT COMPUTATIONS 5. Mechanical theorem-proving in the CASE verifier. G.W. ERNST and R.J. HOOKWAY 123 6. Computation frames and structural synthesis of programs. E.H. TYUGU 145 ACQUISITION AND MATCHING OF PATTERNS 7. Semi-autonomous acquisition of pattern-based knowledge. J.R. QUINLAN 159 8. Revealing conceptual structure in data by inductive inference. R.S. MICHALSKI and R. STEPP 173 9. Fast memory access by similarity measure. Y-PAO and G.P. HARTOCH 197 COMPUTER VISION 10. A robot vision lab concept. T. VAMOS and M. BATHOR 211 11. Interpreting line-drawing as 3-dimensional surfaces. H.G. BARROW and J.M. TENENBAUM 227 PROBLEMS OF ROBOTICS 12. Practical machine intelligence. E.D. SACERDOTI 241 13. Programmable assembly system research and its applications. J.L. NEVINS, D.E. WHITNEY and S.C. GRAVES 249 KNOWLEDGE-BASED SYSTEMS 14. New research on expert systems. B.G. BUCHANAN 269 15. Application of the PROSPECTOR system to geological exploration problems. J.G. GASCHNIG 301 16. XSEL: a computer sales person's assistant. J. McDERMOTT 325 17. Knowledge-based programming self-applied. C.C. GREEN and S.J. WESTFOLD 339 18. The roles of knowledge and deduction in algorithm design. D.R. BARSTOW 361
Machine Intelligence 10
Editors:Publisher: Ellis Horwood 1982
- J.E.Hayes
- Research Associate, University of Edinburgh
- Donald Michie
- Professor of Machine Intelligence, University of Edinburgh
- Y-H.Pao
- Dively Distinguished Professor of Engineering, and Professor of Electrical Engineering and Computer Science, Case Western Reserve University, USA
Proceedings of the Tenth Machine Intelligence Workshop, held at Case Western Reserve University, Cleveland, USA in November 1981.