Making Fuzzy Description Logic More General

0405476 - UIVT-O 330851 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Making Fuzzy Description Logic More General.
[Jak udělat deskripční logiku obecnější.]
Fuzzy Sets and Systems. Roč. 154, č. 1 (2005), s. 1-15. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR 1ET100300419
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * description logic * continuous t-norms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005

A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfability, 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 Lukasiewicz t-norm some stronger results are obtained.

Je prezentována verze fuzzy deskripční logiky založená na základní fuzzy predikátové logice BL.
Trvalý link: http://hdl.handle.net/11104/0125639