@Article{csse.2018.33.447,
AUTHOR = {Reeseo Cha, Wonhong Nam, Jin-Young Choi},
TITLE = {Reliable Approximated Number System with Exact Bounds and Three-Valued Logic},
JOURNAL = {Computer Systems Science and Engineering},
VOLUME = {33},
YEAR = {2018},
NUMBER = {6},
PAGES = {447--455},
URL = {http://www.techscience.com/csse/v33n6/39996},
ISSN = {},
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.},
DOI = {10.32604/csse.2018.33.447}
}