Programming Rational Agents in GOAL
Programming Rational Agents in GOAL
复制标题
在 GOAL 中对 Rational Agent 进行编程
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
K. Hindriks
中科院分区：
文献类型：
--
作者：
K. Hindriks
Agent编程语言GOAL是一种高级编程语言，用于对理性Agent进行编程，这些理性Agent从他们的信念和目标中获得行动选择。该语言提供了基本的积木设计和实现rationalagents通过measofsetofprogramming构造。这些编程结构允许并促进了对智能体的信念和目标的操纵，并构建了智能体的决策。目标代理被称为理性的，因为他们满足了一些基本的理性约束，因为他们决定执行行动，以进一步他们的目标的基础uponareasoning计划来自实际推理。纳入目标的信念和目标的编程概念为这种形式的推理提供了基础，并且与日常用于解释我们所执行的行为的常识类似。此外，GOAL提供了一种手段，让代理人专注于specic目标和沟通的知识水平。这为编写高级代理程序提供了直观的基础。同时，这些概念和编程构造具有良好的形式化语义。形式语义提供的基础deninga验证框架的目标验证和推理的目标agents whichis类似的一些wellknowagent逻辑介绍在文献中。
The agent programming language GOAL is a high-level programming language to program rational agents that derive their choice of action from their beliefsand goals. The language provides the basic building blocks to design and implementrationalagents by meansofa setofprogramming constructs. These programming constructs allow and facilitate the manipulation of an agent’sbeliefs and goals and to structure its decision-making. GOAL agents are called rational because they satisfy a numberof basic rationality constraints and because they decide to perform actions to further their goals based uponareasoning scheme derived from practical reasoning. The programming concepts of belief and goal incorporated into GOAL provide the basis for this form of reasoning and are similarto their common sense counterparts used everyday to explain the actions that we perform. In addition, GOAL provides the means for agents to focus their attention on specic goals and to communicate at the knowledge level. This provides an intuitive basis for writing high-level agent programs. At the same time these concepts and programming constructs have a well-dened, formal semantics. The formal semantics provides the basis for deninga verication framework for GOAL for verifying and reasoning about GOAL agents whichis similar to some of the wellknownagent logics introduced in the literature.