图书馆借阅规则中的道义悖论：以Flint为例的研究

Flint是由Van Doesburg等人开发的、用于捕获和比较规范来源（如法律或法规）不同解释的基于框架且以行动为中心的语言。本研究的目的是调查Flint是否易受规范系统中已知发生的悖论影响。图书馆借阅规则的例子——由Sergot首次提出以论证在法律知识表示中纳入道义概念的必要性——是此分析的核心。假设是Flint能够表达Sergot的图书馆例子而不出现道义悖论（最显著的是：Chisholm悖论）。本研究是朝着对Flint作为一种语言的表现力进行形式化分析的第一步，并增进了对Flint与现有道义逻辑之间关系的理解。