A complete fuzzy logical system to deal with trust management systems
Publication Type:
Journal ArticleSource:
Fuzzy Sets and Systems, Volume 159, Issue 10, p.1191--1207 (2008)Keywords:
Modal Fuzzy LogicThe coherence of Lukasiewicz assessments is NP-complete
Publication Type:
Journal ArticleSource:
International Journal of Approximate reasoning, Volume 51, Issue 3, p.294--304 (2010)Keywords:
Computational Complexity; NP-completenessNon-reversible betting games on fuzzy events: Complexity and algebra
Decidability of a Description Logic over infinite-valued Product Logic
Publication Type:
Conference PaperSource:
12th Conference on Principles of Knowledge Representation and Reasoning, KR 2010, AAAI Press, Toronto (Canada), p.203-213 (2010)Abstract:
This paper proves that validity and satisfiability of
assertions in the Fuzzy Description Logic based on infinite-valued
Product Logic with universal and existential quantifiers (which are
non-interdefinable) is decidable when we only consider quasi-witnessed
interpretations. We prove that this restriction is neither necessary for the validity
problem (i.e., the validity of assertions in the Fuzzy Description Logic
based on infinite-valued Product Logic is decidable) nor for the
positive satisfiability problem, because quasi-witnessed interpretations
are particularly adequate for the infinite-valued Product Logic.
We give an algorithm that reduces the problem of validity (and
satisfiability) of assertions in our Fuzzy Description Logic (restricted to
quasi-witnessed interpretations) to a semantic consequence problem, with
finite number of hypothesis, on infinite-valued propositional Product
Logic.
