赫宁克里斯蒂安森 关于实施全球绑架。 （英语） Zbl 1177.68200号 Inoue，Katsumi（编辑）等人，《多智能体系统中的计算逻辑》。第七届国际研讨会，CLIMA VII，日本函馆，2006年5月8日至9日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-69618-6/pbk）。计算机科学课堂讲稿4371。人工智能课堂讲稿，226-245（2007）。 概要：全局诱拐（GA）是最近提出的一种面向代理编程的逻辑形式主义，它允许代理收集有关世界的信息，并在观察到世界变化时以非单调的方式更新这些信息。全球绑架的一个显著特点是，如果特工需要放弃一个计划，它可能会启动一个新的计划，或继续一个暂停的计划，而它在失败的尝试中所了解到的世界观仍然存在。本文描述了遗传算法在约束处理规则高级语言（CHR）中的实现。这似乎是全面实现GA的首次尝试，这也证实了CHR是一种用于高级推理的强大元编程语言。该结构引发了对全局诱拐的语义和语用的重要问题的讨论，从而提出了一种似乎非常适合实时应用的特定程序语义和架构的建议。关于整个系列，请参见[Zbl 1152.68003号]. 引用于三文件 MSC公司： 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 软件：HYPROLOG公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Christiansen}，莱克特。注释计算。科学。4371、226--245（2007年；Zbl 1177.68200） 全文： 内政部