Abstract
The paraconsistent annotated evidential logic E\(_{\tau }\) has been studied based on one of the applications of Paraconsistent Annotated Logic. We propose an enhanced logical system T4E\(_{\tau }\), an extended version of evidential annotated logics E\(_{\tau }\), by adopting rough set theory for a semantic interpretation of truth-value and constructing another deductive system using tableau calculus adding some operations MAX and MIN. We also discuss the possibilities of applications of T4E\(_{\tau }\) to incorporate general decision logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abe, J.: Remarks on paraconsistent annotated evidential logic E\(_{\tau }\). Unisanta Sci. Technol. 3, 25–29 (2014)
Abe, J.M.: Paraconsistent intelligent-based systems. In: Intelligent Systems Reference Library, vol. 94. Springer (2015)
Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to annotated logics. In: Intelligent Systems Reference Library, vol. 88. Springer (2015)
Akama, S., Abe, J., Murai, T.: A tableau formulation of annotated logics. In: Cialdea Mayer, M., Pirri, F. (eds.) Proceedings of TABLEAUX’2003, pp. 1–13. Rome, Italy (2003)
Akama, S., Abe, J.M., Nakamatsu, K.: Evidential Reasoning in Annotated Logics. In: IIAI-AAI, pp. 28–33 (2015)
de Carvalho, F.R., Abe, J.M.: A paraconsistent decision-making method, SIST, vol. 87. Springer (2018)
Dutta, S., Skowron, A.: Generalized quantifiers in the context of rough set semantics. Fundam. Inf. 142, 213–236 (2015)
Nakayama, Y., Akama, S., Murai, T.: Bilattice logic for rough sets. J. Adv. Comput. Intell. Intell. Inform. 24(6), 774–784 (2020). https://doi.org/10.20965/jaciii.2020.p0774
Nakayama, Y., Akama, S., Murai, T.: Four-valued Tableau calculi for decision logic of rough set. In: Knowledge-Based and Intelligent Information and Engineering Systems: Proceedings of the 22nd International Conference, KES-2018, pp. 383–392 (2018). https://doi.org/10.1016/j.procs.2018.07.272
Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning About Data. Kluwer, Dordrecht (1991)
Pawlak, Z., Skowron, A.: Rough membership functions: a tool for reasoning with uncertainty. Algebraic Methods Log. Comput. Sci. 28, 135–150 (1993)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Nakayama, Y., Akama, S., Abe, J.M., Murai, T. (2022). Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic. In: Czarnowski, I., Howlett, R.J., Jain, L.C. (eds) Intelligent Decision Technologies. Smart Innovation, Systems and Technologies, vol 309. Springer, Singapore. https://doi.org/10.1007/978-981-19-3444-5_12
Download citation
DOI: https://doi.org/10.1007/978-981-19-3444-5_12
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-19-3443-8
Online ISBN: 978-981-19-3444-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)