Логическое исчисление, использующее нечеткие формулы
Аннотация
Рассматривается функционально замкнутое многозначное исчисление, содержащее условные формулы F = {а \ b}, интерпретируемые следующим образом; F принимает значения формулы а, ес;ш b истинна; ложь, если а ложна; значение «не определена» - во всех остальных случаях. Разработана мера для условных нечетких формул, а также обоснован механизм логического вывода для формул предложенного исчисления. Построена аксиоматика и доказаны теоремы о неполноте и функциональной замкнутости.
Об авторах
О. B. Герман
Белорусский государственный университет информатики и радиоэлектроники
Беларусь
Кандидат технических наук, доцент
Беларусь
Кандидат технических наук, доцент
А. А. Линник
Белорусский государственный университет информатики и радиоэлектроники
Беларусь
Магистрант
Беларусь
Магистрант
Список литературы
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 с.
Рецензия
Для цитирования:
Герман О.B., Линник А.А. Логическое исчисление, использующее нечеткие формулы. НАУКА и ТЕХНИКА. 2005;(5):55-58.
For citation:
German O.V., Linnik A.A. Logical Calculus Using Fuzzy Formulas. Science & Technique. 2005;(5):55-58. (In Russ.)
Просмотров:
1348
Послать статью по эл. почте 