PTQ: An implementation of Montague's PTQ.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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.6, 0.0.7, 0.0.8
Change log	None available
Dependencies	base (>=4.4 && <5), containers, mtl, network, xml [details]
License	LicenseRef-LGPL
Author	Masahiro Sakai
Maintainer	Masahiro Sakai <masahiro.sakai AT gmail.com>
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
Uploaded	by MasahiroSakai at 2014-08-15T04:07:19Z

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

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/.