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,

Abstract

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
• Status: Published
• Refereed: Yes
• 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