Books on Computational Semantics by Patrick Blackburn & Johan Bos |
Working with Discourse Representation Theory |
An advanced Course in Computational Semantics |
Software Requirements and Downloads |
Platforms
The software was primarily designed for linux and
solaris environments. With a little bit of luck and tweaking, you can
get it to work for MS Windows platforms as well (it seems to work well
under DOS and CYGWIN using Sicstus).
Prolog
Almost all programs accompanying the lecture notes are written in
Prolog. We have tested our programs using two dialects of Prolog:
The Course Software
The latest version (Version 2.0, November 2006) of the
programs for Working with Discourse Representation Theory are packed in this
gzipped tarfile.
To unpack do: gzip -d bb2.tar.gz; tar xvf bb2.tar
Previous versions: BB2 Version 1.0 (June 2004).
Perl
The Curt programs uses the scripting
language Perl to hook up various theorem provers and model builders
with the Prolog code. Therefore, you need to have Perl installed in
your working environment.
Inference Engines
The theorem provers and model builders need to be downloaded and installed separately, and
can be obtained via the following links:
You need at least one theorem prover and one model builder. Otter and MACE come together in one distribution package, and are also available for MS Windows. Bliksem and Paradox are (for some problems) more powerful alternatives.
If it still doesn't work try the following. Ensure that directories of the executables (of MACE, Otter, Bliksem, and Paradox) are included in the search path. Some provers (such as Bliksem) require textfiles in unix format when ran under MS Windows. Add a call to "dos2unix" in callInference.pl to convert the format of the input files for the inference engines.