Core Concepts
færdXel 是一款基於邏輯編程的專家系統,旨在協助法律專業人士處理涉及違反丹麥交通法規的案件,並提供透明且可解釋的推理過程。
簡介
本文介紹 færdXel,這是一款專為協助法律專家處理涉及違反丹麥交通法規案件而設計的專家系統。færdXel 結合了邏輯編程技術和新穎的介面,允許使用者瀏覽其推理過程,從而確保系統的可信度。初步的經驗評估表明,這項工作非常有前景,並有可能成為支持丹麥法律部門專業人士的真實世界 AI 工具的基礎。
背景
法律領域似乎難以將數據驅動的人工智慧 (AI) 整合到其工作流程中。首先,在許多法律體系中,都要求對判決做出解釋,而先例並未明確說明解釋是否必須是判決的具體理由,還是僅僅是判決背後的一個可能理由。其次,法律體系傳統上是基於討論和論證的,這與只能提供明確答案而没有任何形式的正當理由的 AI 系統相衝突。克服這些問題的一種可能方法是回歸更傳統的 AI 形式,即專家系統的形式。
færdXel
færdXel 是一款旨在協助法律專家處理涉及違反丹麥交通法規案件的專家系統。具體來說,færdXel 會尋找支持被告違反丹麥交通法特定段落的論點,同時考慮到法律本身和可能相關的類似案件。færdXel 的目標不是做出任何決定,而是為那些實際上將做出決定的人員提供有意義和廣泛的意見,就像法律援助那樣。
將法律轉化為規則
推理系統通常由兩個部分組成:包含推理領域信息的知識庫和可以從知識庫中得出結論的推理引擎。在設計知識庫時,必須考慮到法律的制定方式與法律的通常應用方式之間的區別。法律通常以必須遵守的一些規則的形式制定;然而,法律論證更多地集中在某人是否違反了法律——這也是 færdXel 預計要解決的任務。
推理系統和可解釋性
færdXel 基於邏輯編程的經典原理。它的知識庫是用增強版的 Datalog 編寫的,並且它使用 SLD 解析作為其推理系統。færdXel 知識庫中的每個事實和規則都附帶一個示意性的自然語言翻譯。然後,可以使用 færdXel 在嘗試回答特定問題時創建的 SLD 反駁,以樹狀結構的形式為每個答案提供可能的解釋,並且 færdXel 提供了一個介面,可以使用提供的翻譯以使用者友好的方式瀏覽這些解釋。因此,使用者無需理解其內部語言即可檢查 færdXel 的論點和結論,儘管輸入 færdXel 的新信息(例如編輯有關特定案件的事實)需要這些知識。
介面
færdXel 的介面允許以可理解的方式顯示解釋,並允許使用者瀏覽它們。介面左側顯示為案件輸入的事實,右側顯示查詢的答案和解釋。使用者可以在左上角“插入事實”下的紅色框中輸入有關交通法案件的事實。事實是用 Datalog 編寫的,使用預定義的謂詞。輸入的事實存儲在系統中,並顯示在左側的藍色框中。按下底部的深藍色“查詢”按鈕將運行推理演算法,之後在右側的綠色框中顯示已找到的答案。點擊一個答案將選擇它,並將窗口右側替換為直接解釋列表(查詢生成的樹中根節點的子節點)。此時,右上角的黃色“返回”按鈕將變為活動狀態,允許使用者反轉在綠色框中執行的最後一個選擇。
評估和目標使用者
færdXel 已經向一組法律專家展示過。最初,這些專家持懷疑態度,表示擔心數據存在偏差、解釋不正確和結論不正確,但在更好地了解了系統的機制後,他們對該項目表示興奮。他們認為 færdXel 和類似的工具可以在許多領域提供巨大的幫助。他們還為提高可用性提供了必要的改進,主要是用 Datalog 輸入事實太困難——這是專家系統的一個眾所周知的普遍問題。在該工具可以提供幫助的領域,他們確定了四個潛在的最終使用者,他們將從 færdXel 中受益,以及每個組所需的改進。
結論和未來的工作
整個丹麥交通法已經被編碼到 færdXel 中,使其能夠使用 SLD 解析回答有關法律案件的查詢,並提供其答案背後的解釋。法律專家的早期評估表明,有多種合適的應用。該項目的下一步是通過將該程序應用於正在進行的法院案件並評估該工具和法官是否得出相同的判決,來對 færdXel 答案的合理性進行經驗評估。同時,我們正在探索如何提高 færdXel 論證懲罰的能力。丹麥交通法僅規定了對特定罪行的懲罰範圍,並規定了何時應“嚴厲”和“寬大”地進行懲罰的條件,大多數案件都滿足“嚴厲”和“寬大”懲罰的多項條件。為了解決這個問題,我們正在探索模糊邏輯的應用,將“嚴厲”和“寬大”視為可能懲罰領域中的模糊術語。最後,為了提高 færdXel 的可用性,我們正在探索使用大型語言模型將有關案件的自然書面語言轉換為該工具所需的 Datalog 格式作為輸入。