Distances and Uncertainty (Unauthentic) Measures on Propositions of $n$-Valued Logic
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 2, pp. 51-64 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We consider formulas of $n$-valued logic. Such formulas could be used as records of experts' judgments We use methods of mathematical logic and model theory for $n$-valued logic to define metrics on formulas (propositions) and uncertainty measures. We study properties of such metrics and measures. The novelties of this paper are the definition of metrics on the classes of equivalent formulas and the definition of uncertainty (unauthentic) measures together with finding their good properties. We also note their importance for cluster analysis, creating of deciding functions and pattern recognition.
Mots-clés : distances on formulas
Keywords: metrics, unauthentic (uncertainty) measures, cluster analysis, pattern recognition.
@article{VNGU_2011_11_2_a4,
     author = {A. A. Vikentiev and R. A. Vikentiev},
     title = {Distances and {Uncertainty} {(Unauthentic)} {Measures} on {Propositions} of $n${-Valued} {Logic}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {51--64},
     year = {2011},
     volume = {11},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a4/}
}
TY  - JOUR
AU  - A. A. Vikentiev
AU  - R. A. Vikentiev
TI  - Distances and Uncertainty (Unauthentic) Measures on Propositions of $n$-Valued Logic
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2011
SP  - 51
EP  - 64
VL  - 11
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a4/
LA  - ru
ID  - VNGU_2011_11_2_a4
ER  - 
%0 Journal Article
%A A. A. Vikentiev
%A R. A. Vikentiev
%T Distances and Uncertainty (Unauthentic) Measures on Propositions of $n$-Valued Logic
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2011
%P 51-64
%V 11
%N 2
%U http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a4/
%G ru
%F VNGU_2011_11_2_a4
A. A. Vikentiev; R. A. Vikentiev. Distances and Uncertainty (Unauthentic) Measures on Propositions of $n$-Valued Logic. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 2, pp. 51-64. http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a4/

[1] Lbov G. S., Startseva N. G., Logicheskie reshayuschie funktsii i voprosy statisticheskoi ustoichivosti reshenii, Izd-vo In-ta matematiki SO RAN, Novosibirsk, 1999 | MR | Zbl

[2] Keisler G., Chen Ch. Ch., Teoriya modelei, Mir, M., 1977 | MR

[3] Vikentev A. A., Novikov D. V., “Rasstoyanie i Informativnost na formulakh-vyskazyvaniyakh ekspertov i mera oproverzhimosti (informativnosti) vyskazyvanii ekspertov na modelyakh $3$-znachnoi logiki”, Vestn. Karagand. gos. un-ta. Ser. Matematicheskaya, 2007, no. 1(45), 8–18

[4] Karpenko A. S., Logiki Lukasevicha i prostye chisla, Nauka, M., 2000 | MR

[5] Lbov G. S., Gerasimov M. K., “Constructing of a Consensus of Several Experts Statements”, Knowledge-Dialogue-Solution, Proc. of XII Int. Conf., 2006, 193–195

[6] Lbov G. S., Gerasimov M. K., “Interval Prediction Based on Experts' Statements”, Knowledge-Dialogue-Solution, Proc. of XIII Int. Conf., v. 2, 2007, 474–478

[7] Lbov G. S., Gerasimov M. K., “Determining of Distance Between Logical Statements in Forecasting Problems”, Artificial Intelligence, 2'2004, Institute of Artificial Intelligence, Ukraine (in Russian)

[8] Vikent'ev A., “Measure of Refutation and Metrics on Statements of Experts (Logical Formulas) in the Models for Some Theory”, Information Theories Applications, 14:1 (2007), 92–95

[9] Smerdov S. O., Vityaev E. E., “Sintez logiki, veroyatnosti i obucheniya: formalizatsiya predskazaniya”, Sibirskie elektronnye matematicheskie izvestiya, 6 (2009), 340–365 | MR

[10] Lukasiewicz T., “Probabilistic Logic Programming with Conditional Constraints”, ACM Transactions on Computational Logic (TOCL), 2:3 (2001), 264–312 | DOI | MR

[11] Kern-Isberner G., Lukasiewicz T., “Combining Probabilistic Logic Programming with the Power of Maximum Entropy”, Artificial Intelligence, 157:August (2004), 139–202 | DOI | MR | Zbl