Abstract
The authors show that a very general framework of set approximation can be the set-theoretical base of semantics of a partial first-order logic. The most general problem is what happens if in the semantics of first-order logic one uses the approximations of sets as semantic values of predicate parameters instead of sets given by their total interpretation in order to determine the truth values of formulas? The authors show some unexpected properties connected with logical constants directly. The goal of the investigation is to show the possible connections between the result of different approximative and exact evaluation of formulas – or the lack of them. At the end, the authors present the practical example, in which we can see the discussed behavior of approximation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Pawlak, Z.: Rough sets. International Journal of Information and Computer Science 11(5), 341–356 (1982)
Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
Yao, Y.Y.: On generalizing rough set theory. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol. 2639, pp. 44–51. Springer, Heidelberg (2003)
Düntsch, I., Gediga, G.: Approximation operators in qualitative data analysis. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol. 2929, pp. 214–230. Springer, Heidelberg (2003)
Pawlak, Z., Skowron, A.: Rudiments of rough sets. Information Sciences 177(1), 3–27 (2007)
Polkowski, L.: Rough Sets: Mathematical Foundations. Advances in Soft Computing. Physica-Verlag, Heidelberg (2002)
Csajbók, Z., Mihálydeák, T.: Partial approximative set theory: A generalization of the rough set theory. International Journal of Computer Information System and Industrial Management Applications 4, 437–444 (2012)
Mihálydeák, T.: Partial first-order logic with approximative functors based on properties. In: Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J., Janicki, R., Hassanien, A.E., Yu, H. (eds.) RSKT 2012. LNCS, vol. 7414, pp. 514–523. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kádek, T., Mihálydeák, T. (2014). Some Fundamental Laws of Partial First-Order Logic Based on Set Approximations. In: Cornelis, C., Kryszkiewicz, M., Ślȩzak, D., Ruiz, E.M., Bello, R., Shang, L. (eds) Rough Sets and Current Trends in Computing. RSCTC 2014. Lecture Notes in Computer Science(), vol 8536. Springer, Cham. https://doi.org/10.1007/978-3-319-08644-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-08644-6_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08643-9
Online ISBN: 978-3-319-08644-6
eBook Packages: Computer ScienceComputer Science (R0)