Reasoning with Inconsistency-tolerant Fuzzy Description Logics

Norihiro Kamide

2022

Abstract

An inconsistency-tolerant fuzzy description logic is introduced and a translation from this logic to a standard fuzzy description logic is constructed. A theorem for embedding the proposed inconsistency-tolerant fuzzy description logic into the standard fuzzy description logic is proven via this translation. A relative decidability theorem for the inconsistency-tolerant fuzzy description logic w.r.t. the standard fuzzy description logic is also proven using this embedding theorem. These proposed logic and translation are intended to effectively handle inconsistent fuzzy knowledge bases. By using the translation, the previously developed algorithms and methods for the standard fuzzy description logic can be re-purposed for appropriately handling inconsistent fuzzy knowledge bases that are described by the proposed logic. Furthermore, an inconsistency-tolerant fuzzy temporal next-time description logic is obtained from the inconsistency-tolerant fuzzy description logic by adding a temporal next-time operator. Similar results as those for the inconsistency-tolerant fuzzy description logic are also obtained for this temporal extension.

Paper Citation

in Harvard Style

Kamide N. (2022). Reasoning with Inconsistency-tolerant Fuzzy Description Logics. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, ISBN 978-989-758-547-0, pages 63-74. DOI: 10.5220/0010771200003116

in Bibtex Style

@conference{icaart22,
author={Norihiro Kamide},
title={Reasoning with Inconsistency-tolerant Fuzzy Description Logics},
booktitle={Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,},
year={2022},
pages={63-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010771200003116},
isbn={978-989-758-547-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,
TI - Reasoning with Inconsistency-tolerant Fuzzy Description Logics
SN - 978-989-758-547-0
AU - Kamide N.
PY - 2022
SP - 63
EP - 74
DO - 10.5220/0010771200003116