Home // SEMAPRO 2017, The Eleventh International Conference on Advances in Semantic Processing // View article

Deduction System for Decision Logic based on Partial Semantics

Authors:
Yotaro Nakayama
Seiki Akama
Tetsuya Murai

Keywords: rough set; decision logic; consequence relation; three-valued logic; sequent calculi

Abstract:
Rough set theory has been extensively used both as a mathematical foundation of granularity and vagueness in information systems and in a large number of applications. However, the decision logic for rough sets is based on classical bivalent logic; therefore, it would be desirable to develop decision logic for uncertain or ambiguous objects. In this study, a deduction system based on partial semantics is proposed for decision logic. Three-valued logics based on Gentzen sequent calculi are adopted. A deductive system based on three-valued framework is intuitively adequate for the structure of positive, negative, and boundary regions of rough sets, and has already been studied. In this study, consequence relations based on partial semantics for decision logic are defined, and systemization by Gentzen’s sequent calculi is attempted. Three-valued logics of different structures are investigated as the deductive system of decision logic. The interpretation of decision logic is extended using partial semantics, and extended decision logic based on three-valued logics is proposed.

Pages: 8 to 11

Copyright: Copyright (c) IARIA, 2017

Publication date: November 12, 2017

Published in: conference

ISSN: 2308-4510

ISBN: 978-1-61208-600-2

Location: Barcelona, Spain

Dates: from November 12, 2017 to November 16, 2017