BriefGPT - AI 论文速递
·
利用论证理论和义务逻辑解释非单调规范推理
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本文介绍了使用Isabelle / HOL中的浅层语义嵌入实现规范条件推理的结果。重点是Aqvist的E系统及其扩展。该方法可用于验证道德对应和评估伦理论证。同时，还提出了一个人口伦理学中的悖论的计算机编码。
🎯
关键要点
- 使用Isabelle / HOL中的浅层语义嵌入实现规范条件推理的结果。
- 重点是Aqvist的E系统及其扩展。
- 该方法可用于自动验证道德对应和相关问题。
- 提供了人口伦理学中一个悖论的计算机编码。
- 探讨编码是否影响令人讨厌的结论的吸引力和说服力。
➡️
