Logic and the acquistion of knowledge

書誌事項

Logic and the acquistion of knowledge

edited by J.E. Hayes, D. Michie and J. Richards

(Machine intelligence / edited by N.L. Collins & Donald Michie, 11)

Clarendon Press : Oxford University Press, 1988

大学図書館所蔵 件 / 全44件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

  • Part 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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • 1
    Machine intelligence

    edited by N.L. Collins & Donald Michie

    Oliver & Boyd c1967-

    v. 1 , v. 2 , v. 1/2 , v. 3 , v. 4 , v. 5 , v. 6 , v. 7 , v. 8 , v. 9 , v. 10

    所蔵館112館

詳細情報

ページトップへ

AltStyle によって変換されたページ (->オリジナル) /