Logical Calculus Using Fuzzy Formulas
Abstract
The paper considers a functionally closed multi-valued calculus with conditional formulas F = {a|b} such that F s a when b = true; F = false when a = false and F = uncertainty in all other cases. A measure function for fuzzy conditional formulas has been worked out and a mechanism of logical conclusion for formulas of the proposed calculus is given in the paper. An axiomatics is introduced and theorems on incompleteness and functional closeness are proved.
About the Authors
O. V. German
Belarusian State University of Informatics and Radioelectronics
Belarus
Belarus
A. A. Linnik
Belarusian State University of Informatics and Radioelectronics
Belarus
Belarus
References
1. Нечеткие множества и теория возможностей / Под ред. Р. Р. Ягера. - М.; Радио и связь, 1986. - 404 с.
2. Vishnyakov V. А., German О. V. Models and tools of logical inference systems. - M.: Science, 1999. - 374 p.
3. Герман О. В. Введение в теорию экспертных систем и обработку знаний. - Мн.; ДизайнПРО, 1995. - 255 с.
4. Прикладные нечеткие системы / К. Асаи, Д. Ватада, С. Иван и др. // Под ред. Т. Тэрано, К. Асаи, М. Суге- но. - М.: Мир, 1993. - 368 с.
5. Дискретная математика и математические вопросы кибернетики / Под ред. С. В. Яблонского. - М.: Наука, 1974.-312 с.
6. http://zhumal.gpi.ru
7. Вентцель Е. С. Теория вероятностей. - М.: Высш. шк., 2002. - 575 с.
Review
For citations:
German O.V., Linnik A.A. Logical Calculus Using Fuzzy Formulas. Science & Technique. 2005;(5):55-58. (In Russ.)
Views:
1363
Email this article 