A QUALITATIVE FUZZY POSSIBILISTIC LOGIC

被引:15
|
作者
HAJEK, P [1 ]
HARMANCOVA, D [1 ]
VERBRUGGE, R [1 ]
机构
[1] CHARLES UNIV, FAC PHILOSOPHY, DEPT LOG, PRAGUE, CZECH REPUBLIC
关键词
FUZZY LOGIC; MODAL LOGIC; POSSIBILISTIC LOGIC; COMPARATIVE APPROACH;
D O I
10.1016/0888-613X(94)00011-Q
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A formal logical system dealing with both uncertainty (possibility) and vagueness (fuzziness) is investigated. It is many-valued and modal. The system is related to a many-valued tense logic. A completeness theorem is exhibited.
引用
收藏
页码:1 / 19
页数:19
相关论文
共 50 条
  • [21] On possibilistic/fuzzy optimization
    Inuiguchi, Masahiro
    [J]. FOUNDATIONS OF FUZZY LOGIC AND SOFT COMPUTING, PROCEEDINGS, 2007, 4529 : 351 - 360
  • [22] Extending possibilistic logic over Godel logic
    Dellunde, Pilar
    Godo, Lluis
    Marchioni, Enrico
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2011, 52 (01) : 63 - 75
  • [23] Encoding Markov Logic Networks in Possibilistic Logic
    Kuzelka, Ondrej
    Davis, Jesse
    Schockaert, Steven
    [J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2015, : 454 - 463
  • [24] Fuzzy and possibilistic clustering for fuzzy data
    Coppi, Renato
    D'Urso, Pierpaolo
    Giordani, Paolo
    [J]. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2012, 56 (04) : 915 - 927
  • [25] A relationship between the probabilistic logic and the possibilistic logic
    Thanh, DV
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1998, 17 (01): : 51 - 68
  • [26] EPISTEMIC ENTRENCHMENT AND POSSIBILISTIC LOGIC
    DUBOIS, D
    PRADE, H
    [J]. ARTIFICIAL INTELLIGENCE, 1991, 50 (02) : 223 - 239
  • [27] A substructural connective for possibilistic logic
    Boldrin, L
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 60 - 68
  • [28] Hybrid logic for possibilistic reasoning
    Liau, CJ
    [J]. JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 1523 - 1528
  • [29] Possibilistic inductive logic programming
    Serrurier, M
    Prade, H
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 675 - 686
  • [30] A BRIEF OVERVIEW OF POSSIBILISTIC LOGIC
    DUBOIS, D
    LANG, J
    PRADE, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 53 - 57