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.
keywords
Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English
