Credibilistic satisfiability and credibilistic entailment

MaRDI QIDQ5389281zbMATH OpenFDO

Authors Xiang Li, Hau-San Wong

Publication date 26 April 2012

zbMATH Keywords

satisfiabilitymaximum entropy principleentailmentconditional formulacredibilistic logic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Many-valued logic (03B50) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• Foundation of credibilistic logic
• Fuzzy conditional logic
• Credibilistic programming. An introduction to models and applications
• Credibility in fuzzy inference systems
• scientific article; zbMATH DE number 2220123

Cited in

(2)

• Ticket Entailment is decidable
• Foundation of credibilistic logic

This page was built for publication: Credibilistic satisfiability and credibilistic entailment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5389281)