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.
Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski (2022). Integration of Logical English and s(CASP). Aachen : CEUR-WS.org Sun SITE Central Europe / RWTH Aachen University.
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
