The PTQ package

[Tags:lgpl, program]

An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple plain English sentences into formulas of intentional logic.


[Skip to Readme]

Properties

Versions 0.0.4, 0.0.5, 0.0.6, 0.0.7
Dependencies base (==4.*), containers, haskell98, mtl, network, utf8-string [details]
License LGPL
Author Masahiro Sakai
Maintainer Masahiro Sakai <masahiro.sakai AT gmail.com>
Stability experimental
Category Natural Language Processing
Home page http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?hsPTQ
Uploaded Sat Nov 7 08:17:16 UTC 2009 by MasahiroSakai
Distributions NixOS:0.0.7
Downloads 934 total (14 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-08 [all 6 reports]

Flags

NameDescriptionDefaultType
utf8terminalUse UTF-8 for terminal I/ODisabledAutomatic
utf8cgiUse UTF-8 for HTTP contentsEnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for PTQ

Readme for PTQ-0.0.4

= An implementation of Montague's PTQ in Haskell

== Build and Install

You'll need GHC 6.7 or later.

  % runhaskell Setup.lhs configure
  % runhaskell Setup.lhs build
  % runhaskell Setup.lhs install

== Usage of interactive shell ptq

  % ptq
  PTQ> John seeks a unicorn.
  Parsed:
    F4 john (F5 seek (F2 a unicorn))
  
  Translation:
    (\x0. x0 {john}) (Int (seek (Int ((\x0. \x1. exists x2. x0 {x2} && x1 {x2}) (Int unicorn)))))
  
  Translation (simplified):
    seek (Int (\x0. exists x1. unicorn x1 && x0 {x1})) john
  
  ------------------------------------------------------
  
  Parsed:
    F10 0 (F2 a unicorn) (F4 john (F5 seek (He 0)))
  
  Translation:
    (\x0. \x1. exists x2. x0 {x2} && x1 {x2}) (Int unicorn) (Int (\x0. (\x1. x1 {john}) (Int (seek (Int (\x1. x1 {x0}))))))
  
  Translation (simplified):
    exists x0. unicorn x0 && seek (Int (\x1. x1 {x0})) john
  PTQ> quit
  %

== Simple CGI interface

By locating ptq.cgi, cgi/index.html and cgi/main.html to the place
where CGI is executable, you can try it on the web.

Currenly it also runs at ((<URL:http://www.tom.sfc.keio.ac.jp/~sakai/hsPTQ/>)).