TOWARDS A FUZZY-LOGIC PROGRAMMING SYSTEM - A FUZZY PROPOSITIONAL LOGIC

被引:2
|
作者
RHODES, PC
MENANI, SM
机构
[1] Department of Computing, University of Bradford, Bradford
关键词
COMPUTATIONAL REASONING; LOGIC PROGRAMMING; FUZZY LOGIC; QUALIFIERS; MODIFIERS; CONNECTIVES;
D O I
10.1016/0950-7051(91)90045-4
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper formally develops a type of propositional fuzzy logic which is analogous to traditional two-valued logic. A complete set of fuzzy qualifiers are defined for the first time, and as a consequence a corresponding set of modifiers. In addition, a set of rules for combining those qualifiers in a proposition have been developed. Once these rules have been established, a definition of formulae in the context of propositional fuzzy logic is proposed and a theory of inference is deduced.
引用
收藏
页码:52 / 62
页数:11
相关论文
共 50 条
  • [41] FUZZY-LOGIC IN CONTROL-SYSTEMS - FUZZY-LOGIC CONTROLLER .1.
    LEE, CC
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (02): : 404 - 418
  • [42] Fuzzy Propositional Logic System and Its λ-Resolution
    Zhao, Jiexin
    Pan, Zhenghua
    [J]. INTELLIGENT COMPUTING METHODOLOGIES, 2014, 8589 : 212 - 219
  • [43] A hybrid programming scheme combining fuzzy-logic and functional-logic resources
    Moreno, Gines
    Pascual, Vicente
    [J]. FUZZY SETS AND SYSTEMS, 2009, 160 (10) : 1402 - 1419
  • [44] On models in fuzzy propositional logic
    Mattila, Jorma K.
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2006, 4253 : 358 - 365
  • [45] FUZZY-LOGIC POWER-SYSTEM STABILIZER
    ELMETWALLY, KA
    MALIK, OP
    [J]. IEE PROCEEDINGS-GENERATION TRANSMISSION AND DISTRIBUTION, 1995, 142 (03) : 277 - 281
  • [46] APPLICATION OF FUZZY-LOGIC TO THE APGAR SCORING SYSTEM
    SHONO, H
    OGA, M
    SHIMOMURA, K
    YAMASAKI, M
    ITO, Y
    MURO, M
    SUGIMORI, H
    [J]. INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING, 1992, 30 (02): : 113 - 123
  • [47] APPLICATION OF FUZZY-LOGIC TO INDUCTION SERVO SYSTEM
    CHENG, FF
    YEH, SN
    [J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 1994, 17 (01) : 1 - 11
  • [48] SIMULATION OF A FUZZY-LOGIC CONTROL-SYSTEM
    KORN, GA
    [J]. SIMULATION, 1993, 61 (04) : 244 - 249
  • [49] VIDEO CAMERA SYSTEM USING FUZZY-LOGIC
    HARUKI, T
    KIKUCHI, K
    [J]. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 1992, 38 (03) : 624 - 634
  • [50] A FUZZY-LOGIC CONTROLLER FOR AN ABS BRAKING SYSTEM
    MAUER, GF
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1995, 3 (04) : 381 - 388