GOAL代理编程语言

GOAL是一种用于认知代理编程的代理编程语言。GOAL代理从他们的信念和目标中得出他们的行动选择。该语言提供了设计和实现认知代理的基本构件，其编程结构允许并促进对代理的信念和目标的操作，并构造其决策。该语言提供了一个基于常识或实际推理的直观的编程框架。

GOAL的主要特点包括陈述性信念。xxx使用一种符号化的逻辑语言来表示他们所拥有的信息，以及他们为了实现目标而采取行动的关于环境的信念或知识。这种知识表示语言不是由GOAL固定的，原则上可以根据程序员的需要而变化。声明性目标。xxx可以有多个目标，指定xxx在近期或远期的某个时刻想要实现的目标。宣告性目标指定了代理想要建立的环境状态，它们没有指定如何实现这种状态的行动或程序。

xxx承诺他们的目标，并在目标实现后才放弃目标。这种承诺策略，在文献中称为盲目承诺策略，是GOAL代理使用的默认策略。认知型代理被认为没有他们认为已经实现的目标，这种约束已经通过在目标完全实现时放弃目标而被植入GOAL代理。基于规则的行动选择。xxx使用所谓的行动规则来选择行动，鉴于他们的信念和目标。

这种规则可能对行动的选择规定不足，即鉴于代理的行动规则，在任何时候都可以执行多种行动。在这种情况下，GOAL代理将选择一个任意启用的行动来执行。基于政策的意图模块。xxx可以集中注意力，把所有精力放在实现其目标的一个子集上，使用其行动的一个子集，只使用与实现这些目标有关的知识。

GOAL提供了模块来构造专门用于实现特定目标的行动规则和知识。xxx可以相互沟通，交换信息，并协调他们的行动。GOAL代理使用知识表示语言进行交流，该语言也被用来表示他们的信念和目标。测试。您也可以为GOAL编写测试。GOAL代理程序一个GOAL代理程序由六个不同的部分组成，分别是知识、信念、目标、行动规则、行动规范和感知规则。

这些目标甚至可能是相互冲突的，因为每个目标都可能在不同的时间实现。在GOAL中，对目标的不同概念进行了区分。一个原始的目标是与知识库中定义的概念一起从目标库中得出的声明。