BriefGPT.xyz
Ask
alpha
关键词
legalruleml
搜索结果 - 2
自动规范推理中从 LegalRuleML 到 TPTP 的桥梁(扩展版)
本文提出了一种基于 TPTP 格式的伦理多元化推理语言,并提供了 LegalRuleML 与该语言之间的翻译模式,基于该模式提出了一种灵活的自动化伦理推理架构。
PDF
2 years ago
MM
使用 LegalRuleML 实现推理
本文介绍了将使用 LegalRuleML 表述的法规转化为一种模态弱化逻辑的方法,以实现自动化合规检查。
PDF
7 years ago
Prev
Next