Title of article :
A weakest precondition calculus for BUnity
Author/Authors :
L. A?tef?noaei، نويسنده , , F.S. de Boer، نويسنده , , M. Dastani، نويسنده , , J.-J. Ch. Meyer، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2013
Abstract :
We present a weakest precondition calculus for belief updates in a high-level agent specification language. The weakest precondition calculus supports a deductive method which allows us to reason about important safety and leads-to properties of the semantics of agent specifications.
Keywords :
BDI agents , Belief updates , Leads-to properties , Inductive invariants , assertions , Correctness
Journal title :
Science of Computer Programming
Journal title :
Science of Computer Programming
