进化

多年来,在计算机科学的许多领域,逻辑编程已经被证明是表达、查询和操作显式知识的一种良好而自然的工具。但是,在动态环境中使用并不容易。演化逻辑程序(EVOLP)是逻辑编程的一个优雅而强大的扩展,适用于多智能体系统、规划和其他信息动态变化的应用。在本文中,我们通过将EVOLP转换成扩展语言上的等效正常逻辑程序来描述EVOLP,这是现有实现的基础。然后我们证明了所提出的变换是正确和完整的,并检验了它的计算复杂性