弱约束 ASP 中的行为逻辑悖论
原文中文,约400字,阅读约需1分钟。发表于: 。AI 技术的崛起在面对法律、社会和伦理规范敏感的各种应用中需要决策支持,而规范推理是德意志逻辑的领域,在解决著名的基准问题(德意志悖论)方面存在挑战,并且缺乏高效的计算工具。本文使用 Answer Set Programming (ASP) 来解决这些不足,并展示了如何利用弱约束编码和解决几个著名的德意志悖论。通过抽象和概括这种编码,我们提出了一种将 ASP...
本文介绍了使用Answer Set Programming (ASP) 解决AI在敏感应用中的决策支持问题。通过弱约束编码和解决德意志悖论等问题,提出了一种将ASP与弱约束组合的翻译规范系统的方法。在“道德”版Pac-man游戏中的应用表明,该方法在性能和符合伦理要求方面表现良好。