论文信息 - What does mathematical fuzzy logic offer to description logic?

What does mathematical fuzzy logic offer to description logic?

Abstract Continuous t -norm based fuzzy predicate logic is surveyed as a generalization of classical predicate logic; then a kind of fuzzy description logic based on our fuzzy predicate logic is briefly described as a powerful but still decidable formal system of description logic dealing with vague (imprecise) concepts.

Petr Hájek

[1] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[2] Umberto Straccia,et al. A Fuzzy Description Logic , 1998, AAAI/IAAI.

[3] Carlos Areces,et al. Logic Engineering. The Case of Description and Hybrid Logics , 2000 .

[4] Piero A. Bonatti,et al. Some Complexity Results on Fuzzy Description Logics , 2003, WILF.

[5] John Yen,et al. Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

[6] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[7] Alexander Borgida,et al. On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[8] Lluis Godo,et al. Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[9] Christopher Tresp,et al. A Description Logic for Vague Knowledge , 1998, ECAI.

[10] Petr Hájek,et al. Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..