Geodesic
Semantic probabilistic inference of predictions
The Bulletin of Irkutsk State University. Series Mathematics, Tome 21 (2017), pp. 33-50 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference). However, such an inference encounters a problem of synthesis the logic and probability that consists in the rapid decreasing of the probability estimates of predictions in the process of logical inference. The procedures for calculating estimates in the Probabilistic Logic Programming do not solve the problem. From our point of view, prediction can not be well combined with a logical inference. Logical inference should be replaced by calculations. The paper proposes a semantic approach to the calculation of prediction, when the inference is considered not as verification of the truth of some statement on the model, but as a search for facts in the model, predicting the statement with a maximum probability. To do this, the work defines a semantic probabilistic inference forcalculating the predictions. In the process of semantic probabilistic inference, estimates of predictions strictly increase. We prove in the paper that prediction estimates obtained by the semantic probabilistic inference are certainly not worse than the estimates obtained by the logical inference with the parallel calculation of these estimates.
Keywords: prediction, probabilistic inference, semantics, logical programs, probabilistic logic programming. 
@article{IIGUM_2017_21_a2,
     author = {E. E. Vityaev},
     title = {Semantic probabilistic inference of predictions},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {33--50},
     year = {2017},
     volume = {21},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a2/}
}
TY  - JOUR
AU  - E. E. Vityaev
TI  - Semantic probabilistic inference of predictions
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2017
SP  - 33
EP  - 50
VL  - 21
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a2/
LA  - ru
ID  - IIGUM_2017_21_a2
ER  - 
%0 Journal Article
%A E. E. Vityaev
%T Semantic probabilistic inference of predictions
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2017
%P 33-50
%V 21
%U http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a2/
%G ru
%F IIGUM_2017_21_a2
E. E. Vityaev. Semantic probabilistic inference of predictions. The Bulletin of Irkutsk State University. Series Mathematics, Tome 21 (2017), pp. 33-50. http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a2/

[1] Vityaev E. E., Extracting knowledge from data. Computer cognition. Modeling of cognitive processes, NSU, Novosibirsk, 2006, 293 pp. (in Russian)

[2] Malykh A., Mantsivoda A., “Document modeling”, Izv. Irkutsk. Gos. Univ. Ser. Mat., 21 (2017), 89–107 (in Russian)

[3] Er. W. Adam, “The logic of conditionals: An application of probability to deductive logic”, Synthese Library, 86 (1975) | MR

[4] K. R. Apt, Introduction to logic programming, Computer Science. Report CS-R874, Department of Software Technology

[5] M. N. Van Emden, “Quantitative deduction and its fixpoint theory”, J. Logic Programming, 3:1 (1986), 37–53 | DOI | MR | Zbl

[6] M. C. Fitting, “Logic Programming on a Topological Bilattices”, Fundamenta Informatica, 11 (1988), 209–218 | MR | Zbl

[7] H. Gaifman, “Concerning measure in first order calculi”, Israel journal of Math., 2:1 (1964), 1–18 | DOI | MR | Zbl

[8] T. Hailperin, “Probability Logic”, Notre Dame J. of Formal Logic, 25:3 (1998), 198–212 | DOI | MR

[9] M. Kifer, V. S. Subrahmanian, Theory of Generalized Annotated Logic Programming and its Applications, Research Report, University of Maryland, USA, 1990

[10] R. T. Ng, V. S. Subrahmanian, “Probabilistic reasoning in Logic Programming”, Proc. 5th Symposium on Methodologies for Intelligent Systems (Knoxville, North-Holland, 1990), 9–16

[11] B. Kovalerchuk, E. Vityaev, Data Mining in Finance: Advances in Relational and Hybrid Methods, Kluwer Acad. Publ., 2000, 308 pp. | Zbl

[12] M. M. Huntbach, “An improved version of Shapiro's Model Inference system”, Third International conference on Logic Programming, Lecture Notes in Computer Science, 225, 180–187 | DOI

[13] R. T. Ng, V. S. Subrahmanian, Annotation Variables and Formulas in Probabilistic Logic Programming, Technical report CS TR-2563, University of Maryland, 1990 | MR

[14] N. J. Nillson, “Probability logic”, Artif. Intell., 28:1 (1986), 71–87 | DOI | MR

[15] D. S. Scott, P. Krauss, “Assigning Probabilities to Logical Formulas”, Aspects of Inductive Logic, eds. J. Hintikka, P. Suppes, N. Holland, 1966, 219–264 | DOI | MR | Zbl

[16] E. Shapiro, “Logic Programs witn Uncertainties: A Tool for Implementing Expert Systems”, Proc. IJCAI '83, Williams Kauffman, 1983, 529–532

[17] S. S. Goncharov, Yu. L. Ershov, D. I. Sviridenko, “Semantic programming”, 10th World Congress Information Processing 86 (Dublin, Oct., 1986), Amsterdam, 1986, 1093–1100 | MR

[18] E. Shapiro, Algorithmic Program Debugging, MIT Press, 1983, 204 pp.