𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal approaches to rule-based systems in medicine: The case of CADIAG-2

✍ Scribed by Agata Ciabattoni; David Picado Muiño; Thomas Vetterlein; Moataz El-Zekey


Book ID
119261105
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
359 KB
Volume
54
Category
Article
ISSN
0888-613X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A formal approach to the design of featu
✍ Mieczyslaw M. Kokar; Zbigniew Korona 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a