УДК 681.61
ДОВЕДЕННЯ ТЕОРЕМ У НЕЧІТКІЙ ЛОГІЦІ НА ОСНОВІ СТРУКТУРНОЇ РЕЗОЛЮЦІЇ
Анотація. Розглянуто підхід до доведення теорем у нечіткій логіці і не цілком істинною аргументацією.
Як правило доказового міркування використовують композиційне правило виведення Л. Заде,
а його процедурна реалізація здійснюється механізмом спростування. Структурна резолюція (S -резолюція),
яка є узагальненням принципу резолюцій на нечіткі твердження, запропонована як такий механізм. S -резолюція базується
на семантичних індексах літер і їхній схожості. Семантичні індекси є істотним моментом S -резолюції. Вони містять інформацію,
яка використовується як керівна у процесі виводу, а схожість полягає у пошуку літер для отримання S -резольвенти.
Комплексування композиційного правила виводу Л. Заде і S -резолюції дозволяє, з одного боку,
зняти проблему коректності резольвент в нечіткій логіці, а з іншого — забезпечити регулярність процесу доведення як в двозначній, так і в нечіткій логіці.
Ключові слова: автоматичне доведення теорем, нечітка теорема, принцип резолюцій, нечітка логіка, наближені міркування, узагальнене правило modus ponens, композиційне правило, нечіткі предикати, нечіткі і лінгвістичні змінні.
ПОВНИЙ ТЕКСТ
Самохвалов Юрий Яковлевич,
доктор техн. наук, профессор кафедры Киевского национального университета
имени Тараса Шевченко, 
yu1953@ukr.net
СПИСОК ЛІТЕРАТУРИ
- Мукаидоно М.А. Нечеткий вывод резолюционного типа. В кн.: Нечеткие множества и теория возможностей (под ред. Ягера Р.). Москва: Радио и связь, 1986. С. 153–161.
- Dubois D., Prade H. Necessity and the resolution principle. IEEE Transactions on Systems, Man, and Cybernetics. 1987. Vol. 17, N 3. P. 474–478.
- Kim C.S., Kim D.S., Park J. A new fuzzy resolution principle based on the antonym. Fuzzy Sets and Systems. 2000. Vol. 113, N 2. P. 299–307.
- Fontana F.A., Formato F. A similarity-based resolution principle. International Journal of Intelligent Systems. 2002. Vol. 17, N 9. P. 853–872.
- Raha S., Ray K.S. Approximate reasoning based on generalised disjunctive syllogism. Fuzzy Sets and Systems. 1994. Vol. 61, N 2. P. 143–151.
- Habiballa H. Resolution principle in fuzzy predicate logic. Acta Fac. Paed. Univ. Tyrnaviensis. Ser. C. 2005. N 9. P. 3–12
- Habiballa H. Resolution principle and fuzzy logic. Fuzzy Logic — Algorithms, Techniques and Implementations. Ch. 3. London: IntechOpen, 2012. P. 20.
- Штовба С.Д. Проектирование нечетких систем средствами MATLAB. Москва: Горячая линия. Телеком, 2007. 288 с.
- Raha S., Pal N.R., Ray K.S. Similarity based approximate reasoning: Methodology and application. IEEE Transactions on Systems, Man, and Cybernatics. Part A: Systems and humans. 2002. Vol. 32, N 4. P. 541–547.
- Mondal B., Mazumdar D., Raha S. Similarity in approximate reasoning. International Journal of Computational Cognition. 2006. Vol. 4, N 3. P. 46–56.
- Mondal B., Raha S. Similarity-based inverse approximate reasoning. IEEE Transaction on Fuzzy Systems. 2011. Vol. 19, N 6. P. 1058–1071.
- Mondal B., Raha S. Approximate reasoning in fuzzy resolution. International Journal of Intelligence Science. 20113. Vol. 3, N 2. P. 86–98.
- Самохвалов Ю.Я. Метод проблемно-ориентированного доказательства в нечеткой логике. Кибернетика и системный анализ. 1995. № 5. С. 58–68.
- Заде Л.А. Понятие лингвистической переменной и его применение к принятию приближенных решений. Москва: Мир, 1976. 165 с.
- Bofill M., Moreno G., Vїzquez C., Villaret M. Automatic proving of fuzzy formulae with fuzzy logic programming and SMT. Actas de las XIII Jornadas sobre Programacin y Lenguajes, PROLE’13, Jornadas SISTEDES, Madrid, 18–20 September 2013. P. 151–165.
- Самохвалов Ю.Я. Оценка обоснованности управленческих решений на основе нечеткой логики. Управляющие системы и машины. 2017. № 3. C. 26–34.
- Самохвалов Ю.Я. Согласование экспертных оценок в матрицах отношений предпочтения. Управляющие системы и машины. 2002. № 6. С. 49–53.
- Zwick R., Carlstein E., Budescu D.V. Measures of similarity among fuzzy concepts: A comparative analysis. International Journal of Approximat. 1987. Vol. 1, N 2. P. 221–242.
- Mondal B., Mazumdar D., Raha S. Similarity in approximate reasoning. International Journal of Computational Cognition. 2006. Vol. 4, N 3. P. 46–56.
- Wilamowski B.M., Irwin J.D. (Eds.) The industrial electronics handbook: Intelligent systems. Boca Raton: CRC Press, 2011. 610 p.
- Самохвалов Ю.Я. Автоматическое доказательство теорем и нечеткий ситуационный поиск решений. Кибернетика и системный анализ. 2001. № 4. С. 53–60.
- Ford M. The rise of the robots: Technology and the threat of jobless future. New York: Basic Books, 2015. 334 p.
