Projects per year
Abstract
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the wider acceptance of formalism within design. Here we propose reasoned modelling critics ? an approach which aims to abstract away from the complexities of low-level proof obligations, and provide high-level modelling guidance to designers when proofs fail. Inspired by proof planning critics, the technique combines proof-failure analysis with modelling heuristics. Here, we present the details of our proposal, implement them in a prototype and outline future plans.
Original language | English |
---|---|
Pages (from-to) | 293-309 |
Number of pages | 17 |
Journal | Science of Computer Programming |
Volume | 78 |
Issue number | 3 |
DOIs | |
Publication status | Published - 2013 |
Fingerprint
Dive into the research topics of 'Reasoned modelling critics: Turning failed proofs into modelling guidance'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
1/04/07 → 31/03/11
Project: Research