Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa,
Giuseppe Pisano, Robert Kowalski
Workshop on Goal-directed Execution of Answer Set Programs
GDE 2022
2022
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.
parole chiave
Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English
