Geodesic
Plausible inferences and plausible reasoning
Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika, Tome 28 (1988), pp. 3-84.

Voir la notice de l'article provenant de 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},
     publisher = {mathdoc},
     volume = {28},
     year = {1988},
     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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/INTV_1988_28_a0/
LA  - ru
ID  - INTV_1988_28_a0
ER  - 
%0 Journal Article
%A V. K. Finn
%T Plausible inferences and plausible reasoning
%J Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika
%D 1988
%P 3-84
%V 28
%I mathdoc
%U http://geodesic.mathdoc.fr/item/INTV_1988_28_a0/
%G ru
%F INTV_1988_28_a0
V. K. Finn. Plausible inferences and plausible reasoning. Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika, Tome 28 (1988), pp. 3-84. http://geodesic.mathdoc.fr/item/INTV_1988_28_a0/