Contact:
Wiener Wissenschafts-, Forschungs- und Technologiefonds
Schlickgasse 3/12
A-1090 Wien
Tel: +43 1 402 31 43 - 10
Fax: +43 1 402 31 43 - 20
office{at}mail.wwtf.at
www.wwtf.at
Fuzzy Logic: from Mathematics to Medical Applications
| Project type: | Research Project |
| Programme: | Mathematics and... |
| Call: | Mathematik und … Call 2007 |
| Start: | 01.04.2008 |
| Duration: | 4,00 years |
| Grant awarded: | 444.000 € |
| Keywords: | t-norms based logics, automated deduction, monadic fragment, rule-based systems in medicine, knowledge representation, fuzzy logic |
Agata Ciabattoni
Vienna University of Technology
Department of Discrete Mathematics and Geometry
| Project partners: | Matthias Baaz (Vienna University of Technology, Department of Discrete Mathematics and Geometry) Klaus-Peter Adlassnig (Medical University of Vienna, Core Unit for Medical Statistics and Informatics) Thomas Eiter (Vienna University of Technology, Institute of Information Systems, Knowledge Based Systems Group) |
The last decades have witnessed a considerable development of rule-based systems in
medicine with the purpose of assisting physicians in medical decision-making. Due to
the vague character of medical information, e.g., in observing symptoms or in
associating them with diseases, such systems must be able to process unsharp (i.e.,
fuzzy) information and derive approximate conclusions. The safety-critical nature of
such systems, however, requires the adoption of reliable engineering principles as a
solid foundation for system design. The proposed project aims to provide such
principles via a thorough mathematical analysis of the foundations of fuzzy rules. Our
investigation will focus on the well-known systems CADIAG 2 and 4, developed in
Vienna and integrated in the General Hospital (AKH).
