Tech Reports

ULCS-19-002

Implementing ANGELIC Designs Using Logiak

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

Abstract

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).

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.