Natural Language Interface Gems

R. Kirsch
D. Cohen
B. Rankin
W. Sillars

PLM

1961? - , R. Kirsch, D. Cohen, B. Rankin, W. Sillars (Carnegie Institute of Technology)

An explanation of the name

The Picture Language Machine

This is a gem, because

PLM accepts both pictures and English statements as input and translates both into a common logical language. Then it determines whether the statement about the picture is true. It is composed of three subsystems: a parser, a formalizer and a predicate evaluator. The formalizer creates a first-order functional calculus expression like (∀X1)[ Cir(X1) → (∃X2)[ Cir(X2) & Bk(X2) & (X2 = X1) ] ]. The predicate evaluator tests the truth value of the expression against the predicate representation of the pictures in the input.

Characteristics

Language constructs

Data flow

Natural Language input
Tokenize
    Tokens
    Parse
      Syntactic form
      Interpret
        Knowledge source form
          Execute
            Knowledge base answers
            Answer
              Natural Language output

              Articles