Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings
Author(s)
Bibliographic Information
Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings
(Lecture notes in computer science, 265)
Springer-Verlag, c1987
- : gw
- : us
- Other Title
-
AII '86
Available at 58 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographies
Description and Table of Contents
Description
This volume contains revised versions of presentations at the International Workshop on Analogical and Inductive Inference (AII '86) held in Wendisch-Rietz, GDR, October 16-10, 1986. Inductive inference and analogical reasoning are two basic approaches to learning algorithms. Both allow for exciting problems and promising concepts of invoking deeper mathematical results for considerable advances in intelligent software systems. Hence analogical and inductive inference may be understood as a firm mathematical basis for a large variety of problems in artificial intelligence. While the papers on inductive inference contain technical results and reflect the state of the art of this well-developed mathematical theory, those devoted to analogical reasoning reflect the ongoing process of developing the basic concepts of the approach. The workshop thus contributes significantly to the advancement of this field.
Table of Contents
Towards the development of an analysis of learning algorithms.- Using the algorithm of analogy for generation of robot programs.- On the inference of sequences of functions.- Fixed point equations as hypotheses in inductive reasoning.- Inductive inference of functions from noised observations.- Reasoning by analogy as a partial identity between models.- Can missing information be also useful?.- A decidability problem of church-rosser specifications for program synthesis.- Some considerations about formalization of analogical reasoning.- Analogical reasoning using graph transformations.- Knowledge acquisition by inductive learning from examples.- On the inference of programs approximately computing the desired function.- Stratified inductive hypothesis generation.- A model theoretic oriented approach to analogy.- On the complexity of effective program synthesis.- On barzdin's conjecture.
by "Nielsen BookData"