科恩·辛德里克斯。；德波尔（Frank S。；范德霍克，威比；John-Jules Ch.梅耶。 具有声明性目标的代理编程。 （英语） Zbl 1056.68562号 Castelfranchi，Cristiano（编辑）等人，《智能代理VII》。Agent理论体系结构和语言。2000年7月7日至9日在美国马萨诸塞州波士顿举行的2000年安乐国际研讨会第七届。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42422-9）。莱克特。注释计算。科学。1986, 228-243 (2001). 摘要：代理研究中一个长期存在的问题是缩小代理逻辑和代理编程框架之间的差距。在代理逻辑和代理编程框架之间建立链接这一问题的主要原因是，代理编程框架没有包含声明性目标的概念。相反，这样的框架主要关注计划或要做的目标，而不是要实现的最终目标，这些目标也称为要实现的目标。在本文中，引入了一种新的编程语言GOAL，它包含了这样的声明性目标。承诺策略的概念是agent逻辑的主要理论见解之一，它解释了信念和目标之间的关系，用于构建GOAL的计算语义。最后，介绍了一个证明GOAL代理性质的证明理论。通过使用这种编程逻辑，一个示例程序被证明是正确的。有关整个系列，请参见[Zbl 0967.00073号]. 引用于7文件 MSC公司： 68T01型 人工智能的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Hindriks}等人，Lect。注释计算。科学。1986年，228年至243年（2001年；兹bl 1056.68562） 全文： 链接