Table of Content

Open Access iconOpen Access

ARTICLE

crossmark

Reliable Approximated Number System with Exact Bounds and Three-Valued Logic

Reeseo Cha1, Wonhong Nam2,*, Jin-Young Choi1

1 Department of Computer Science and Engineering, Korea university, 145 Anam-ro, Seongbuk-gu, Seoul 02841, Korea
E-mail: reeseo@korea.ac.kr, choi@formal.korea.ac.kr
2 Department of Software, Konkuk university, 120 Neungdong-ro, Gwangjin-gu, Seoul 05029, Korea

* Corresponding Author: E-mail: email

Computer Systems Science and Engineering 2018, 33(6), 447-455. https://doi.org/10.32604/csse.2018.33.447

Abstract

Many programming languages provides mechanism to guarantee the error ranges of exact numbers and intervals. However, when they are integrated with unreliable approximated numbers, we cannot rely on the error-ranges anymore. Such unreliable error-ranges may cause serious errors in programs, and especially in safety critical systems they cost us huge amount of money and/or threaten human’s life. Hence, in this paper, we propose a novel number system to safely perform arithmetic operations with guaranteed error ranges. In the number system, exact numbers are separated from approximated numbers, and approximated numbers with strictly guaranteed error-ranges are again separated from unwarranted numbers such as floating-point numbers. A three-valued logic is also shipped with our number system to appropriately deal with uncertainties due to approximations. A prototype implementation of our number system in Python is demonstrated. With this module, we can more reliably execute operations on numbers and make judgments on the conditions involving numbers.

Keywords


Cite This Article

APA Style
Cha, R., Nam, W., Choi, J. (2018). Reliable approximated number system with exact bounds and three-valued logic. Computer Systems Science and Engineering, 33(6), 447-455. https://doi.org/10.32604/csse.2018.33.447
Vancouver Style
Cha R, Nam W, Choi J. Reliable approximated number system with exact bounds and three-valued logic. Comput Syst Sci Eng. 2018;33(6):447-455 https://doi.org/10.32604/csse.2018.33.447
IEEE Style
R. Cha, W. Nam, and J. Choi "Reliable Approximated Number System with Exact Bounds and Three-Valued Logic," Comput. Syst. Sci. Eng., vol. 33, no. 6, pp. 447-455. 2018. https://doi.org/10.32604/csse.2018.33.447



cc This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 1223

    View

  • 992

    Download

  • 0

    Like

Related articles

Share Link