SAKAI Masahiro - hsPTQ Diff

= 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>))
# * ((<URL:https://dl.dropboxusercontent.com/u/123796/app/ptq/index.html>))
# * ((<URL:http://www.tom.sfc.keio.ac.jp/~sakai/hsPTQ/>))

== Download

* Download
  * ((<PTQ-0.0.5.tar.gz|URL:http://www.tom.sfc.keio.ac.jp/~sakai/archive/cabal/PTQ-0.0.5.tar.gz>))
  * ((<PTQ-0.0.4.tar.gz|URL:http://www.tom.sfc.keio.ac.jp/~sakai/archive/cabal/PTQ-0.0.4.tar.gz>))
  * ((<hsPTQ-0.0.3.tar.gz|URL:http://www.tom.sfc.keio.ac.jp/~sakai/archive/cabal/hsPTQ-0.0.3.tar.gz>))
  * ((<files:hsPTQ-0.0.2.tar.gz>))
* ((<"HackageDB:PTQ"|URL:http://hackage.haskell.org/package/PTQ>))
* ((<github|URL:https://github.com/msakai/ptq>))

== TODO
* Proper treatment of meaning postulates.
* Model finding

== Talk

* ((<"自然言語をラムダ式で解釈する体系PTQのHaskell実装"|URL:/d/20091120.html#p01>)) (Lightning Talk @ Haskell Night; in Japanse)

== Bibliography
* ((<PTQ demo in Prolog|URL:http://web.sfc.keio.ac.jp/~mukai/mathcgi/ptq.html>)) (Japanese)
* About PTQ and Montague grammer
  * ((<"Montague grammar - Wikipedia, the free encyclopedia"|URL:http://en.wikipedia.org/wiki/Montague_grammar>))
  * ((<"言語の意味論(2006)"|URL:http://web.sfc.keio.ac.jp/~mukai/2006-langsem/>)) (Japanese)
  * ((<URL:http://kurt.scitec.kobe-u.ac.jp/~shg/SFCArchives/docs/ptq_memo.pdf>)) (Japanese)
  * ((<UG とPTQ の概要|URL:http://kurt.scitec.kobe-u.ac.jp/~shg/SFCArchives/docs/UGPTQ_abstract.pdf>)) (Japanese)

# http://web.sfc.keio.ac.jp/~t03712sn/docs/ptq_memo.pdf
# http://web.sfc.keio.ac.jp/~t03712sn/docs/UGPTQ_abstract.pdf