標籤: 從矛盾到一致性AI模型中的邏輯對齊