Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings
著者
書誌事項
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
- タイトル別名
-
AII '86
大学図書館所蔵 件 / 全58件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より