简单APL swMATH ID: 6574 软件作者: Alechina,N。;Dastani,M。;Khan,F。;洛根,B。;迈耶,J.J。 描述: 利用定理证明验证agent程序的性质我们为simpleAPL程序的自动验证提供了一个完善的逻辑。simpleAPL是代理编程语言(如3APL和2APL)的简化版本,旨在实现具有信念、目标和计划的认知代理。我们的逻辑是PDL的变体,允许对代理程序的安全性和活性属性进行规范。我们证明了simpleAPL的操作语义与两个示例程序执行策略的逻辑模型之间的对应关系。我们展示了如何将用simpleAPL编写的代理程序转换为逻辑表达式,并给出了一个示例,在该示例中我们演示了如何使用理论证明来验证简单代理程序的正确性属性。 主页: http://www.researchgate.net/publication/227198669_Using_Theorem_Proving_to_Verify_Properties_of_Agent_Programs网站 关键词: agent程序的自动验证;简单APL;PDL公司;操作语义学 相关软件: 2APL公司;代理发言;杰森;CCalc公司;MCMAS公司;PDDL公司;METATEM公司;NuSMV公司;自旋蛋白;高尔夫;ConGolog公司;伊莎贝尔/采埃孚;爱马仕;第3页 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号北阿勒奇纳州。;达斯塔尼,M。;F.汗。;B·洛根。;梅耶,J.-J.Ch。 2010 全部的 前5名10位作者引用 1 娜塔莎·亚历奇纳 1 维罗尼克·科尔蒂尔 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 朱塞佩·德贾科莫 1 伊夫莱斯佩伦斯 1 布赖恩·洛根 1 约翰·朱尔斯·查尔斯·梅耶 1 法比奥·帕特里齐 1 米歇尔·鲁西诺维奇 1 尤根·兹利内斯库 连载1篇 1 人工智能 在2个字段中引用 3 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文