Tech Reports


Implementing ANGELIC Designs Using Logiak

Katie Atkinson, Trevor Bench-Capon,Tom Routen, Alejandro Sánchez ,Stuart Whittle, Rob Williams and Catriona Wolfenden


ANGELIC is a methodology for encapsulating knowledge of a body of case law. As part of system development, the ability to rapidly produce a working implementation from the design, is important for verification and refinement. Logiak is a system intended to support the development of logic programs by domain experts, and so provides an excellent environment for the rapid realisation of ANGELIC designs. We have used Logiak to realise ANGELIC designs, using both Boolean factors and factors with magnitude. We illustrate the process with both a Boolean example (Noise Induced Hearing Loss) and an example using factors with magnitude (US Trade Secrets based on CATO).

[Full Paper]