法律规则ML swMATH ID: 30411 软件作者： Lam、Ho-Pun；穆斯塔法·哈什米；塔拉·阿桑；圭多总督府；莫妮卡·帕尔米拉尼；阿德里安·帕施克（Adrian Paschke）；亚当·怀纳 描述： 使用LegalRuleML进行推理。为了自动化验证过程，需要将用自然语言编写的监管规则翻译成机器可以理解的格式。然而，现有的形式主义都不能完全代表法律规范中出现的要素。例如，大多数形式主义都不提供捕获道义效应行为的功能，这是自动符合性检查的一个重要方面。本文提出了一种方法，用于将使用legalruleml表示的法律规范转换为模式可解释逻辑的变体（反之亦然），以便使用legalruleml表示的法律声明可以转换为机器可读格式，可以根据客户的偏好进行理解和推理。 主页： https://arxiv.org/abs/1711.06128 关键词： 道义逻辑;模态可解逻辑;法律推理;法律规则ML;商业合同 相关软件： github;精益;LogiKEy公司;PLM公司;嵌入模式;狮子座III;LeoPARD公司;阿格达;大锤;伊莎贝尔/HOL;Nitpick公司;德洛雷斯;DR-预测;旋转（swrl）;AnaCon公司;Uppaal公司;宗派 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用LegalRuleML进行推理。 Zbl 1486.68184号Lam、Ho-Pun;穆斯塔法·哈什米 2019 全部的 前5名14位作者引用 1 塞萨雷·巴托里尼 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 约翰·卡米莱里。 1 圭多州长 1 穆斯塔法·哈什米 1 Lam、Ho-Pun 1 加布里埃尔·伦齐尼 1 米歇尔·马托尼 1 莫妮卡·帕尔米拉尼 1 家长，Xavier 1 利维奥·罗巴尔多 1 阿里安娜·罗西 1 杰拉尔多·施奈德 1 范德托雷，Leendert W.N。 4篇连载文章中引用 1 人工智能 1 逻辑、语言与信息杂志 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 5 数学逻辑和基础（03-XX） 5 计算机科学（68至XX） 按年份列出的引文