On Multi-Valued and Fuzzy Dia-Logics

被引:0
|
作者
Tarassov, Valery B. [1 ]
机构
[1] Bauman Moscow State Tech Univ, Moscow, Russia
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The problems of constructing multi-valued and fuzzy dia-logics models are considered. First of all, the origins of dialogue paradigm in ancient science are reviewed. The sources of "Dialogics" as multi-disciplinary area together with various modes of using this term are discussed. Specifically, logical-algebraic models of intelligent agents communication in multi-agent systems based on product lattices (and product logics) are identified by the term "dia-logics". Two basic dia-logics lattices: negotiation (search for consensus) lattice C4 and its dual - disputation lattice D4 are introduced; the appropriate dia-semantics are given. A formal representation of dia-logical bilattice is suggested. Fuzzy dia-logics with truth values in [0,1](2) are constructed; their basic operations are envisaged. The links between bilattice extensions of Dunn-Belnap's semantics and Atanassov's intuitionistic fuzzy sets are mentioned. In the conclusion some basic ideas and principles of fuzzy dia-logics and dia-semantics are stated.
引用
收藏
页码:306 / 310
页数:5
相关论文
共 50 条
  • [21] Model checking for multi-valued computation tree logics
    Konikowska, B
    Penczek, W
    BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 193 - 210
  • [22] Models for Quantitative Distributed Systems and Multi-Valued Logics
    Huschenbett, Martin
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2011, 6638 : 310 - 322
  • [23] Multi-valued modal fixed point logics for model checking
    Nishizawa, Koki
    ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 109 - 113
  • [24] On the Algebrization of the Multi-valued Logics CG′3 and G′3
    Perez-Gaspar, Miguel
    Barcenas, Everardo
    COMPUTACION Y SISTEMAS, 2021, 25 (04): : 751 - 759
  • [25] Multi-valued calculi for logics based on non-determinism
    Avron, Arnon
    Konikowska, Beata
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 365 - 387
  • [26] Multi-Valued Modal Fixed Point Logics for Model Checking
    Nishizawa, Koki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (08): : 2036 - 2039
  • [27] TRANSPARENT TRUTH-VALUE PREDICATES IN MULTI-VALUED LOGICS
    Francez, Nissim
    Kaminski, Michael
    LOGIQUE ET ANALYSE, 2019, (245) : 55 - 71
  • [28] A Fuzzy Tolerating Mechanism for the Multi-Valued Neuron
    Chen, Jin-Ping
    Lee, Shie-Jue
    2012 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY2012), 2012, : 283 - 287
  • [29] Multi-valued Fuzzy Spaces for Color Representation
    Patrascu, Vasile
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT II, 2014, 443 : 174 - 183
  • [30] Multi-valued Autoencoders for Multi-valued Neural Networks
    Hata, Ryusuke
    Murase, Kazuyuki
    2016 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2016, : 4412 - 4417