用于人工智能伦理正式验证的权责时态逻辑

本研究解决了人工智能系统中伦理行为验证的需求，提出了一种基于权责逻辑的形式化方法，旨在定义和评估AI系统的伦理行为。通过融入时态算子与公理和定理，该方法有效地捕捉了公平性和可解释性等伦理要求，实证研究表明该方法能够识别现实世界AI应用中的潜在伦理问题。