基于Haskell和CHR的智能Agent的实现

摘要

虽然Agent理论已经成功应用到多种领域中，但Agent抽象描述与具体实现相结合时可能存在的差异使得Agent系统的开发面临挑战。为了使抽象描述与具体实现能够有效地结合，文章提出使用Haskell语言编程和封装不同等级的推理，并引入CHR对Agent系统进行描述和推理，来完成Agent的描述与实现一体化。与其他方法相比，这个方法避免了两级推理之间的相互干扰，为更复杂的推理操作提供了模块化开发。