Logic and the acquistion of knowledge
著者
書誌事項
Logic and the acquistion of knowledge
（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」 より
