PriCL：创建一个先例隐私判例法推理框架
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law
摘要：
我们介绍PriCL：第一个框架表达和自动推理隐私判例法的先例。PriCL在表达世界属性的底层逻辑中是参数化的，并为法院判决、其理由、理由适用的情况以及法院层次结构提供支持。此外，该框架提供了隐私判例法和规范的概念，现有的基于规则的隐私研究之间的紧密联系。在自动化方面，我们确定了隐私案件的主要推理任务，如推断法律许可或提取规范。为了解决这些任务，我们提供了通用算法，具有特别有效的实现在一个表达的底层逻辑。最后，我们推导出一个基于法律概念的演绎的定义，并随后提出了一个等价的刻画的逻辑可满足性。
英文摘要：
We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connection between privacy case law and the notion of norms that underlies existing rule-based privacy research. In terms of automation, we identify the major reasoning tasks for privacy cases such as deducing legal permissions or extracting norms. For solving these tasks, we provide generic algorithms that have particularly efficient realizations within an expressive underlying logic. Finally, we derive a definition of deducibility based on legal concepts and subsequently propose an equivalent characterization in terms of logic satisfiability.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
