Law Commons^™

User Guided Abductive Proof Generation For Answer Set Programming Queries, Avishkar Mahajan, Martin Strecker, Meng Weng (Huang Mingrong) Wong

Research Collection Yong Pung How School Of Law

We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive process where the space of abducibles is automatically constructed just from the input rules alone. Given a (possibly empty) set of user provided facts, our method infers any additional facts that may be needed for the entailment of a query and then outputs these extra facts, without the user needing to explicitly specify the space of all abducibles. We also present a method to generate a set of directed edges corresponding to the justification graph …

Crossing The Rubicon: Evaluating The Use Of Artificial Intelligence In The Law And Singapore Courts, Ming En Tor

Research Collection Yong Pung How School Of Law

In recent years, Artificial Intelligence (“AI”) has challenged many fundamental assumptions of how organisations and industries should operate. The Courts, traditionally seen as a hallowed ground graced by the best of lawyers, still remains as unchartered territory for AI’s infiltration. Yet, there is growing evidence which suggest AI may soon cross this frontier to replace important court functions.

This paper critically assesses the use of AI in law and the courts. Part II will first examine the arguments for and against the adoption of AI in the legal profession. Thereafter, Part III will critically examine whether AI should …