| Publication type: |
Article in Proceedings |
| Author: |
Lutz Schröder, Dirk Pattinson |
| Editor: |
Toby Walsh |
| Title: |
Description Logics and Fuzzy Probability |
| Book / Collection title: |
International Joint Conference on Artificial Intelligence, IJCAI 2011 |
| Year published: |
2011 |
| Publisher: |
AAAI Press, Menlo Park, CA |
| Abstract: |
Uncertainty and vagueness are pervasive phenomena in real-life
knowledge. They are supported in extended description logics
that adapt classical description logics to deal with numerical
probabilities or fuzzy truth values. While the two concepts are
distinguished for good reasons, they combine in the notion of
probably, which is ultimately a fuzzy qualification of
probabilities. Here, we develop existing propositional logics of
fuzzy probability into a full-blown description logic, and we show
decidability of several variants of this logic under Lukasiewicz
semantics. We obtain these results in a novel generic framework f
fuzzy coalgebraic logic; this enables us to extend our
results to logics that combine crisp ingredients including standard
crisp roles and crisp numerical probabilities with fuzzy roles and
fuzzy probabilities. |
| PDF Version: |
http://informatik.uni-bremen.de/~lschrode/papers/FuzzyCDL.pdf |
| Keywords: |
fuzzy logic coalgebra probability expectation lukasiewicz semantics complexity |
| Note / Comment: |
To appear. Accepted for oral and poster presentation |
| Status: |
Reviewed |
| Last updated: |
05. 04. 2011 |
