Abstrakt. I detta dokument föreslår vi en regelbaserad formalisering av behörighetskriterier för kliniska prövningar. Den regelbaserade formaliseringen genomförs genom att använda logiken programmeringsspråk Prolog. Jämfört med befintliga formaliseringar som mönsterbaserade och skriptbaserade språk, har den regelbaserade formaliseringen fördelarna med att vara deklarativ, uttrycksfull, återanvändbar och lätt att underhålla. Vår regelbaserade formalisering bygger på en allmän ram för behörighetskriterier som innehåller tre typer av kunskaper: 1) försöksspecifika kunskaper, 2) domänspecifika kunskaper och 3) gemensamma kunskaper. Denna ram gör det möjligt att återanvända flera delar av formaliseringen av kriterierna för stödberättigande. Vi har implementerat den föreslagna regelbaserade formaliseringen i SemanticCT, ett semantiskt aktiverat system för kliniska prövningar, som visar genomförbarheten av att använda vår regelbaserade formalisering av behörighetskriterier för att stödja patientrekrytering i kliniska prövningssystem.
SemanticCT REF gör det möjligt att formalisera behörighetskriterier med hjälp av Prolog-regler.
Rule-based formalization of eligibility criteria for clinical trials
{'venue': 'In Proceedings of the 14th Conference on Artificial Intelligence in Medicine(AIME', 'journal': None, 'mag_field_of_study': ['Computer Science']}