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

被引：2
|
作者：
RHODES, PC
MENANI, SM
机构：
[1] Department of Computing, University of Bradford, Bradford
来源：
KNOWLEDGE-BASED SYSTEMS | 1991年 / 4卷 / 01期
关键词：
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 条
  • [1] TOWARDS A FUZZY-LOGIC PROGRAMMING SYSTEM - A CLAUSAL FORM FUZZY-LOGIC
    RHODES, PC
    MERADMENANI, S
    [J]. KNOWLEDGE-BASED SYSTEMS, 1995, 8 (04) : 174 - 182
  • [2] TOWARDS A FUZZY-LOGIC PROGRAMMING SYSTEM - A 1ST-ORDER FUZZY-LOGIC
    RHODES, PC
    MENANI, SM
    [J]. KNOWLEDGE-BASED SYSTEMS, 1992, 5 (02) : 106 - 116
  • [3] TOWARDS A LOGIC FOR A FUZZY-LOGIC CONTROLLER
    DRIANKOV, D
    HELLENDOORN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 166 - 170
  • [4] NEURAL FUZZY-LOGIC PROGRAMMING
    EKLUND, P
    KLAWONN, F
    [J]. IEEE TRANSACTIONS ON NEURAL NETWORKS, 1992, 3 (05): : 815 - 818
  • [5] TOWARDS A RECONCILIATION OF FUZZY-LOGIC AND STANDARD LOGIC
    FOX, J
    [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1981, 15 (02): : 213 - 220
  • [6] Propositional Logic as a Propositional Fuzzy Logic
    Callejas Bedregal, Benjamin Rene
    Cruz, Anderson Paiva
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
  • [7] FUZZY-LOGIC
    ZADEH, LA
    [J]. COMPUTER, 1988, 21 (04) : 83 - 93
  • [8] FUZZY-LOGIC
    KANDEL, A
    BANDLER, W
    [J]. IEEE SPECTRUM, 1985, 22 (12) : 11 - 11
  • [9] FUZZY-LOGIC
    MCGOVERAN, D
    [J]. IEEE SPECTRUM, 1985, 22 (01) : 8 - 8
  • [10] FUZZY-LOGIC
    KOSKO, B
    ISAKA, S
    [J]. SCIENTIFIC AMERICAN, 1993, 269 (01) : 76 - 81
12345