Structural Functionality as a Fundamental Property of Boolean Algebra and Base for Its Real-Valued Realizations

被引:0
|
作者
Radojevic, Dragan G. [1 ]
机构
[1] Univ Belgrade, Inst Mihajlo Pupin, Belgrade, Serbia
来源
INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT II | 2014年 / 443卷
关键词
Boolean algebra; atomic Boolean functions; disjunctive canonical form; Boolean function structure; structural functionality; truth functionality; generalized value realization of the Boolean functions;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The value of the complex Boolean function can be calculated directly on the basis of its components value. It is a principle known as the truth functionality. Properties of the Boolean algebra have indifferent values. The truth functional principle is taken as a valid principle in general case in the conventional generalization: multi-valued and/or real-valued realizations (fuzzy logic in the broad sense). This paper presents that truth functionality is not valued indifferent property of the Boolean algebra and it is valid only in two-valued realization, and thus it cannot be the basic of the value generalization. The value generalization (real-valued realizations) enables incomparably more descriptiveness than the two-valued classical Boolean algebra, so that the finite Boolean algebra is enough for any real application. Each finite Boolean algebra is atomic. Every Boolean function (the element of the analyzed finite Boolean algebra) can be presented uniquely as disjunction of the relevant atoms disjunctive canonical form. Which atoms are and which are not included in the analyzed Boolean function is defined by its structure: 0-1 vector which dimension matches the number of atoms (in the case of n independent variables, the number of atoms is 2(n)). Atom corresponds uniquely to each vector structure position and value 0 means that the adequate atom is not included in the analyzed function, and 1 means that it is included. The principle of the structural functionality is: the structure of the complex Boolean function is defined directly on the basis of its components structure. The truth functionality is a value image of the structural functionality only in the case of two-valued realization. Each insisting on the truth functionality, such as in the case of conventional multi-valued logic and fuzzy logic in general sense, is unjustified from the point of the Boolean consistency.
引用
收藏
页码:28 / 36
页数:9
相关论文
共 31 条
  • [1] Real-valued Implication as Generalized Boolean Polynomial
    Radojevic, Dragan G.
    SOFA 2009: 3RD INTERNATIONAL WORKSHOP ON SOFT COMPUTING APPLICATIONS, PROCEEDINGS, 2009, : 195 - 199
  • [2] The MaxSAT Problem in the Real-Valued MV-Algebra
    Hanikova, Zuzana
    Manya, Felip
    Vidal, Amanda
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 386 - 404
  • [3] GRAFICAL ILLUSTRATIONS OF REAL-VALUED BOOLEAN CONSISTENT LOGICAL RELATIONS
    Radojevic, Dragan
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 264 - 269
  • [4] FUNDAMENTAL DOMAINS OF REAL-VALUED SOLUTIONS OF THE KP EQUATIONS
    VASILEV, SH
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1989, 42 (07): : 19 - 22
  • [5] The Alexandroff property for vector lattices of real-valued functions
    Adamski, W
    PUBLICATIONES MATHEMATICAE-DEBRECEN, 1997, 50 (1-2): : 79 - 86
  • [6] INJECTIVE SPACES OF REAL-VALUED FUNCTIONS WITH THE BAIRE PROPERTY
    BLASCO, JL
    IVORRA, C
    ISRAEL JOURNAL OF MATHEMATICS, 1995, 91 (1-3) : 341 - 348
  • [7] Ensemble Classification With Noisy Real-Valued Base Functions
    Ben-Hur, Yuval
    Goren, Asaf
    Klang, Da-El
    Kim, Yongjune
    Cassuto, Yuval
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2023, 41 (04) : 1067 - 1080
  • [8] Representations and rates of approximation of real-valued Boolean functions by neural networks
    Kurkova, V
    Savicky, P
    Hlavackova, K
    NEURAL NETWORKS, 1998, 11 (04) : 651 - 659
  • [9] Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
    Okazaki, Hiroyuki
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2010, 18 (04): : 213 - 217
  • [10] Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications
    Gonzalez, C. G.
    Bonventi, W.
    Rodrigues, A. L. Vieira
    ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2008, PROCEEDINGS, 2008, 5249 : 8 - 22