This paper presents medical knowledge representation of data provided within Clinical Practice Guidelines for Heart Failure. The formalization is provided in order to support taking decisions on an appropriate treatment strategy for a specific patient. An intuitive and efficient mechanism of medical knowledge formalization, called extended Timed Transition Diagram (eTTD), is used to represent acquired medical knowledge. The presented models can be used to help students in their training as well as to support physicians with their decision-making tasks.
Keywords: Knowledge representation; decision-making; medical decision support; medical processes; procedural knowledge modelling.