Realising ANGELIC Designs Using Logiak
Katie M. Atkinson, Trevor J. M. Bench-Capon, Routen Tom, Sánchez Alejandro, Stuart Whittle, Williams Rob, Catriona Wolfenden · Frontiers in artificial intelligence and applications · 2019
© 2019 The authors and IOS Press. ANGELIC is a methodology for encapsulating knowledge of a body of case law. Logiak is a system intended to support the development of logic programs by domain experts, and provides an excellent environment for the rapid realisation of ANGELIC designs. We report our use of Logiak to realise ANGELIC designs, using both Boolean factors and factors with magnitude.