Plausible inferences and plausible reasoning
Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika, Itogi Nauki i Tekhniki. Seriya "Teoriya Veroyatnostei. Matematicheskaya Statistika. Teoreticheskaya Kibernetika", Tome 28 (1988), pp. 3-84
Cet article a éte moissonné depuis la source Math-Net.Ru
The paper focuses on the central aspect of any “intelligentlike” system: formal models of reasoning (plausible reasoning and plausible inference) and methods of mechanized implementation of these models in computer systems. A classification of inference types is presented and the historical development of the relevant theories is briefly reviewed. The so-called JSM method (for John Stuart Mill) of mechanized hypothesis generation is described in detail. This method is used in the “plausible inference + reliable inference” solver in logical information-computing systems.
@article{INTV_1988_28_a0,
author = {V. K. Finn},
title = {Plausible inferences and plausible reasoning},
journal = {Itogi nauki i tehniki. Seri\^a, Teori\^a vero\^atnostej. Matemati\v{c}eska\^a statistika. Teoreti\v{c}eska\^a kibernetika},
pages = {3--84},
year = {1988},
volume = {28},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/INTV_1988_28_a0/}
}
TY - JOUR AU - V. K. Finn TI - Plausible inferences and plausible reasoning JO - Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika PY - 1988 SP - 3 EP - 84 VL - 28 UR - http://geodesic.mathdoc.fr/item/INTV_1988_28_a0/ LA - ru ID - INTV_1988_28_a0 ER -
V. K. Finn. Plausible inferences and plausible reasoning. Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika, Itogi Nauki i Tekhniki. Seriya "Teoriya Veroyatnostei. Matematicheskaya Statistika. Teoreticheskaya Kibernetika", Tome 28 (1988), pp. 3-84. http://geodesic.mathdoc.fr/item/INTV_1988_28_a0/