A logic of graded attributes. (English) Zbl 1477.03079
Summary: We present a logic for reasoning about attribute dependencies in data involving degrees such as a degree to which an object is red or a degree to which two objects are similar. The dependencies are of the form \(A \Rightarrow B\) and can be interpreted in two ways: first, in data tables with entries representing degrees to which objects (rows) have attributes (columns); second, in database tables where each domain is equipped with a similarity relation. We assume that the degrees form a scale equipped with operations representing many-valued logical connectives. If 0 and 1 are the only degrees, the algebra of degrees becomes the two-element Boolean algebra and the two interpretations become well-known dependencies in Boolean data and functional dependencies of relational databases. In a setting with general scales, we obtain a new kind of dependencies with naturally arising degrees of validity, degrees of entailment, and related logical concepts. The deduction rules of the proposed logic are inspired by Armstrong rules and make it possible to infer dependencies to degrees – the degrees of provability. We provide a soundness and completeness theorem for such a setting asserting that degrees of entailment coincide with degrees of provability, prove the independence of deduction rules, and present further observations.
MSC:
| 03B52 | Fuzzy logic; logic of vagueness |
| 03B50 | Many-valued logic |
| 68T37 | Reasoning under uncertainty in the context of artificial intelligence |
References:
| [1] | Abiteboul S. et al.: The Lowell database research self-assessment. Commun. ACM 48(5), 111-118 (2005) · doi:10.1145/1060710.1060718 |
| [2] | Armstrong, W.W.: Dependency structures in data base relationships. IFIP Congress, Geneva, Switzerland, pp. 580-583 (1974) · Zbl 0296.68038 |
| [3] | Belohlavek R., Vychodil V.: Attribute implications in a fuzzy setting. Lect. Notes Artif. Intell. 3874, 45-60 (2006) · Zbl 1177.68203 |
| [4] | Belohlavek R., Vychodil V.: Codd’s relational model from the point of view of fuzzy logic. J. Logic Comput. 21(5), 851-862 (2011) · Zbl 1228.68024 · doi:10.1093/logcom/exp056 |
| [5] | Belohlavek, R., Vychodil, V.: Attribute dependencies for data with grades (submitted, arXiv:1402.2071 [cs.LO]). · Zbl 1404.68158 |
| [6] | Carpineto C., Romano G.: Concept Data Analysis: Theory and Applications. Wiley, New Jersey (2004) · Zbl 1083.68117 · doi:10.1002/0470011297 |
| [7] | Cintula, P., Hájek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. I, II, College Publ., London 2011 (vols. 37 and 38 of series Studies in Logic) · Zbl 1284.03177 |
| [8] | Esteva, F., Godo, L., Marchioni, E.: Fuzzy logics with enriched language. In [7], vol. II, pp. 627-711 · Zbl 1284.03179 |
| [9] | Fagin R.: Functional dependencies in a relational database and propositional logic. IBM J. Res. Dev. 21(6), 543-544 (1977) · Zbl 0366.68022 · doi:10.1147/rd.216.0534 |
| [10] | Fagin R.: Combining fuzzy information: an overview. SIGMOD Rec 31(2), 109-118 (2002) · doi:10.1145/565117.565143 |
| [11] | Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, New York (2007) · Zbl 1171.03001 |
| [12] | Ganter B., Wille R.: Formal Concept Analysis. Mathematical Foundations. Springer, Berlin (1999) · Zbl 0909.06001 · doi:10.1007/978-3-642-59830-2 |
| [13] | Gerla G.: Inferences in probability logic. Artif. Intell. 70(1-2), 33-52 (1994) · Zbl 0821.03014 · doi:10.1016/0004-3702(94)90102-3 |
| [14] | Gerla G.: Fuzzy Logic. Mathematical Tools for Approximate Reasoning. Kluwer, Dordrecht (2001) · Zbl 0976.03026 |
| [15] | Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325-373 (1968-1969) · Zbl 0184.00903 |
| [16] | Gottwald, S.: A Treatise on Many-Valued Logic. Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England (2001) · Zbl 1048.03002 |
| [17] | Gottwald S.: Mathematical fuzzy logics. Bull. Symb. Logic 14, 210-239 (2008) · Zbl 1144.03023 · doi:10.2178/bsl/1208442828 |
| [18] | Hájek P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998) · Zbl 0937.03030 · doi:10.1007/978-94-011-5300-3 |
| [19] | Hájek P.: On very true. Fuzzy Sets Syst. 124, 329-333 (2001) · Zbl 0997.03028 · doi:10.1016/S0165-0114(01)00103-8 |
| [20] | Maier D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983) · Zbl 0519.68082 |
| [21] | Mayor G., Torrens J.: Triangular norms on discrete settings. In: Klement, E.P., Mesiar, R. (eds) Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms, pp. 189-230. Elsevier, New York (2005) · Zbl 1079.03012 |
| [22] | Novák V., Perfilieva I., Močkoř J.: Mathematical Principles of Fuzzy Logic. Kluwer, Dodrecht (1999) · Zbl 0940.03028 · doi:10.1007/978-1-4615-5217-8 |
| [23] | Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45-52, 119-134, 447-464 (1979) · Zbl 0435.03020 |
| [24] | Raju K.V.S.V.N., Majumdar A.K.: Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems. ACM Trans. Database Syst. 13(2), 129-166 (1988) · doi:10.1145/42338.42344 |
| [25] | Takeuti G., Titani S.: Globalization of intuitionistic set theory. Ann. Pure Appl. Logic 33, 195-211 (1987) · Zbl 0633.03050 · doi:10.1016/0168-0072(87)90081-9 |
| [26] | Tyagi B.K., Sharfuddin A., Dutta R.N., Tayal D.K.: A complete axiomatization of fuzzy functional dependencies using fuzzy function. Fuzzy Sets Syst. 151(2), 363-379 (2005) · Zbl 1065.68047 · doi:10.1016/j.fss.2004.06.005 |
| [27] | Zadeh L.A.: Fuzzy Logic. IEEE Comput. 21(4), 83-93 (1988) · doi:10.1109/2.53 |
| [28] | Zadeh L.A.: Fuzzy logic, neural networks, and soft computing. Commun. ACM 37(3), 77-84 (1994) · Zbl 0831.68080 · doi:10.1145/175247.175255 |
| [29] | Zhang C., Zhang S.: Association Rule Mining. Models and Algorithms. Springer, Berlin (2002) · Zbl 0998.68047 · doi:10.1007/3-540-46027-6 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
