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

• <URL:http://msakai.github.io/ptq/demo/index.html>

Download

• Download
  • PTQ-0.0.5.tar.gz
  • PTQ-0.0.4.tar.gz
  • hsPTQ-0.0.3.tar.gz
  • files:hsPTQ-0.0.2.tar.gz
• HackageDB:PTQ
• github

TODO

• Proper treatment of meaning postulates.
• Model finding

Talk

• 自然言語をラムダ式で解釈する体系PTQのHaskell実装 (Lightning Talk @ Haskell Night; in Japanse)

Bibliography

• PTQ demo in Prolog (Japanese)
• About PTQ and Montague grammer
  • Montague grammar - Wikipedia, the free encyclopedia
  • 言語の意味論(2006) (Japanese)
  • <URL:http://kurt.scitec.kobe-u.ac.jp/~shg/SFCArchives/docs/ptq_memo.pdf> (Japanese)
  • UG とPTQ の概要 (Japanese)