论文信息 - Realising ANGELIC Designs Using Logiak

Realising ANGELIC Designs Using Logiak

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

[1] Trevor J. M. Bench-Capon,et al. An empirical investigation of reasoning with legal cases through theory construction and application , 2005, Artificial Intelligence and Law.

[2] Vincent A. W. M. M. Aleven,et al. Teaching case-based argumentation through a model and examples , 1997 .

[3] Trevor J. M. Bench-Capon,et al. Lessons from Implementing Factors with Magnitude , 2018, JURIX.

[4] Stefan Woltran,et al. Abstract Dialectical Frameworks , 2010, KR.

[5] Trevor J. M. Bench-Capon,et al. Noise induced hearing loss: Building an application using the ANGELIC methodology , 2018, Argument Comput..

[6] Trevor J. M. Bench-Capon. HYPO’S legacy: introduction to the virtual special issue , 2017, Artificial Intelligence and Law.