Machine Intelligence

This volume in the "Machine Intelligence" seies maintains the theme of the representation of machine knowledge in a variety of disciplines. There are theoretical papers on computation and logic, on problem-solving and proof, and on applications to logic programming and machine learning. The study marks the twentieth year of the Machine Intelligence Workshops.Table of ContentPart 1 Computation and logic: partial models and non-monotonic inference, K.Konolige; equational programming, N.Dershowitz and D.A.Plaisted; beyond LOGLISP - combining functional and relational programming in a reduction setting, J.A.Robinson; concurrent computers architecture for unification operations, J.V.Olfield and C.D.Stormon. Part 2 Deductive problem-solving and proof: integrating decision procedures into heuristic theorem provers - a case study of linear arithmetic, R.S.Boyer and J.S.Moore; a problem simplification approach that generates heuristics for constraint-satisfaction problems, Rina Dechter and J.Pearl; the relation between programming and specification languages with particular reference to Anna, A.D.Mogettrick and J.G.Stell. Part 3 Logic programming tools and applications: YAPES - yet another Prolog expert system, T.B.Niblett; Logicalc - a prolog spreadsheet, F.Kriwaczek; representing legislation as logic programs, M.Sergot. Part 4 Machine learning - methods and instruments: incremental learning of concept descriptions - a method and experimental results, R.E.Reinke and R.S.Michalski; generating expert rules from examples in Prolog, B.Arbab and D.Michie; decision trees and multi-valued attributes, J.R.Quinlan; RuleFactory - a new inductive learning shell, S.Renner; intelligence, architecture and inference - VLSI generalized associative memory devices, D.R.McGregor and J.R.Malone. Part 5 Automating the acquisition of knowledge for complex domains: expert against oracle, A.J.Roycroft; inductive acquisition of chess strategies, S.H.Muggleton; validation of a weather forecasting expert system, S.Zubrick; comparison of ACLS and classical linear methods in a biological application, B.Shepherd et al; automatic synthesis and compression of cardiological knowledge, I.Bratko et al.