The article presents refutational resolution theorem proving system for Fuzzy Description Logic (FDL) based on general (non-clausal) resolution rule. It brings several new notions of refutation degree and proves its relation to provability degree in fuzzy predicate logic.

1.
Baader
, et col. (eds.). The Description Logic Handbook – Theory, Interpretation and Applications.
Cambridge Univ.
,
2003
.
2.
Habiballa
,
H.
 
Resolution Based Reasoning in Description Logic
. In
Proc. of Intl. Conf. ZNALOSTI 2006
,
Univ. of Hradec Kralove
,
2006
, also available as research rep. at http://ac030.osu.cz/irafm/ps/rep66.ps.gz.
Google Scholar
 
3.
Habiballa
,
H.
 Fuzzy Predicate Logic Generalized Resolution Deductive System.
Technical Report, Institute for Research and Application of Fuzzy Modeling
,
University of Ostrava
,
2006
.
Google Scholar
 
4.
Habiballa
,
H.
 Resolution principle and fuzzy logic. In
Fuzzy Logic
. Vol.
3
.
InTech
,
2012
.
https://doi.org/10.5772/36161
Google Scholar
Crossref
Search ADS
 
5.
Novák
,
V.
,
Perfilieva
,
I.
,
Močkoř
,
J.
 
Mathematical principles of fuzzy logic
.
Kluwer
,
1999
.
https://doi.org/10.1007/978-1-4615-5217-8
Google Scholar
Crossref
Search ADS
 
6.
Straccia
,
U.
 Reasoning within Fuzzy Description Logics.
J. of AI Research 14
(
2001
), pp.
137
–
166
.
Google Scholar
 
This content is only available via PDF.
© 2015 AIP Publishing LLC.
2015
AIP Publishing LLC
You do not currently have access to this content.