The non-determisnism problem and fuzzy logic
The notion of semantic non-determinism and its relation to the notion of fuzziness are considered in the paper. This notion is governed by the non-determinism of a domain and is formally modeled with N-matrices. These matrices include sets of truth-values, instead of a single representation. The choice of a truth-value from a certain set is random. Sematic determinism has outstanding advantages in modeling non-deterministic queries, faulty logic gates, etc. The notion of fuzziness, being fundamental for the theory of fuzzy sets, represents many-to-one relation, while the notion of semantic non-determinism - one-to-many. Fuzzy logic, which is based on fuzzy sets, handles linguistic variable "Truth" with a range of truth-values [0, 1]. Our supposition is that fuzziness - non-deterministic concept. Non-determinism in fuzziness is implicit, and we suggest alternative consideration of a grade of membership as an interval value. This consideration allows us to have a different look at the Sorites paradox. Main operations of the fuzzy logic are overridden in the terms of the intervals, and an effectiveness of the redefining is confirmed by the computer experiments.
Keywords
семантический недетерминизм,
нечеткая логика,
semantic non-determinism,
fuzzy logicAuthors
| Galimullin Rustam Fanisovich | Tomsk State University | vvorldvvithoutend@live.com |
Всего: 1
References
Новак В., Перфильева И., Мочкорж И. Математические принципы нечеткой логики: пер. с англ. М: ФИЗМАТЛИТ, 2006. 352 с.
Avron A., Zamansky A. Non-Deterministic Semantics for Logical Systems // Handbook of Philosophical Logic. Springer, 2011. Vol. 16. P. 227-304.
Генцен Г. Исследования логических выводов: пер. с нем. / Г. Генцен. Математическая теория логического вывода. М.: Наука, 1967. 351 с.
Avron A. Logical Non-Determinism as a Tool for Logical Modularity: An Introduction / A. Avron. Studies in Logic. College Publications, 2009. Vol. 21. P. 15-26.
Kleene S. On Notation for Ordinal Numbers // The Journal of Symbolic Logic. 1938. Vol. 3 (4). P. 150-155.
McCarthy J. A basis for mathematical theory of computation // J. McCarthy. Computer Programming and Formal Systems. 1963. P. 33-70.
Pappinghaus P., Wirsig M. Nondeterministic Three-Valued Logic: Isotonic and Guarded Truth-Functions // Studia Logica. Kluwer Academic Publishers, 1983. Vol. 42 (1). P. 1-22.
Kleene S. Introduction to Metamathematics. Ishi Press International, 2009. 550 p.
Corciulo L. Expressive Power of Non-Deterministic operators for logic-based languages / L. Corciulo, F. Giannotti, D. Pedreschi, C. Zaniolo // Workshop on Deductive Databases and Logic Programming. ICPL, 1994. P. 27-40.
Abiteboul S., Vianu V. Non-determinism in logic-based languages // Annals of Mathematics and Artificial Intelligence. 1991. Vol. 3. P. 151-186.
Russell B. Vagueness // Australian Journal of Philosophy and Psychology. 1923. Vol. 1. P. 8492.
ZadehL. A. Fuzzy Sets // Information and Control. 1965. Vol. 8. P. 338-353.
Hajek P., Godo L., Esteva F. Fuzzy logic and probability // In Uncertainty in Artificial Intelligence. Proc. of 11th conference. 1995. P. 237-244.
Zadeh L.A. Discussion: Probability Theory and Fuzzy Logic Are Complementary Rather Than Competetive // Technometrics. 1995. Vol. 37, № 3. P. 271-276.
Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений: пер. с англ. М.: Наука, 1976. 165 с.
Zadeh L. A. Fuzzy Sets, Fuzzy Logic and Fuzzy Systems / L.A. Zadeh. World Scientific, 1996. 826 р.
Hajek P., Paris J., Shepherdson J. The Liar Paradox and Fuzzy Logic // The Journal of Symbolic Logic. 2000. Vol. 65, № 1. P. 339-346.
