×

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
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Areces, C., Logic engineering—the case of description and hybrid logics, Thesis (2000), ILLC University: ILLC University Amsterdam
[2] F. Baader, et al. (Eds.), The Description Logic Handbook—Theory, Interpretation and Applications, Cambridge University Press, Cambridge, 2003.; 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.; 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) · Zbl 1506.68132
[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: Kluwer Dordrecht · Zbl 0937.03030
[7] P. Hájek, P. Cintula, Conservative extensions and witnessed models of fuzzy theories, submitted.; 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; Z. Haniková, Mathematical and metamathematical properties of fuzzy logic, Ph.D. Thesis, see www.cs.cas.cz
[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).; 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; 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.; 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).; 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.; 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.; 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. 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.