World Logic Day presentation: Logical English - Dr. Robert A. Kowalski
Details
MS Teams live meeting room: http://bit.ly/utd-logical-english
Presentation title: Logical English
Presenter: Dr. Robert A. Kowalski, Imperial College of London
Logical English (LE) is a controlled natural language, in which English sentences are translated into LPS, which is an extension of logic programming, implemented in Prolog. The ultimate goal of LE is to serve as a general-purpose computer language, which can be understood by a reader without any training in computing, logic or mathematics. It is inspired in part by the language of law, which can be viewed as a programming language that is executed by humans rather than by computers. LE is a work in progress. There have been several experimental implementations of variants of LE based on LPS or Prolog, focused primarily on legal applications.