Commercial Intelligence Rotating Header Image

Translating English into Logic using the Linguist

Now that the patent filings are done, we can discuss and show more about the Linguist…

The following link is a video that shows a sentence from Project Sherlock being translated from English into first-order logic using the patent-pending  Linguisttm software.

The hydrophobic ends of the lipids of a cell’s plasma membrane are oriented away from the cell’s cytoplasm.

This video was recorded in October, 2012.  More recent versions of the Linguist can render the logic in more ways, such as shown below:

A grammatically disambiguated and logically formalized English sentence using Automata Linguist


  1. Peter Venable says:

    very cool

  2. […] have to go through the same process for thousands of sentences, so disambiguation technology as in the Linguist is appropriate even if proofs are based more on textual entailment than logical […]

  3. […] is Watson”, I’m posting the following presentation on Project Sherlock and the Linguist vs. Google and […]

  4. […] example, more advanced semantic technology standards (e.g., OWL and/or SBVR or defeasible modal logic) can represent that digits are integers are numbers and an integer divided by another is a […]

  5. […] The work he describes overlaps our approach to robust inference from the deep, variable-precision semantics that result from linguistic analysis and disambiguation using the English Resource Grammar (ERG) and the Linguist™. […]