Making fuzzy description logic more general

@article{Hjek2005MakingFD,
  title={Making fuzzy description logic more general},
  author={Petr H{\'a}jek},
  journal={Fuzzy Sets Syst.},
  year={2005},
  volume={154},
  pages={1-15}
}
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfiability, 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. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 143 CITATIONS, ESTIMATED 99% COVERAGE

Resolution Strategies for Fuzzy Description Logic

VIEW 18 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics

  • Linh Anh Nguyen
  • Mathematics, Computer Science
  • IEEE Transactions on Fuzzy Systems
  • 2019
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Chapter XII : Fuzzy Description Logics

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Consistency reasoning in lattice-based fuzzy Description Logics

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Fuzzy DLs over Finite Lattices with Nominals

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Gödel Negation Makes Unwitnessed Consistency Crisp

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Undecidability of Fuzzy Description Logics

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2005
2019

CITATION STATISTICS

  • 39 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES

et al

  • F. Baader
  • (Eds.), The Description Logic Handbook—Theory, Interpretation andApplications, Cambridge University Press, Cambridge
  • 2003
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Metamathematics of Fuzzy Logic

  • Petr Hájek
  • Mathematics, Computer Science
  • Trends in Logic
  • 1998
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Reasoning within Fuzzy Description Logics

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Conservative extensions and witnessed models of fuzzy theories

  • P. Hájek, P. Cintula
  • submitted. P. Hájek / Fuzzy Sets and Systems 154
  • 2005
VIEW 1 EXCERPT

Borgida , On the relative expressiveness of description logics and predicate logics

  • A.
  • Artif . Intell .
  • 2003

A note on the complexity of individual t-algebras

  • Z. Hanikova
  • Neural Network World 12
  • 2002
VIEW 2 EXCERPTS