Formal proof of abstraction for agent-based learning systems

Kirwan, R. and Miller, A. (2013) Formal proof of abstraction for agent-based learning systems. In: 20th Workshop on Automated Reasoning ARW 2013, Dundee, UK, 11-12 Apr 2013,

Full text not currently available from Enlighten.


We describe herein a formal proof of a simulation relation between a model of an Agent-Based Learning (ABL) system and our abstraction of it. Proving that a simulation relation exists means that all LTL properties we verify, via Model checking [4], for our abstraction also hold true in the original model. Formalising this relation allows us to apply the same abstraction technique to other ABL systems safe in the knowledge that a similar simulation relation will exist.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Miller, Professor Alice
Authors: Kirwan, R., and Miller, A.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record