zbMATH — the first resource for mathematics

Making fuzzy description logic more general. (English) Zbl 1094.03014
Summary: A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfiability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Łukasiewicz t-norm some stronger results are obtained.

MSC:
 03B52 Fuzzy logic; logic of vagueness
Full Text:
References:
 [1] Areces, C., Logic engineering—the case of description and hybrid logics, thesis, (2000), ILLC University Amsterdam [2] F. Baader, et al. (Eds.), The Description Logic Handbook—Theory, Interpretation and Applications, Cambridge University Press, Cambridge, 2003. [3] P. Bonatti, A. Tettamanzi, Some complexity results on fuzzy description logics, Proc. Internat. Workshop on Fuzzy Logic and Applications (WILF’03), Napoli, 2003. · Zbl 1128.68491 [4] Borgida, A., On the relative expressiveness of description logics and predicate logics, Artif. intell., 82, 353-367, (1996) [5] Cignoli, R.; Esteva, F.; Godo, L.; Torrens, A., Basic logic is the logic of continuous t-norms and their residua, Soft comp., 4, 106-112, (2000) [6] Hájek, P., Metamathematics of fuzzy logic, (1998), Kluwer Dordrecht · Zbl 0937.03030 [7] P. Hájek, P. Cintula, Conservative extensions and witnessed models of fuzzy theories, submitted. [8] Z. Haniková, Mathematical and metamathematical properties of fuzzy logic, Ph.D. Thesis, see www.cs.cas.cz (people, Hanikova, papers). [9] Hanikova, Z., A note on the complexity of individual t-algebras, Neural network world, 12, 453-460, (2002) [10] S. Hölldebler, T.D. Khang, H.P. Störr, A fuzzy description logic with hedges as concept modifiers, TU Dresden, (web). [11] Knowledgeweb, www.kw.man.ac.uk/doc/VUM-d251.pdf [12] H.L. Larsen, J.F. Nilsson, Fuzzy querying in a concept object algebraic datamodel, FQAS 1996, Roskilde, pp. 75-87. [13] Mundici, D., Satisfiability in many-valued sentential logic is NP-complete, Theoret. comput. sci., 52, 145-153, (1987) · Zbl 0639.03042 [14] Schmidt-Schauss, M.; Smolka, G., Attributive concept descriptions with complements, Artif. intell., 48, 1-26, (1991) · Zbl 0712.68095 [15] U. Straccia, A fuzzy description logic, Proc. AAAI’98, Madison, Wisconsin, (on web). · Zbl 1171.68754 [16] Straccia, U., Reasoning with fuzzy description logics, Artif. intell. res., 14, 137-166, (2001) · Zbl 0973.03034 [17] C.B. Tresp, R. Molitor, A description logic for vague knowledge, RWTH-LTCS Report 98-01, Aachen University of Technology. [18] J. Yen, Generalizing term subsumption languages to fuzzy logic, IJCAI’91, pp. 472-477. · Zbl 0742.68062
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.