BriefGPT - AI 论文速递
·
弱约束 ASP 中的行为逻辑悖论
💡
原文中文，约400字，阅读约需1分钟。
📝
内容提要
本文介绍了使用Answer Set Programming (ASP) 解决AI在敏感应用中的决策支持问题。通过弱约束编码和解决德意志悖论等问题，提出了一种将ASP与弱约束组合的翻译规范系统的方法。在“道德”版Pac-man游戏中的应用表明，该方法在性能和符合伦理要求方面表现良好。
🎯
关键要点
-
AI技术在法律、社会和伦理规范敏感应用中需要决策支持。
-
规范推理是德意志逻辑的领域，面临德意志悖论等挑战。
-
缺乏高效的计算工具来解决这些问题。
-
本文使用Answer Set Programming (ASP)来解决这些不足。
-
提出了一种将ASP与弱约束组合的方法论来翻译规范系统。
-
该方法在“道德”版Pac-man游戏中的应用表现良好，性能与相关作品相当，且更符合伦理要求。
➡️
