Toggle Main Menu Toggle Search

Open Access padlockePrints

How to say why (in AI4FM)

Lookup NU author(s): Dr Leo Freitas, Professor Cliff Jones, Dr Andrius Velykis, Dr Iain Whiteside

Downloads


Abstract

In the AI4FM project we have set ourselves the challenge of building a system that can learn high-level proof strategies by monitoring expert users. A typical level of ambition is users who are proving the feasibility and reification of medium-sized specifications. The purpose of this report is to provide a source document. In particular, it (a) summarises some experiments in the use of verification tools to determine how realistic the ambition is of extracting the "why" from experts' use of verification tools; and,(b) provides a revision of an earlier description of an abstract model of an AI4FM system that is linked to the case studies.


Publication metadata

Author(s): Jones CB; Freitas L; Velykis A; Whiteside I

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2013

Pages: 216

Print publication date: 01/10/2013

Source Publication Date: October 2013

Report Number: 1398

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1398.pdf


Share