G公司栏杆三
A类一阵G公司栏杆三
Grail是一个现代、灵活和健壮的解析器/自动定理证明器,用于多模态范畴文法。它旨在允许学生和研究人员在同时为高级用户提供许多可选的优化策略。Grail可以作为命令行脚本或应用程序运行具有图形界面,可以遵循Grail的部分以交互方式解析/验证尝试。
将您的评论、错误报告或功能请求发送到理查德·穆特@labri.fr.
R(右)要求
你需要SWI公司序言与一起SWI Prolog的XPCE用户接口安装在您的计算机上以运行Grail。此外,您需要图形Viz设置用于查看Grail生成的图形。
D类OWNLOAD(下载)
源代码在GNU小公众许可证.当前分布包含2012年6月28日(01:11:06 CEST)圣杯3.2.0的释放;经验证可与SWI-Prolog一起使用i386-darwin11.3.0的6.0.2版本(以及i386-darwin9.8.0的SWI Prolog 5.10.2版本),尽管在非古老的SWI Prolog安装以及其他架构上的安装上,一切都应该正常工作。
我安装
将Grail tarball移到要安装它的目录中和类型。
tar xfz grail3.tgz
从存档中提取所有必要的文件。首选的安装方法是简单地键入。
./configure--前缀=/some/directory/
哪里/一些/目录/
是一个现有目录,您可以在其中具有写入和执行权限。圣杯将安装在子目录圣杯
而可执行文件将在垃圾箱
子目录。前缀默认值到/usr/本地/
.
通过键入继续。
制作
编译Grail文件。最后,输入。
进行安装
安装所有Grail文件。现在您可以通过键入启动Grail。
第三组
或通过
/some/directory/bin/g3
如果shell通常不查看安装路径。还要记住圣杯会尝试将其postscript文件写入当前工作目录,因此如果有以下情况,请确保在您有写作权限的地方运行Grail您希望看到postscript输出。
D类文件
有关使用Grail 3的简短介绍,请参见手册或选择[帮助/关于圣杯3…]从圣杯的菜单栏。更全面辅导的目前正在建设中。
C吊架W公司ITH公司R(右)ESPECT公司T型O(运行)G公司栏杆2
Grail3是Grail引擎的一个新实现,使用了许多在我的论文值得注意的改进是:
- 并行应用结构规则的方式
- 过滤出永远不能构成证明网的公理连接的不同方法
- 默认选择首先连接最受限制的公理公式。
在电流中共享子导数的方式的优点实现是Grail3作为Grail2使用所有解决方案.pl启用扩展,而不会产生性能因此受到惩罚。
Grail 2的LaTeX自然扣除输出目前没有由圣杯3支撑。
A类CKNOWLEDGMENTS公司
这项研究是由国家经济研究中心科学和研究所National de Recherche en Informatique et en Automatique国家信息与自动化.文件对数.pl(对于对数访问阵列)订单.pl(用于有序集)和warshall/2谓词图形.pl是在Public中使用相同名称修改的库版本域DEC-10 Prolog库。我要感谢这些文章的作者将他们的工作放在公共领域的包。任何对变化和对他们代码的补充是我的。有关更改,请参阅各个文件。
这个树234.pl2-3-4棵树的库是代码归属的直接改编到水银图书馆,一个很好的资源,用于几个标准算法,位于LGPL公司(水星本身根据发布GPL公司). 我负责此代码的特殊添加,以及修改代码以使用第一个参数索引除了可能产生的任何错误之外。
B类背景R(右)EADING公司
Moot,R.&Puite,Q.(2002),“多模Lambek演算的证明网”,Studia Logica71(3), 415-442.
本文介绍了Grail 3使用的证明网。
Moot,R.(2002),《语言分析的证明网》,乌得勒支大学乌得勒支特语言学研究所OTS博士论文(后记,pdf格式).
第7章我的论文讨论了证明圣杯使用的网及其与其他类型的防伪网的关系,如以及证明一些基本结果。第八章我的论文包含第一组使用这些证明网解析多模态范畴的想法Grail 3中包含的语法。
Moot,R.(2004),《改进类型逻辑证明搜索的图形算法》,《2004年分类语法学报》,第13-28页,提交给Elsevier Science。
这篇论文首次在2004年分类语法上发表,包括新的图形算法的使用思路尤其是Floyd-Warshall和Kuhn-Munkers算法,以提高Grail的解析性能。
Moot,R.(2007),《为证明网过滤公理链接》,载于Laura Kallmeyer、Paola Monachesi、Gerald Penn和Giorgio Satta编辑的《2007年形式语法的过程》,与CSLI一起出版。
本文是我2007年正式语法提交的扩展版本的草稿,除了这些算法之外,还提出了两种新的过滤算法之前实施的,以及评估其综合性能二者都针对随机生成的序列和从语料库中提取的序列。
理查德·穆特@labri.fr