PREFACE by Donald Michie v COMPUTATIONAL AND LOGIC 1 Partial models and non-monotonic inference 3 K. KONOLIGE 2 Equational programming 21 N. DERSHOWITZ and D.A. PLAISTED 3 Beyond LOGLISP: combining functional and relational programming in a reduction setting 57 J.A. ROBINSON 4 Concurrent computer architecture for unification operations 69 J.V. OLDFIELD and C.D. STORMON DEDUCTIVE PROBLEM-SOLVING AND PROOF 5 Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic 83 R.S. BOYER and J.S. MOORE 6 A problem simplification approach that generates heuristics for constraint-satisfaction problems 125 R. DECHTER and J. PEARL 7 The relation between programming and specification languages with particular reference to Anna 157 A.D. McGETTRICK and J.G. STEEL LOGIC PROGRAMMING TOOLS AND APPLICATIONS 8 YAPES: yet another PROLOG expert system 167 T.B. NIBLETT 9 LogiCalc: a PROLOG spreadsheet 193 F. KRIWACZEK 10 Representing legislation as logic programs 209 M. SERGOT MACHINE LEARNING: METHODS AND INSTRUMENTS 11 Incremental learning of concept descriptions: a method and experimental results 263 R.E. REINKE and R.S. MICHALSKI 12 Generating expert rules from examples in PROLOG 289 B. ARBAB and D. MICHIE 13 Decision trees and multi-valued attributes 305 J.R. QUINLAN 14 RuleFactory: a new inductive learning shell 319 S. RENNER 15 Intelligence architecture and inference: VLSI generalized associative memory devices 333 D.R. McGREGOR and J.R. MALONE AUTOMATING THE ACQUISITION OF KNOWLEDGE FOR COMPLEX DOMAINS 16 Expert against oracle 347 A.J. ROYCROFT 17 Inductive acquisition of chess strategies 375 S.H. MUGGLETON 18 Validation of a weather forecasting expert system 391 S. ZUBRICK 19 Comparison of ACLS and classical linear methods in a biological application 423 B. SHEPHERD, J. PIPER, and D. RUTOVITZ 20 Automatic synthesis and compression of cardiological knowledge 435 I. BRATKO, I. MOZETIC, and N. LAVRAC INDEX 455
Machine Intelligence 11 - Towards an Automated Logic of Human Thought
Editors:Publisher: Clarendon Press 1988
- J. E. Hayes
- Research Associate, Turing Institute
- Donald Michie
- Chief Scientist, Turing Institute
- J. Richards
- Head of Industrial Studies, Turing Institute
Proceedings of the Eleventh Machine Intelligence Workshop, held at the University of Strathclyde in 1985.