A logic of graded attributes
- 79 Downloads
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 ⇒ 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.
KeywordsAttribute implication Fuzzy logic Graded-style completeness Pavelka-style logic
Mathematics Subject Classification03B50 03B52 68T37
Unable to display preview. Download preview PDF.
- 2.Armstrong, W.W.: Dependency structures in data base relationships. IFIP Congress, Geneva, Switzerland, pp. 580–583 (1974)Google Scholar
- 3.Belohlavek R., Vychodil V.: Attribute implications in a fuzzy setting. Lect. Notes Artif. Intell. 3874, 45–60 (2006)Google Scholar
- 5.Belohlavek, R., Vychodil, V.: Attribute dependencies for data with grades (submitted, arXiv:1402.2071 [cs.LO]).
- 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)Google Scholar
- 8.Esteva, F., Godo, L., Marchioni, E.: Fuzzy logics with enriched language. In , vol. II, pp. 627–711Google Scholar
- 11.Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, New York (2007)Google Scholar
- 15.Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325–373 (1968–1969)Google Scholar
- 16.Gottwald, S.: A Treatise on Many-Valued Logic. Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England (2001)Google Scholar
- 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)Google Scholar
- 23.Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45–52, 119–134, 447–464 (1979)Google Scholar