Complexity of fuzzy probability logics

• Autorzy: Hajek P. , Tulipani S.
• Języki publikacji: EN

Abstrakty

EN

The satisfiability problem for the logic FP() (fuzzy probability logic over ukasiewicz logic) is shown to be NP-complete; satisfiability in FP(P) (the same over the logic joining ukasiewicz and product logic) is shown to be in PSPACE.

Słowa kluczowe

EN

fuzzy logic; probability; computational complexity

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 45, nr 3
• Strony: 207--213
• Opis fizyczny: bibliogr.8 poz.

Twórcy

autor

Hajek P.

autor

Tulipani S.

• Institute of Computer Science Academy of Sciences of the Czech Republic 18207 Praque, Czech Republic,