进化 多年来,在计算机科学的许多领域,逻辑编程已经被证明是表达、查询和操作显式知识的一种良好而自然的工具。但是,在动态环境中使用并不容易。演化逻辑程序(EVOLP)是逻辑编程的一个优雅而强大的扩展,适用于多智能体系统、规划和其他信息动态变化的应用。在本文中,我们通过将EVOLP转换成扩展语言上的等效正常逻辑程序来描述EVOLP,这是现有实现的基础。然后我们证明了所提出的变换是正确和完整的,并检验了它的计算复杂性 zbMATH中的参考文献(参考文献4条,1标准件) 显示第1到第4个结果,共4个。 是的按年份排序(引用) 10 20 50 全部的 阿尔弗雷斯,何塞·朱利奥;加巴尔登,阿尔弗雷多;Leite,João:带时态运算符的演化逻辑程序(2011) 莱特,乔昂:玩规则(2010) 斯洛塔,马丁;Leite,João:EVOLP:基于转换的语义(2009) 斯洛塔,马丁;Leite,João:EVOLP:一个实现(2009)