Geodesic
Abductive reasoning in explanation problems of an observed effect
Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, Tome 493 (2020), pp. 90-94

Voir la notice de l'article provenant de la source Math-Net.Ru

The problems of artificial intelligence, as well as control and decision-making with incomplete or inaccurate information, cover a wide class of problems of abductive explanation, including tasks in terms of cause–effect. This paper is devoted to the logical formation of hypotheses that explain observed effects. Means of representing knowledge and hypothesizing are proposed. A language is introduced that has the property of substitutability. The properties of the language and calculi introduced on its basis provide a convenient combination of deduction and hypothesizing. Unlike well-known logical methods of abduction, the proposed tools provide derivation of hypotheses (minorants) that are necessary and sufficient for a formal explanation of the observed effect. Based on the hypotheses-minorants, in combination with the basic theory of subject domain, reliable causes of the observed effect are formed or relevant circumstances leading to these causes are found. Moreover, in situations where there is also empirical data, these causes and circumstances can also be formed in plausible versions. Examples from technology and medicine are considered.
Keywords: abductive reasoning, plausible inference, explanation of observed effects, diagnosis, artificial intelligence, intelligent control. 
S. N. Vassilyev. Abductive reasoning in explanation problems of an observed effect. Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, Tome 493 (2020), pp. 90-94. http://geodesic.mathdoc.fr/item/DANMA_2020_493_a17/
@article{DANMA_2020_493_a17,
     author = {S. N. Vassilyev},
     title = {Abductive reasoning in explanation problems of an observed effect},
     journal = {Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleni\^a},
     pages = {90--94},
     year = {2020},
     volume = {493},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DANMA_2020_493_a17/}
}
TY  - JOUR
AU  - S. N. Vassilyev
TI  - Abductive reasoning in explanation problems of an observed effect
JO  - Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ
PY  - 2020
SP  - 90
EP  - 94
VL  - 493
UR  - http://geodesic.mathdoc.fr/item/DANMA_2020_493_a17/
LA  - ru
ID  - DANMA_2020_493_a17
ER  - 
%0 Journal Article
%A S. N. Vassilyev
%T Abductive reasoning in explanation problems of an observed effect
%J Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ
%D 2020
%P 90-94
%V 493
%U http://geodesic.mathdoc.fr/item/DANMA_2020_493_a17/
%G ru
%F DANMA_2020_493_a17

[1] Poole D., J. Annals of Mathematics and Artificial Intelligence, 11 (1994), 33–50 | DOI | Zbl

[2] Kowalski R., Computational Logic, History of Logic series, eds. D. Gabbay, J. Woods, Elsevier, 2014, 523–569 | MR | Zbl

[3] Finn V.K., Nauchno-tekhnicheskaya informatsiya. Ser. 2, 2019, no. 10, 1–34 | MR

[4] Vasilev S.N., Informatsionnye tekhnologii i vychislitelnye sistemy, 2008, no. 1, 3–19 | Zbl

[5] Kowalski R., Sadri F., New Generation Computing, 33 (2015), 33–67 | DOI | Zbl

[6] Vasilev S.N., Zherlov A.K., DAN, 343:5 (1995), 583–585 | MR | Zbl

[7] Lyuger Dzh.F., Iskusstvennyi intellekt: strategii i metody resheniya slozhnykh problem, Izd. dom “Vilyams”, M., 2003, 864 pp.