{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T00:03:41Z","timestamp":1723939421879},"reference-count":27,"publisher":"Fuji Technology Press Ltd.","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JACIII","J. Adv. Comput. Intell. Intell. Inform."],"published-print":{"date-parts":[[2020,11,20]]},"abstract":"Rough set theory is studied to manage uncertain and inconsistent information. Because Pawlak\u2019s decision logic for rough sets is based on the classical two-valued logic, it is inconvenient for handling inconsistent information. We propose a bilattice logic as the deduction basis for the decision logic of rough sets to address inconsistent and ambiguous information. To enhance the decision logic to bilattice semantics, we introduce Variable Precision Rough Set (VPRS). As a deductive basis for bilattice decision logic, we define a consequence relation for Belnap\u2019s four-valued semantics and provide a bilattice semantic tableau TB4 for a deduction system. We demonstrate the soundness and completeness of TB4 and enhance it with weak negation.<\/jats:p>","DOI":"10.20965\/jaciii.2020.p0774","type":"journal-article","created":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T15:05:17Z","timestamp":1605798317000},"page":"774-784","source":"Crossref","is-referenced-by-count":2,"title":["Bilattice Logic for Rough Sets"],"prefix":"10.20965","volume":"24","author":[{"given":"Yotaro","family":"Nakayama","sequence":"first","affiliation":[]},{"given":"Seiki","family":"Akama","sequence":"additional","affiliation":[]},{"given":"Tetsuya","family":"Murai","sequence":"additional","affiliation":[]},{"name":"Nihon Unisys, Ltd. 1-1-1 Toyosu, Koto-ku, Tokyo 135-8560, Japan","sequence":"additional","affiliation":[]},{"name":"C-Republic, Inc. 1-20-1 Higashi-Yurigaoka, Asao-ku, Kawasaki-shi, Kanagawa 215-0012, Japan","sequence":"additional","affiliation":[]},{"name":"Chitose Institute of Science and Technology 758-65 Bibi, Chitose, Hokkaido 066-8655, Japan","sequence":"additional","affiliation":[]}],"member":"8550","published-online":{"date-parts":[[2020,11,20]]},"reference":[{"key":"key-10.20965\/jaciii.2020.p0774-1","doi-asserted-by":"crossref","unstructured":"Z. Pawlak, \u201cRough Sets: Theoretical Aspects of Reasoning about Data,\u201d Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-94-011-3534-4"},{"key":"key-10.20965\/jaciii.2020.p0774-2","doi-asserted-by":"crossref","unstructured":"W. Ziarko, \u201cVariable precision rough set model,\u201d J. of Computer and System Science, Vol.46, No.1, pp. 39-59, 1993.","DOI":"10.1016\/0022-0000(93)90048-2"},{"key":"key-10.20965\/jaciii.2020.p0774-3","unstructured":"R. M. Smullyan, \u201cFirst-Order Logic,\u201d Dover Books, 1995."},{"key":"key-10.20965\/jaciii.2020.p0774-4","doi-asserted-by":"crossref","unstructured":"R. H\u00e4hnle, \u201cAutomated deduction in multiple-valued logics,\u201d Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198539896.001.0001"},{"key":"key-10.20965\/jaciii.2020.p0774-5","unstructured":"M. D\u2019Agostino, \u201cInvestigations into the Complexity of some Propositional calculi,\u201d Oxford University Computing Laboratory, Programming Research Group, 1990."},{"key":"key-10.20965\/jaciii.2020.p0774-6","unstructured":"T.-F. Fan, W.-C. Hu, and C.-J. Liau, \u201cDecision logics for knowledge representation in data mining,\u201d 25th Annual Int. Computer Software and Applications Conf. (COMPSAC 2011), pp. 626-631, 2001."},{"key":"key-10.20965\/jaciii.2020.p0774-7","doi-asserted-by":"crossref","unstructured":"Y. Lin and L. Qing, \u201cA Logical Method of Formalization for Granular Computing,\u201d IEEE Int. Conf. on Granular Computing (GRC 2007), p. 22, 2007.","DOI":"10.1109\/GrC.2007.18"},{"key":"key-10.20965\/jaciii.2020.p0774-8","unstructured":"D. Ciucci and D. Dubois, \u201cThree-Valued Logics, Uncertainty Management and Rough Sets,\u201d Trans. on Rough Sets XVII, Lecture Notes in Computer Science, Vol.8375, pp. 1-32, 2014."},{"key":"key-10.20965\/jaciii.2020.p0774-9","doi-asserted-by":"crossref","unstructured":"A. Avron and B. Konikowska, \u201cRough Sets and 3-Valued Logics,\u201d Studia Logica, Vol.90, pp. 69-92, 2008.","DOI":"10.1007\/s11225-008-9144-3"},{"key":"key-10.20965\/jaciii.2020.p0774-10","doi-asserted-by":"crossref","unstructured":"B. Konikowska, \u201cThree-Valued Logic for Reasoning about Covering-Based Rough Sets,\u201d Rough Sets and Intelligent Systems, Intelligent Systems Reference Library, Vol.42, pp. 439-461, 1990.","DOI":"10.1007\/978-3-642-30344-9_16"},{"key":"key-10.20965\/jaciii.2020.p0774-11","unstructured":"Y. Nakayama, S. Akama, and T. Murai, \u201cDeduction System for Decision Logic based on Partial Semantics,\u201d The 11th Int. Conf. on Advances in Semantic Processing (SEMAPRO 2017), pp. 8-11, 2017."},{"key":"key-10.20965\/jaciii.2020.p0774-12","doi-asserted-by":"crossref","unstructured":"A. Vit\u00f3ria, A. S. Andrzej, and J. Ma\u0142uszynski, \u201cFour-Valued Extension of Rough Sets,\u201d Int. Conf. on Rough Sets and Knowledge Technology (RSKT 2008), pp. 106-114, 2008.","DOI":"10.1007\/978-3-540-79721-0_19"},{"key":"key-10.20965\/jaciii.2020.p0774-13","doi-asserted-by":"crossref","unstructured":"S. Akama, T. Murai, and Y. Kudo, \u201cReasoning with Rough Sets: Logical Approaches to Granularity-Based Framework,\u201d Springer International Publishing, 2018.","DOI":"10.1007\/978-3-319-72691-5_5"},{"key":"key-10.20965\/jaciii.2020.p0774-14","doi-asserted-by":"crossref","unstructured":"N. D. Belnap, Jr., \u201cA Useful Four-Valued Logic,\u201d J. M. Dunn and G. Epstein (Eds.), \u201cModern Uses of Multiple-Valued Logic,\u201d pp. 5-37, Reidel Publishing, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"key-10.20965\/jaciii.2020.p0774-15","doi-asserted-by":"crossref","unstructured":"M. L. Ginsberg, \u201cMultivalued logics: A uniform approach to reasoning in artificial intelligence,\u201d Computer Intelligence, Vol.4, No.3, pp. 265-316, 1988.","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"key-10.20965\/jaciii.2020.p0774-16","doi-asserted-by":"crossref","unstructured":"O. Arieli and A. Avron, \u201cReasoning with logical bilattices,\u201d J. of Logic, Language and Information, Vol.5, pp. 25-63, 1996.","DOI":"10.1007\/BF00215626"},{"key":"key-10.20965\/jaciii.2020.p0774-17","doi-asserted-by":"crossref","unstructured":"R. Muskens, \u201cOn Partial and Paraconsistent Logics,\u201d Notre Dame J. of Formal Logic, Vol.40, No.3, pp. 352-374, 1999.","DOI":"10.1305\/ndjfl\/1022615616"},{"key":"key-10.20965\/jaciii.2020.p0774-18","unstructured":"S. Wintein and R. Muskens, \u201cA calculus for Belnap\u2019s logic in which each proof consists of two trees,\u201d Logique et Analyse, Vol.55, No.220, pp. 643-656, 2012."},{"key":"key-10.20965\/jaciii.2020.p0774-19","doi-asserted-by":"crossref","unstructured":"Z. Pawlak, \u201cRough Sets and Decision Algorithms,\u201d 2nd Int. Conf. on Rough Sets and Current Trends in Computing (RSCTC 2000), pp. 30-45, 2000.","DOI":"10.1007\/3-540-45554-X_3"},{"key":"key-10.20965\/jaciii.2020.p0774-20","doi-asserted-by":"crossref","unstructured":"A. R. Anderson and J. N. D. Belnap, Jr., \u201cTautological Entailments,\u201d Philosophical Studies: An Int. J. for Philosophy in the Analytic Tradition, Vol.13, No.1\/2, pp. 9-24, 1962.","DOI":"10.1007\/BF00818100"},{"key":"key-10.20965\/jaciii.2020.p0774-21","doi-asserted-by":"crossref","unstructured":"W. Ziarko, \u201cProbabilistic Decision Tables in the Variable Precision Rough Set Model,\u201d Computational Intelligence, Vol.17, No.3, pp. 593-603, 2001.","DOI":"10.1111\/0824-7935.00165"},{"key":"key-10.20965\/jaciii.2020.p0774-22","unstructured":"J. Van Benthem, \u201cPartiality and Nonmonotonicity in Classical Logic,\u201d Logique et Analyse, Vol.29, No.114, pp. 225-247, 1986."},{"key":"key-10.20965\/jaciii.2020.p0774-23","unstructured":"S. Akama and Y. Nakayama, \u201cConsequence relations in DRT,\u201d Proc. of the 15th Int. Conf. on Computational Linguistics (COLING 1994), Volume 2, pp. 1114-1117, 1994."},{"key":"key-10.20965\/jaciii.2020.p0774-24","doi-asserted-by":"crossref","unstructured":"Y. Nakayama, S. Akama, and T. Murai, \u201cDeduction System for Decision Logic Based on Many-valued Logics,\u201d Int. J. on Advances in Intelligent Systems, Vol.11, No.1\/2, pp. 115-126, 2018.","DOI":"10.1016\/j.procs.2018.07.272"},{"key":"key-10.20965\/jaciii.2020.p0774-25","doi-asserted-by":"crossref","unstructured":"Y. Nakayama, S. Akama, and T. Murai, \u201cFour-valued Tableau Calculi for Decision Logic of Rough Set,\u201d Knowledge-Based and Intelligent Information and Engineering Systems: Proc. of the 22nd Int. Conf. (KES-2018), pp. 383-392, 2018.","DOI":"10.1016\/j.procs.2018.07.272"},{"key":"key-10.20965\/jaciii.2020.p0774-26","doi-asserted-by":"crossref","unstructured":"A. Avron, \u201cTableaux with Four Signs as a Unified Framework,\u201d Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2003), pp. 4-16, 2003.","DOI":"10.1007\/978-3-540-45206-5_4"},{"key":"key-10.20965\/jaciii.2020.p0774-27","unstructured":"J. Hintikka, \u201cForm and content in quantification theory,\u201d Acta Philosophica Fennica, Vol.8, pp. 7-55, 1955."}],"container-title":["Journal of Advanced Computational Intelligence and Intelligent Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.fujipress.jp\/main\/wp-content\/themes\/Fujipress\/phyosetsu.php?ppno=JACII002400060007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,17]],"date-time":"2024-08-17T18:26:52Z","timestamp":1723919212000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.fujipress.jp\/jaciii\/jc\/jacii002400060774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,20]]},"references-count":27,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2020,11,20]]},"published-print":{"date-parts":[[2020,11,20]]}},"URL":"https:\/\/doi.org\/10.20965\/jaciii.2020.p0774","relation":{},"ISSN":["1883-8014","1343-0130"],"issn-type":[{"type":"electronic","value":"1883-8014"},{"type":"print","value":"1343-0130"}],"subject":[],"published":{"date-parts":[[2020,11,20]]}}}