Abstrakt. I detta dokument undersöker vi användningen av åtgärdsspråk på hög nivå för att representera och resonera om etiskt ansvar inom målspecifikationsområden. Först presenterar vi en förenklad Eventanalys formulerad som ett logiskt program under den stabila modellen semantik för att representera situationer inom Svarsset-programmering. För det andra introducerar vi en kausalitetsmodell som gör det möjligt för oss att använda en svarslösning för att resonera över agentens etiska ansvar. Vi utvidgar sedan och testar detta ramverk mot trolleyproblemet och läran om dubbel effekt. Det övergripande syftet med dokumentet är att föreslå ett allmänt och anpassningsbart formellt språk som kan användas under en rad olika etiska scenarier där agentens ansvar måste undersökas och deras val avgöras. Vår grundläggande ambition är att förskjuta bördan av det moraliska resonemanget från programmeraren till själva programmet, flytta bort från den nuvarande beräkningsetiken som alltför lätt bäddar in det moraliska resonemanget i beräkningsmotorerna och därmed mata atomära svar som inte verkligen representerar den underliggande dynamiken.
REF använder på liknande sätt logisk programmering (i detta fall ASP) för att specificera principen om dubbla effekter och utvärdera på vagnsscenarier som beskrivs med hjälp av händelsekalkylen.
Modelling Moral Reasoning and Ethical Responsibility with Logic Programming
{'venue': 'LPAR', 'journal': None, 'mag_field_of_study': ['Computer Science']}