PTQ: An implementation of Montague's PTQ.

[ natural-language-processing, program ] [ Propose Tags ] [ Report a vulnerability ]

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

[Skip to Readme]

Flags

Manual Flags

Name	Description	Default
utf8terminal	Use UTF-8 for terminal I/O	Disabled
utf8cgi	Use UTF-8 for HTTP contents	Enabled

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

Downloads

PTQ-0.0.6.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

MasahiroSakai

For package maintainers and hackage trustees

edit package information

Candidates

0.0.6, 0.0.7

Versions [RSS]	0.0.4, 0.0.5, 0.0.6, 0.0.7, 0.0.8
Dependencies	base (>=4.4 && <5), containers, mtl, network, xml [details]
License	LicenseRef-LGPL
Author	Masahiro Sakai
Maintainer	Masahiro Sakai <masahiro.sakai AT gmail.com>
Uploaded	by MasahiroSakai at 2014-08-15T04:07:46Z
Category	Natural Language Processing
Home page	http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?hsPTQ
Source repo	head: git clone git://github.com/msakai/ptq.git
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	ptq.cgi, ptq
Downloads	4679 total (9 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] Successful builds reported [all 7 reports]

Readme for PTQ-0.0.6

[back to package description]

An implementation of Montague's PTQ in Haskell

Build and Install

% cabal configure
% cabal build
% cabal 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
%

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. Demo site runs at http://www.tom.sfc.keio.ac.jp/~sakai/hsPTQ/.