Title: Logical English

Speaker: Dr. Robert A. Kowalski

Abstract

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.

Slides

Bio

Please click here for the bio.