Abstrakt. Kliniska vägar är vårdplaner som specificerar viktiga steg i vården av patienter med ett specifikt kliniskt problem, vanligtvis en kronisk sjukdom. En väg innehåller rekommendationer av läkemedel som förskrivs i olika stadier av vårdplanen. För patienter med tre eller fler kroniska sjukdomar (så kallade multimorbiditeter) måste flera vägar appliceras tillsammans. Ett vanligt problem för sådana patienter är den negativa interaktionen mellan läkemedel som ges för olika sjukdomar. I detta dokument föreslås en lösning för att undvika läkemedelskonflikter för patienter med multimorbiditeter genom användning av formella metoder. Vi introducerar begreppet en farmaceutisk graf för att fånga läkemedel associerade till olika stadier av en väg. Vi undersöker sedan användningen av en optimerad SMT-lösare (Z3) för att snabbt hitta uppsättningen mediciner med minimalt antal och svårighetsgrad av konflikter som antas vara säkrast. Vi utvärderar förhållningssättet till ett välkänt fall av en äldre patient med fem multimorbiditeter.
I REF tittar författarna på läkemedelskonflikter specifikt och använder SMT-lösaren Z3 för att hitta konflikterna och föreslår automatiskt alternativ baserat på en uppfattning om poäng i samband med läkemedel.
Avoiding Medication Conflicts for Patients with Multimorbidities
{'venue': 'IFM', 'journal': None, 'mag_field_of_study': ['Computer Science']}