| Summary: | Cardio Vascular Disease (CVD) also known as heart and circulatory disease comprises all the illnesses of the heart and the circulatory system, namely coronary heart disease, angina, heart attack, congenital heart disease or stroke. CVDs are, nowadays, one of the main causes of death. Indeed, this fact reveals the centrality of prevention and how important is to be aware on these kind of situations. Thus, this work will focus on the development of a decision support system to help to prevent these events from happening, centred on a formal framework based on Mathematical Logic and Logic Programming for Knowledge Representation and Reasoning, complemented with a Case Based Reasoning approach to computing that caters to the handling of incomplete, unknown or even self-contradictory information or knowledge.
|
|---|