Abstrakt. Vi föreslår ett nytt fokus inom språkdesign där språk ger konstruktioner som inte bara beskriver beräkning av resultat, utan också ger förklaringar om hur och varför dessa resultat erhölls. Vi antar att om användarna ska förstå beräkningar som produceras av ett språk, att språket ska ge förklaringar till användaren. Som ett exempel på ett sådant förklaringsinriktat språk presenterar vi ett domänspecifikt språk för att förklara probabilistiskt resonemang, en domän som inte är väl förstådd av icke-experter. Vi visar DSL i flera steg. Baserat på en berättelse-berättande metafor av förklaringar, identifierar vi generiska konstruktioner för att bygga berättelser ur händelser, och få förklaringar genom att tillämpa berättelser på specifika exempel. Dessa generiska konstruktioner är sedan anpassade till den särskilda förklaringsdomänen för probabilistiskt resonemang. Slutligen utvecklar vi en visuell notation för att förklara det probabilistiska resonemanget.
I annat tidigare arbete har vi utvecklat en DSEL för att skapa förklaringar till probabilistiska resonemangsproblem REF.
A DSL for Explaining Probabilistic Reasoning
{'venue': 'In IFIP Working Conference on Domain-Specific Languages', 'journal': None, 'mag_field_of_study': ['Computer Science']}