World Logic Day presentation: Logical English - Dr. Robert A. Kowalski

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.

Bio: https://en.wikipedia.org/wiki/Robert_Kowalski