GOAL代理編程語言

GOAL是一種用于認知代理編程的代理編程語言。GOAL代理從他們的信念和目標中得出他們的行動選擇。該語言提供了設計和實現認知代理的基本構件，其編程結構允許并促進對代理的信念和目標的操作，并構造其決策。該語言提供了一個基于常識或實際推理的直觀的編程框架。

GOAL的主要特點包括陳述性信念。xxx使用一種符號化的邏輯語言來表示他們所擁有的信息，以及他們為了實現目標而采取行動的關于環境的信念或知識。這種知識表示語言不是由GOAL固定的，原則上可以根據程序員的需要而變化。聲明性目標。xxx可以有多個目標，指定xxx在近期或遠期的某個時刻想要實現的目標。宣告性目標指定了代理想要建立的環境狀態，它們沒有指定如何實現這種狀態的行動或程序。

xxx承諾他們的目標，并在目標實現后才放棄目標。這種承諾策略，在文獻中稱為盲目承諾策略，是GOAL代理使用的默認策略。認知型代理被認為沒有他們認為已經實現的目標，這種約束已經通過在目標完全實現時放棄目標而被植入GOAL代理。基于規則的行動選擇。xxx使用所謂的行動規則來選擇行動，鑒于他們的信念和目標。

這種規則可能對行動的選擇規定不足，即鑒于代理的行動規則，在任何時候都可以執行多種行動。在這種情況下，GOAL代理將選擇一個任意啟用的行動來執行。基于政策的意圖模塊。xxx可以集中注意力，把所有精力放在實現其目標的一個子集上，使用其行動的一個子集，只使用與實現這些目標有關的知識。

GOAL提供了模塊來構造專門用于實現特定目標的行動規則和知識。xxx可以相互溝通，交換信息，并協調他們的行動。GOAL代理使用知識表示語言進行交流，該語言也被用來表示他們的信念和目標。測試。您也可以為GOAL編寫測試。GOAL代理程序一個GOAL代理程序由六個不同的部分組成，分別是知識、信念、目標、行動規則、行動規范和感知規則。

這些目標甚至可能是相互沖突的，因為每個目標都可能在不同的時間實現。在GOAL中，對目標的不同概念進行了區分。一個原始的目標是與知識庫中定義的概念一起從目標庫中得出的聲明。