Analogical and inductive inference [electronic resource] : proceedings / International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 ; K.P. Jantke, ed.
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 exc...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1987.
|
| Series: | Lecture notes in computer science ;
265. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b11912301 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100325s1987 gw a ob 100 0 eng d | ||
| 005 | 20240418143349.3 | ||
| 019 | |a 300616725 |a 321285951 |a 1081418385 |a 1082325335 |a 1102537842 | ||
| 020 | |a 9783540477396 |q (electronic bk.) | ||
| 020 | |a 354047739X |q (electronic bk.) | ||
| 020 | |z 9783540180814 | ||
| 020 | |z 0387180818 |q (U.S. ; |q pbk.) | ||
| 020 | |z 9780387180816 |q (U.S. ; |q pbk.) | ||
| 035 | |a (OCoLC)spr570695478 | ||
| 035 | |a (OCoLC)570695478 |z (OCoLC)300616725 |z (OCoLC)321285951 |z (OCoLC)1081418385 |z (OCoLC)1082325335 |z (OCoLC)1102537842 | ||
| 037 | |a spr3-540-18081-8 | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d CUSER |d OCLCO |d OCLCF |d GW5XE |d OCLCO |d OCL |d OCLCO |d OCLCQ |d UAB |d OL$ |d OCLCQ |d ESU |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a Q334 |b .I577 1986eb | |
| 111 | 2 | |a International Workshop AII '86 |d (1986 : |c Wendisch-Rietz, Germany) |0 http://id.loc.gov/authorities/names/n87872119. | |
| 245 | 1 | 0 | |a Analogical and inductive inference |h [electronic resource] : |b proceedings / |c International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 ; K.P. Jantke, ed. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1987. | ||
| 300 | |a 1 online resource (vi, 227 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 265. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007101476. | |
| 650 | 0 | |a Inference |v Congresses. | |
| 650 | 0 | |a Reasoning |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008110531. | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
| 650 | 7 | |a Inference. |2 fast |0 (OCoLC)fst00972355. | |
| 650 | 7 | |a Reasoning. |2 fast |0 (OCoLC)fst01091282. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Jantke, K. P. |q (Klaus P.) |0 http://id.loc.gov/authorities/names/n85381855 |1 http://isni.org/isni/0000000117746739. | |
| 776 | 0 | 8 | |i Print version: |a International Workshop AII '86 (1986 : Wendisch-Rietz, Germany). |t Analogical and inductive inference. |d Berlin ; New York : Springer-Verlag, ©1987 |w (DLC) 87016707 |w (OCoLC)16227807. |
| 830 | 0 | |a Lecture notes in computer science ; |v 265. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/3-540-18081-8 |z Full Text (via Springer) |
| 907 | |a .b119123010 |b 09-08-21 |c 08-09-21 | ||
| 998 | |a web |b 08-31-21 |c b |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b119123010 |b 09-08-21 |c 08-09-21 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a - | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 999 | f | f | |i 01e2cf93-9aa6-5b2c-be27-0756e7374a27 |s 867a1735-068d-5656-a80f-4e76405b40cb |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e Q334 .I577 1986eb |h Library of Congress classification |i Ebooks, Prospector |n 1 |