Formal techniques in artificial intelligence : a sourcebook

書誌事項

Formal techniques in artificial intelligence : a sourcebook

edited by Ranan B. Banerji

(Studies in computer science and artificial intelligence, 6)

North-Holland , Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of theoretical computer science. This book surveys various areas of Artificial Intelligence research, describing formal techniques. The areas chosen are most of those which have been - or can be - discussed with mathematical precision and clarity. The authors are all active researchers (in some cases international authorities) in their respective areas. The volume is much more than a collection of `annotated bibliographies'. The papers survey the basic techniques of each field, giving information that will facilitate further reading. The areas covered are: equations and identities in algebras, mechanical theorem proving, logical induction, intelligent data bases, qualitative reasoning, program verification and synthesis, automatic heuristic development and neural networks.

目次

Term Rewriting and Equational Reasoning (J. Avenhaus, K. Madlener). Implementing Metamathematics as an Approach to Automatic Theorem Proving (R.L. Constable, D.J. Howe). Qualitative Physics (S.D. Grantham, L.H. Ungar). Automatic Generation of Heuristics (J.P.E. Hodgson). A Survey of Computational Learning Theory (P.D. Laird). A Primer on the Complexity Theory of Neural Networks (I. Parberry). Mechanical Theorem Proving (D.A. Plaisted). Semantic Issues in Deductive Databases and Logic Programs (H. Przymusinska, T. Przymusinski). An Introduction to Unification Theory (J.H. Siekmann). Index.

「Nielsen BookData」 より

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

詳細情報

  • NII書誌ID(NCID)
    BA10178035
  • ISBN
    • 0444881301
  • LCCN
    89023117
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Amsterdam ; Tokyo,New York, N.Y., U.S.A.
  • ページ数/冊数
    xi, 437 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ

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