Reliable approximated number system with exact bounds and three-valued logic

Reeseo Cha, Wonhong Nam, Jin Young Choi

Research output: Contribution to journalArticle

Abstract

Many programming languages provides mechanism lo 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.

Original languageEnglish
Pages (from-to)447-455
Number of pages9
JournalComputer Systems Science and Engineering
Volume33
Issue number6
Publication statusPublished - 2018 Nov 1

Fingerprint

Numbering systems
Number system
Logic
Range of data
Safety-critical Systems
Computer programming languages
Python
Floating point
Condition number
Programming Languages
Strictly
Prototype
Uncertainty
Module
Interval
Costs
Approximation

Keywords

  • Approximated number system
  • Exact bounds
  • Formal methods
  • Three-valued logic

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Reliable approximated number system with exact bounds and three-valued logic. / Cha, Reeseo; Nam, Wonhong; Choi, Jin Young.

In: Computer Systems Science and Engineering, Vol. 33, No. 6, 01.11.2018, p. 447-455.

Research output: Contribution to journalArticle

@article{d7683f4fc48a47f7bf2bf4bab3f43015,
title = "Reliable approximated number system with exact bounds and three-valued logic",
abstract = "Many programming languages provides mechanism lo 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 = "Approximated number system, Exact bounds, Formal methods, Three-valued logic",
author = "Reeseo Cha and Wonhong Nam and Choi, {Jin Young}",
year = "2018",
month = "11",
day = "1",
language = "English",
volume = "33",
pages = "447--455",
journal = "Computer Systems Science and Engineering",
issn = "0267-6192",
publisher = "CRL Publishing",
number = "6",

}

TY - JOUR

T1 - Reliable approximated number system with exact bounds and three-valued logic

AU - Cha, Reeseo

AU - Nam, Wonhong

AU - Choi, Jin Young

PY - 2018/11/1

Y1 - 2018/11/1

N2 - Many programming languages provides mechanism lo 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.

AB - Many programming languages provides mechanism lo 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.

KW - Approximated number system

KW - Exact bounds

KW - Formal methods

KW - Three-valued logic

UR - http://www.scopus.com/inward/record.url?scp=85060400715&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85060400715&partnerID=8YFLogxK

M3 - Article

VL - 33

SP - 447

EP - 455

JO - Computer Systems Science and Engineering

JF - Computer Systems Science and Engineering

SN - 0267-6192

IS - 6

ER -