This paper demonstrates the use of Logical English as a logic programming language that can be interpreted by the s(CASP) reasoner. It shows how legal knowledge and unknown information can be expressed in a form of English that can be easily understood by users without any technical training and with only a basic knowledge of English. This research has been undertaken in the context of the CrossJustice Project.
Integration of Logical English and s(CASP) / Galileo Sartor; Jacinto Dávila; Marco Billi; Giuseppe Contissa; Giuseppe Pisano; Robert Kowalski. - ELETTRONICO. - 3193:(2022), pp. 1-8. (Intervento presentato al convegno International Conference on Logic Programming 2022 Workshops (ICLP Workshops 2022) tenutosi a Haifa, Israel nel July 31st - August 1st, 2022).
Integration of Logical English and s(CASP)
Galileo Sartor;Marco Billi;Giuseppe Contissa;Giuseppe Pisano;
2022
Abstract
This paper demonstrates the use of Logical English as a logic programming language that can be interpreted by the s(CASP) reasoner. It shows how legal knowledge and unknown information can be expressed in a form of English that can be easily understood by users without any technical training and with only a basic knowledge of English. This research has been undertaken in the context of the CrossJustice Project.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.