Machine Intelligence Volume 10

Here is the contents page for volume 10 of the Machine Intelligence series. You can also go up to the Machine Intelligence main page, view the bibliographic details of this volume, or go to other volumes: 1 2 3 4 5 6 7 8 9 11 12 13 14.

Contents

 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

Bibliographic details

Machine Intelligence 10
Editors:
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
Publisher: Ellis Horwood 1982

Proceedings of the Tenth Machine Intelligence Workshop, held at Case Western Reserve University, Cleveland, USA in November 1981.

Up to Machine Intelligence main page.
Go to other volumes: 1 2 3 4 5 6 7 8 9 11 12 13 14