×
尼基尔·迪内什;阿拉文·乔希;李因苏普;奥列格·索科尔斯基

在监管合规性检查中对法律的条件和例外进行推理。 （英语） Zbl 1143.03351号

van der Meyden，Ron（编辑）等人，《计算机科学中的Deontic逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。人工智能课堂讲稿，110-124（2008）。
摘要：本文考虑了检查组织是否符合法规体系的问题。一致性被认为是一个跟踪检查问题——规则用一个逻辑来表示，该逻辑根据代表组织操作的抽象跟踪或运行进行评估。我们专注于设计一个逻辑来表示监管的问题。
监管文本中的一个常见现象是，句子在条件或例外情况下指代他人。我们鼓励规范的正式表示，以适应声明之间的此类引用。然后，我们扩展线性时态逻辑，允许语句引用其他语句。结果逻辑的语义是通过结合Reiter的默认逻辑和Kripke的真理理论的技术来定义的。
关于整个系列，请参见[Zbl 1142.03005号].

引用于6文件

MSC公司：

03B80号 逻辑的其他应用
03B44号 时间逻辑
03B60号 其他非经典逻辑
90B70型 组织理论，运筹学中的人力规划

软件：

自旋蛋白
PDF格式BibTeX公司 XML格式引用
\textit{N.Dinesh}等人，Lect。注释计算。科学。5076、110-124（2008年；Zbl 1143.03351）
全文： 内政部 链接

参考文献：

[1] 美国食品和药物管理局：《联邦法规》，http://www.gpoacess.gov/cfr/index.html
[2] Abrahams，A.：开发和执行电子商务应用程序。剑桥大学博士论文（2002年）
[3] Breaux，T.D.，Vail，M.W.，Anton，A.I.：实现法规遵从性：提取权利和义务，使要求与法规保持一致。摘自：第14届IEEE国际需求工程会议（2006年）会议记录
[4] Giblin，C.，Liu，A.，Muller，S.，Pfitzmann，B.，Zhou，X.：以逻辑模型表示的规则（REALM）。收录：Moens，M.F.，Spyns，P.（编辑）《法律知识和信息系统》（2005年）
[5] Ross，A.：指令和规范。Routege和Kegan Paul（1968年）
[6] Boella，G.，van der Torre，L.：等级规范体系中的权限和义务。附：第九届国际人工智能与法律会议记录（2003年）·Zbl 1070.68622号
[7] Reiter，R.，默认推理的逻辑，非单调推理读物，68-93（1987），旧金山：摩根·考夫曼出版社，旧金山
[8] McCarty，L.T.：法律话语的语言——即基本特征。In:ICAIL会议记录（1989）
[9] 塞尔戈特，M。；萨德里，F。；科瓦尔斯基，R。；克里瓦切克，F。；P.哈蒙德。；Cory，H.，《英国国籍作为逻辑程序》，《ACM通信》，29，5，370-386（1986）·数字对象标识代码：10.1145/5689.5920
[10] Kripke，S.，真理理论大纲，《哲学杂志》，72，690-716（1975）·兹比尔0952.03513 ·doi:10.2307/2024634
[11] Dinesh，N.、Joshi，A.、Lee，I.、Sokolsky，O.：基于逻辑的监管合规性检查。摘自：第14届蒙特雷研讨会会议记录（2007年）
[12] Bench-Capon，T.、Robinson，G.、Routen，T.和Sergot，M.：法律中大规模应用的逻辑编程：补充福利立法的形式化。摘自：第一届国际人工智能与法律会议记录（1987年）
[13] Holzmann，G.，Spin模型检查器，IEEE Trans。软件工程，23，5，279-295（1997）·doi:10.1109/32.588521
[14] Makinson博士。；van der Torre，L.，输入/输出逻辑，《哲学逻辑杂志》，29，383-408（2000）·Zbl 0964.03002号 ·doi:10.1023/A:1004748624537
[15] Makinson，D.，van der Torre，L.：输入/输出角度的权限。《哲学逻辑杂志》32（4）（2003）·Zbl 1028.03017号
[16] 普拉肯，H。；Sergot，M.，《与义务相反》，Studia Logica，57，1，91-115（1996）·Zbl 0873.03025号 ·doi:10.1007/BF00370671
[17] 马库斯，R.B.：反复道义模式。心灵75（300）（1966）
[18] Sistla，A.P。；Clarke，E.M.，命题线性时序逻辑的复杂性，ACM，32733-749（1985）·Zbl 0632.68034号 ·数字对象标识代码：10.1145/3828.3837
[19] Dinesh，N.、Joshi，A.、Lee，I.、Sokolsky，O.：监管合规性检查的默认时序逻辑。技术报告MS-CIS-08-07，宾夕法尼亚大学（2008）
[20] 鲁丁，W.：真实与复杂分析。麦格劳-希尔图书公司（1987）·Zbl 0925.00005
[21] Vardi，M.：关系查询语言的复杂性。收件人：STOC（1982）
[22] Lakemeyer，G.，Levesque，H.：走向默认逻辑的公理系统。摘自：AAAI会议记录（2006年）
[23] Halpern，J.，Lakemeyer，G.：多智能体只知道。逻辑与计算杂志11（1）（2001）·Zbl 0984.03016号
[24] Fitting，M.：逻辑程序的Kripke/Kleene语义。逻辑程序设计杂志2（1985）·Zbl 0589.68011号
[25] Monteiro，L.，Porto，A.：上下文逻辑编程语言。In:Apt，K.，de Bakker，J.，Rutten，J.（编辑）《逻辑编程语言：约束、函数和对象》（1993）·Zbl 0832.68015号
[26] Dinesh，N.、Joshi，A.、Lee，I.、Sokolsky，O.：检查监管合规性的痕迹。摘自：运行时验证研讨会会议记录（2008年）·Zbl 1143.03351号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。