Integration of Logical English and s(CASP)

   page       BibTeX_logo.png       attach   
Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
Workshop on Goal-directed Execution of Answer Set Programs
GDE 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.

keywordsLogic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English