Resolution strategies for fuzzy description logic

New Dimensions in Fuzzy Logic and Related Technologies - Proceedings of the 5th EUSFLAT 2005 Conference

Volumn 2, Issue , 2007, Pages 27-36

  Habiballa, Hashim ^a  

^a UNIVERSITY OF OSTRAVA   (Czech Republic)

Author keywords

Fuzzy Description Logic; Fuzzy inference; Resolution Strategies

Indexed keywords

APPLICATION-ORIENTED; EXPERIMENTAL COMPARISON; FUZZY DESCRIPTION LOGIC; FUZZY PREDICATE LOGIC; NON-CLAUSAL; RESOLUTION PRINCIPLE; RESOLUTION STRATEGY;

FORMAL LANGUAGES; FUZZY INFERENCE; FUZZY LOGIC;

DATA DESCRIPTION;

EID: 55249101587     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Bachmair, L., Ganzinger, H. A theory of resolution. Technical report: Max-Planck-Institut, 1997
2. Bachmair, L., Ganzinger, H. Resolution theorem proving. In Handbook of Automated Reasoning, MIT Press, 2001
3. Baader et col. (eds.). The Description Logic Handbook - Theory, Interpretation and Applications. Cambridge Univ. Press, 2003
4. Dukić, N., Avdagić, Z. Fuzzy Functional Dependency and the Resolution Principle. In Informatica, Vilnius: Lith. Acad. Sci. (IOSPRESS), 2005, Vol.16, No. 1, pp. 45 - 60, 2005 (Pubitemid 40900335)
5. Habiballa, H. Non-clausal resolution - theory and practice. Research report: University of Ostrava, 2000, http://www.volny.cz/habiballa/files/gerds. pdf
6. Habiballa, H., Novák, V. Fuzzy General Resolution. In Proc. of Intl. Conf. Aplimat 2002. Bratislava, Slovak Technical University, 2002. pp. 199-206, also available as research rep. at http://ac030.osu.cz/irafm/ps/rep47. ps
7. Habiballa, H. Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation). In Proc. of Intl. Conf. The Logic of Soft Computing IV, Ostrava, pp. 51 - 54, 2005, also available as research rep. at http://ac030.osu.cz/irafm/ps/rep70.ps.gz
8. 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
9. Habiballa, H. Fuzzy Predicate Logic Generalized Resolution Deductive System. Technical Report, Institute for Research and Application of Fuzzy Modeling, University of Ostrava, 2006
10. Hájek, P. Metamathematics of fuzzy logic. Kluwer Academic Publishers - Dordrecht, 2000
11. Hájek, P. Making fuzzy description logic more general. Fuzzy Sets and Systems 154(2005), pp. 1-15 (Pubitemid 40710184)
12. Novák, V., Perfilieva, I., Močkoř, J. Mathematical principles of fuzzy logic. Kluwer, 1999
13. Straccia, U. Reasoning within Fuzzy Description Logics. J. of AI Research 14 (2001), pp. 137-166.