可推翻演算

深度分析

動態規範推理與可推翻演算：將規範納入代理規劃的守門條件

研究指出，AI與人互動時要既懂人類規範又能在規劃中遵守。本文提出一個處理動態規範衝突的可推翻演算，從自然語言的規範證詞推論個別的規範信念，並將推論結果作為規劃的守門條件。理論證明一致性並以SocialBot對話實驗驗證其在隱私情境的應用價值。