Abstrakt. Vi introducerar PriCL: den första ramen för att uttrycka och automatiskt resonera om integritet rättspraxis genom prejudikat. PriCL är parametriskt i en underliggande logik för att uttrycka världsegenskaper, och ger stöd för domstolsavgöranden, deras motivering, de omständigheter under vilka motiveringen gäller samt domstolshierarkier. Ramen erbjuder dessutom ett nära samband mellan rättspraxis om integritet och begreppet normer som ligger till grund för befintlig regelbaserad integritetsforskning. När det gäller automatisering identifierar vi de viktigaste resonemangsuppgifterna för integritetsskyddsärenden, t.ex. destillering av juridiska tillstånd eller utvinningsnormer. För att lösa dessa uppgifter tillhandahåller vi generiska algoritmer som har särskilt effektiva insikter inom en uttrycksfull underliggande logik. Slutligen tar vi fram en definition av deducerbarhet baserad på juridiska begrepp och föreslår därefter en motsvarande karakterisering i termer av logisk tillfredsställelse.
Backes och Al. REF presenterar en ram för resonemang om rättspraxis om integritet.
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}