×

简单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 人工智能

按年份列出的引文