規范(人工智能)
編輯在人工智能中可以從不同的角度考慮規范,以創造出能夠進行智能行為的計算機和計算機軟件。在人工智能和法律中,法律規范被考慮在計算工具中,以自動推理。在人工智能的一個分支--多代理系統(MAS)中,規范是對代理的共同行為的指導,從而緩解他們的決策、協調和組織。由于大多數關于自主代理互動的監管問題都與傳統上由法律研究解決的問題有關,并且由于法律是最普遍和最發達的規范體系,在人工智能和法律以及規范的多代理系統中說明規范的努力往往是重疊的。
人工智能和法律
編輯隨著計算機應用進入法律領域,特別是人工智能應用于法律領域,邏輯被用作法律推理正規化的主要工具,并在許多方向上得到了發展,從道義邏輯到論證的正規系統。法律推理系統的知識基礎通常包括法律規范(如政府法規和合同),因此,法律規則是知識表示和推理方法的重點,以實現復雜法律任務的自動化和解決。法律規范通常被表示為一種基于邏輯的形式主義,如義務邏輯。人工智能和法律應用使用規范的明確表示,范圍包括檢查業務流程的合規性和智能合同的自動執行,以及就法律事務向人們提供建議的法律專家系統。
多代理系統
編輯多代理系統中的規范可能以不同程度的明確性出現,從完全明確的書面規定到隱含的非書面規范或默示的新興模式。計算機科學家的研究反映了這種兩極性。顯性規范通常在形式邏輯(例如,行為邏輯和論證)中進行研究,以表示和推理它們,最終導致認知代理的架構,而隱性規范被認為是在代理(典型的強化學習代理)之間重復互動中出現的模式。顯性規范和隱性規范可以一起用于協調代理。顯性規范通常表示為旨在調節軟件代理的生活和它們之間的互動的行為陳述。它可以是一種義務、允許或禁止,并經常用一些方言或德恩特邏輯的擴展來表示。相反,隱性規范是沒有寫出來的社會規范,它們通常從代理的重復性互動中出現。
內容由匿名用戶提供,本內容不代表www.gelinmeiz.com立場,內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載,請注明出處:http://www.gelinmeiz.com/174251/