研究人员开发了一个计算伦理框架，旨在确保人工智能系统遵守伦理准则，特别是在心理健康数字表型分析等敏感领域。该框架使用义务时态逻辑形式化伦理要求，并采用“伦理代理”来验证合规性。一项使用金融数据进行心理健康分析的案例研究表明，该框架能够通过基于反例的验证（使用 Z3 SMT 求解器）来识别和防止伦理违规。 AI
影响 实现对人工智能系统进行持续的、机器可验证的伦理检查，超越了静态合规。
排序理由 学术论文，提出了一种新颖的人工智能伦理计算框架。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
