On the (fuzzy) logical content of CADIAG-2

DOI10.1016/J.FSS.2009.09.011MaRDI QIDQ983067zbMATH OpenOpenAlexFDO

Authors Thomas Vetterlein, Agata Ciabattoni

Publication date 28 July 2010

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2009.09.011

zbMATH Keywords

t-norm based logicsfuzzy expert systems in medicinesequent-style calculi

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• A probabilistic interpretation of the medical expert system CADIAG-2
• Bilattice CADIAG-II: theory and experimental results
• Formal approaches to rule-based systems in medicine: the case of CADIAG-2
• Publication:4506415
• The consistency of the CADIAG-2 knowledge base: a probabilistic approach

Cites work

• scientific article; zbMATH DE number 1341466 (Why is no real title available?)
• scientific article; zbMATH DE number 1354791 (Why is no real title available?)
• scientific article; zbMATH DE number 2042614 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Fuzzy sets
• Metamathematics of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• Residuated fuzzy logics with an involutive negation
• Untersuchungen über das logische Schliessen. I

Cited in

(14)

• From semantic games to provability: the case of Gödel logic
• A probabilistic interpretation of the medical expert system CADIAG-2
• Plausible reasoning and graded information: a unified approach
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• The consistency of the CADIAG-2 knowledge base: a probabilistic approach
• MTL-algebras arising from partially ordered groups
• scientific article; zbMATH DE number 1508975 (Why is no real title available?)
• Differential diagnosis of dementia in an argumentation framework
• Adjoint negations, more than residuated negations
• Reasoning with graded information: the case of diagnostic rating scales in healthcare
• Measuring and repairing inconsistency in knowledge bases with graded truth
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Formal approaches to rule-based systems in medicine: the case of CADIAG-2
• Bilattice CADIAG-II: theory and experimental results

This page was built for publication: On the (fuzzy) logical content of CADIAG-2

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