酒井 政裕 (SAKAI Masahiro)  Index  Search  Changes  RSS  Login

hsPTQ

hsPTQ

hsPTQ is an implementation of Montague's PTQ written in Haskell. It translate a subset of English declarative sentences into formulas of intensional logic IL.

Demo

Download

TODO

  • Proper treatment of meaning postulates.
  • Model finding

Talk

Bibliography

Last modified:2012/07/23 12:39:40
Keyword(s):
References:[言語の意味論] [Software]