logic-pluralistic | BriefGPT

关键词logic-pluralistic

搜索结果 - 1

自动规范推理中从 LegalRuleML 到 TPTP 的桥梁（扩展版）
本文提出了一种基于 TPTP 格式的伦理多元化推理语言，并提供了 LegalRuleML 与该语言之间的翻译模式，基于该模式提出了一种灵活的自动化伦理推理架构。
PDF2 years ago