×

Some complexity results on fuzzy description logics. (English) Zbl 1128.68491

Di Gesù, Vito (ed.) et al., Fuzzy logic and applications. 5th international workshop, WILF 2003, Naples, Italy, October 9–11, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-31019-3/pbk). Lecture Notes in Computer Science 2955. Lecture Notes in Artificial Intelligence, 19-24 (2006).
Summary: We present and discuss some novel and somewhat surprising complexity results for a basic but significant fuzzy description logic (DL) which extends the classical \(\mathcal{ALL}\) language. In particular we show that checking the consistency of a concept or a KB in fuzzy DLs has a complexity which jumps from linear-time to EXPTIME-complete, while the subsumption problem is always (at least) as hard as in crisp DLs.
For the entire collection see [Zbl 1088.68005].

MSC:

68T27 Logic in artificial intelligence
68Q25 Analysis of algorithms and problem complexity
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, implementation and applications, Cambridge (2003) · Zbl 1058.68107
[2] Butnariu, D., Klement, E.P., Zafrany, S.: On triangular norm-based propositional fuzzy logics. Fuzzy Sets and Systems 69, 241–255 (1995) · Zbl 0844.03011 · doi:10.1016/0165-0114(94)00172-4
[3] Navara, M.: Satisfiability in fuzzy logics. Neural Networks World 10(5), 845–858 (2000)
[4] Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001) · Zbl 0973.03034
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.