ALE主页
本页包含属性逻辑引擎(ALE)版本的描述3.2,一个免费的逻辑编程和语法分析生成系统。这包括有关获取系统、用户指南、图形接口和语法。新增功能
- 2003年1月:修复了ALE 3.2.1的SWI端口中的错误-语法编译源在某些情况下会失败。
- 2001年12月:ALE 3.2.1可用.这个版本修补了ALE及其源代码级调试器,以便它们与SICStus 3.8.6和SWI 4.0。
- 1999年6月:ALE 3.2可用。在此版本中:
-
ALE(再次)更快,在编译时和运行时,
-
一种新的解析编译算法(Empty-First-Daughter闭包),其中:
- 通过合并空类别纠正了ALE中长期存在的问题-EFD闭包关闭前缀下语法的短语结构规则空类别的子级,因此任何空类别的排列都可以,原则上,应组合成一个新的空类别;
- 解决不兼容ISO的Prolog(包括SICStus)的问题Prolog,具有断言谓词,导致最左边的空类别女儿不能结合自己的产出;
- 允许解析器建立只需关闭规则的前提条件在运行时使用非空的最左边的子级-这允许ALE单步从右向左穿过字符串,复制所有内部数据库中的边缘在可以使用之前返回堆再次,从而将边复制减少到每边2个副本的恒定值非空边(具有不同左节点和右节点的边)。保持堆上图表的副本还允许更复杂的索引否则将被复制匹配前的边缘。这消除了基于Prolog的误解由于复制开销,解析器必然效率低下。
-
浅切割(if-then-else谓词)已添加到确定性中子句语言
-
更快的扩展代码尤其是语法几乎没有扩展类型,
-
更快的包容检查代码对于图表边缘,
-
ALE源代码级调试器3.0,已与新的SICStus 3.7源级调试器,
- 更多编译时错误和警告消息,
- 几个错误修正,
- 更新的用户手册,
- SWI Prolog端口。
- 1998年9月:ALE 3.1可用。在此版本中:
-
ALE现在大大加快了.广泛修订规范,使更好地使用浅截、第一参数索引和其他技巧Prolog贸易,
-
一种新的、更快的、基于术语扩展的编译器.ALE现在仅使用一个零字节的中间文件来编译其中间代码。中级通过保存Prolog数据库本身来保存代码以备将来使用,
-
ALE源代码级调试器2.0,现在支持语义头部驱动生成,
-
词典编译/查阅选项(lex_compile/0,lex_consult/0)。查阅词典大大减少了编译时间,可以忽略不计运行时对大多数语法的影响,
-
增量修改词典的新命令(update_lex/1,retract_lex/1)。也可export_words/2,将词典中的单词写入一条小溪,
-
新解析命令通过描述和用于批解析(rec/2,5,rec_best/2,rec_list/2,3),
-
序言字符转义可与ALE结合使用,
- 几个错误修正,
- 更新的用户手册,
- 更新的SWI Prolog端口。
目录
概述
ALE 3.2,一个用Prolog编写的免费软件系统,由鲍勃木匠,以及杰拉尔德·佩恩集成短语结构分析、语义头驱动生成和以类型化特征结构为术语的约束逻辑编程。这个概括了PATR-II的特征结构和Prolog的术语II允许特性的类型继承和适当性规范和值。任意约束可以附加到类型,类型可以声明为具有扩展结构标识条件。语法也可以将统一步骤与逻辑程序目标调用(as可以在DCG中完成),从而允许解析与其他系统组件。ALE的发展着眼于驱动头短语结构语法(HPSG),但它也可以执行PATR-II语法,定子句语法(DCG)、Prolog、Prolog-II和LOGIN程序,等。通过适当的编码,它还可以执行以下几个方面词汇-功能语法(LFG)。指定了ALE语法和逻辑程序中涉及的术语使用Rounds-Kasper属性值逻辑的类型化扩展,其中包括变量、完全析取、不等式和函数描述。然后,程序被编译成相应的低级Prolog指令类型化Rounds-Kapser逻辑的基本操作。有一个强大的对描述强制执行类型规则,允许检测许多错误编译时。
逻辑编程、解析和生成系统可以独立使用或者一起。逻辑编程系统的特点包括否定、,分离和切割。它具有上次调用优化,但不执行任何参数索引。
短语结构系统采用自下而上的全路径动态图表解析器。提供了一个通用的词汇规则组件,包括过程使用模式进行正交变换的附件和通用方法匹配或Prolog。语法中允许使用空类别。一个微型打印机包括用于逐步完成解析过程。短语结构系统的逻辑编程组件允许参数化宏在描述中被定义和自由使用。语言允许钩子连接到通用Prolog例程,允许语法和程序嵌入到Prolog中,因此也嵌入到C和Unix中。分析器性能类似于逻辑编程系统。
生成组件还使用短语结构系统加用户定义的语义定义子句,用于标识语义相关特征结构中的信息。它使用了一种自适应算法呈现于:
希伯,S。,厢式货车G.诺德。、摩尔、R.和佩雷拉,F、。(1990).语义领导驱动生成.计算型语言学,16。
该算法非常适合大规模HPSG发电,因为它避免了自顶向下处理固有的非终止问题但同时,不需要语义语法规则中每个女儿对包含部分的贡献例如,母亲的语义贡献采用基于Earley的策略。提供了一些粘合代码示例如何连接两个SICStus Prolog进程,一个运行解析器,另一个运行运行生成器,用ALE构建一个简单的机器翻译。
源级调试器可用于跟踪几乎所有操作在ALE的内置解析器、生成器和确定性子句解析器中特征结构统一的层次。基于程序框控制流模型,支持断点、跳跃和捆绑,并与ALE内置的导航图表解释器兼容解析图表,以及SICStus Prolog自己的源代码级调试器用于在线调试Prolog挂钩。与XEmacs接口一起使用时,缓冲区将指示执行期间正在处理的当前行。在未来的版本中,ALE源级调试器将扩展到特征结构统一层以下的操作。
文档
ALE 3.2.x的完整文档(长达130多页,并附有示例编程建议和示例语法)中的postscript和LaTeX格式一般ALE发布.单击以下按钮也可以获得HTML格式的文档:
ALE 3.2用户指南,HTML版本(即将推出!)
ALE基于类型化属性值逻辑和相关语法和约束逻辑编程模型开发于:
系统要求
ALE是用SICStus Prolog 3.8.6开发的,但只有在以下情况下才需要使用源级调试器。对于循环特征结构,至少需要版本2.1#8。ALE本身相当紧凑,占用了大约编译时为300K。可以编译的语法和字符串的大小可以解析的将由语法本身。系统的效率取决于第一参数索引和最后一个参数优化,对于图表解析器,动态子句的索引。如果对系统进行解释而不是编译,那么该系统将非常慢。
ALE源级调试器需要SICStus Prolog 3.8.6。其XEmac接口需要XEmacs 20.3或更高版本。
ALE的SWI端口可以在SWI Prolog 4.0或更高版本上运行。
ALE 3.0的Quinuts港是ALE运往Quintus的最后一个港口序言。其循环特征结构的行为是不可预测的;编译中的变量数量有一些严格限制能够开发具有大量描述的语法的子句在规则方面,词汇规则或词汇非常困难。
获取ALE
ALE及其文档可在全球导航卫星系统宽通用公共许可证ALE系统的组件包括地址:目录的内容如下:;描述了语法在中ALE Grammars路段如下所示。
-
ale.pl公司
- ALE 3.2.1的源代码,用于SICStus公司序言3.8.6.
-
ale.swi.pl公司
- ALE 3.2.1的SWI端口,用于SWI Prolog 4.0或更高版本。要下载SWI Prolog,选择Unix系统(版本4.0.11)或窗户 (版本4.0.9)。
-
aleguide.ps.gz指南
- 美国信纸压缩后记格式用户指南
-
阿勒指南A4.ps.gz
- A4纸压缩postscript格式用户指南
-
调试器.tar.gz
- ALE源级调试器和XEmacs接口,用于SICStus3.8.6和XEmacs 20.3或更高版本。
-
胶水.tar.gz
- 将两个运行ALE的SICStus进程连接在一起的示例粘合代码文件构建一个简单的机器翻译系统。
-
导轨.tex
- LaTeX 2e格式的用户指南;也可以在线(很快)作为ALE 3.2用户指南,HTML版本
-
图tar.gz
- 一些封装的附言图形,您需要将其添加到乳胶guide.tex中您自己,以及样式文件epsf.sty
-
ale31.pl公司
- 早期版本的ALE(SICStus)。
-
亚历奎因
- ALE 3.0的昆特斯港。
-
ale31.swi.pl公司
- ALE的前一个版本,移植到SWI Prolog。
-
调试程序20.tar.gz
- 源级调试器和XEmacs接口的早期版本,用于SICStus 3.0.6和XEmacs 19.16或更高版本。
ALE语法
语法示例
系统的源代码与一些示例语法一起分发,可在以下地址获得:
http://www.cs.toronto.edu/~gpenn/ale/files/grammars
语法、描述及其文件名如下。
- 度量音韵学音节化语法(教学大纲.pl)
- 一种生成英语单词音节结构的小语法编码响度轮廓、最大发声原理和语音趋同性通过单层逻辑描述的约束。(有关基于约束的详细信息音韵学,参见计算型形态学和音韵学页面)
- 带Cooper存储的分类语法(cg.pl公司)
- 带有正斜杠和反斜杠的小型统一范畴语法说明程序性附件的使用。
- 高压蒸汽发生器2.0(高压蒸汽发生器)
- 一个相当全面的驱动头短语结构语法英语,如下(Pollard and Sag 1994:章节1-5、7和8)。截至,此语法已更改其一个功能名称ALE 3.1,解决SWI Prolog的运算符解析问题,以及现在包含不连续声明。为了进行基准测试,它的行为与旧的hpsg.pl相同。
- “语义驱动生成”中的语法示例(发电机.pl)
- 来自计算语言学第条,共条Shieber等人适应了类型化特征结构的逻辑。
- 斑马拼图(baby.pl婴儿)
- 不是语法本身,而是简化版本的直接编码斑马拼图是一个简单的逻辑拼图,带有约束条件,用于说明了纯约束解析的威力。
第三方用户界面
H地毯
HDrug系统,由开发格特詹范诺德,是一个用于开发在上实现的逻辑语法的包SICStus Prolog 3.0或更高版本的顶部,以及Tcl/Tk。它已经在HP-UX上进行了测试,Linux和Sun平台。有关信息,请访问:HDrug主页
HDrug具有广泛的性能评估功能,包括绘图统计信息。它包含在解析时查看解析的方法创建、修改它们,并将它们与其他解析进行比较。它还包含在线手册。HDrug版本包括许多语法形式化实用程序除ALE外,包括树连接语法、定语从句语法、,范畴语法、脑驱动生成语法和外置语法。同样有趣的是Gertjan与高斯布马基于上下文的词汇规则延迟求值荷兰语的HPSG语法。
普洛克语法发展环境
对于那些使用在X窗口下运行的SICStus 2.1#9的用户,Pleuk语法开发shell已经针对ALE进行了调整。Pleuk描述如下技术报告。Calder,Jo(1993)《基于约束语法的图形交互》。在太平洋协会第一届会议记录计算语言学(1993年PACLING),加拿大不列颠哥伦比亚省温哥华。第页。160--168.
Pleuk提供图形用户界面、维护和测试语料库,以及一个交互式的增量派生检查器。普鲁克可从以下网站免费获得:ftp://ftp.cogsci.ed.ac.uk/pub/pleuk
文件README包含下载系统的说明。普洛克已移植到Sun SPARC SunOS 4.*和HP-UX。有关更多信息,发送电子邮件至pleuk@cogsci.ed.ac.uk。Pleuk由开发乔考尔德和克里斯·布鲁属于这个人类传播研究中心(HCRC)爱丁堡大学认知中心的凯文·汉弗莱斯爱丁堡大学科学与计算机专业的迈克·里普都柏林三一学院科学系。Emacs接口
Olivier Laurens正在向ALE分发基于Emacs的接口。它是在技术报告中描述(以压缩postscript格式):Olivier Laurens(1995)ALE的Emacs用户界面。技术报告CSS-IS TR 95-07,西蒙弗雷泽大学计算科学学院,伯纳比,不列颠哥伦比亚省,加拿大,1995年6月。ftp://fas.sfu.ca/pub/cs/nl/emacs-ale/tr95-07.ps.Z(20分)
它也可以通过ftp免费提供用于研究目的压缩的tarred目录:ftp://fas.sfu.ca/pub/cs/nl/emacs-ale/ale_emacs_1.tar.Z
教学材料
HPSG语法和类型特征形式化课程
1995年12月11日至14日
人际交往研究中心,爱丁堡大学
课程关于ALE中HPSG的注释由Colin Matheson创建,中心认知科学,大学爱丁堡
计算型形态学:ALE-RA简介由Colin Matheson创建,中心认知科学,大学爱丁堡基于Tomaz Erjavec创建的ALE-RA系统。
邮件列表和反馈
请将所有错误报告发送至gpenn+@cmu.edu.如果你想被列入ALE邮件列表并获得更新通知,新语法等,请发送电子邮件至Gerald Penngpenn+@cmu.edu公司.
如果您想发布到ALE邮件列表,请访问:
+dist+~gpenn/dl/ale.dl@andrew.cmu.edu
您可以将此列表别名为更可读的内容,或者只需单击如果您的浏览器支持表单,请使用上面的地址发送邮件。如果您有任何意见、建议或问题,请告诉我们。我们很想知道你对ALE做了什么。作为如果您愿意,我们可以将您的项目链接到此页面这样其他人就能知道;请给我们发一份描述以及一个URL(如果你有)。
ALE用户的项目报告
弗雷德里克·福夫里的报告荷兰HPSG和他的论文.
离子安德洛索普洛斯'论文时态数据库的自然语言接口,包括原型源代码.
关于ALE
ALE是在计算语言学项目和语言中开发的卡内基梅隆大学技术研究所鲍勃木匠和杰拉尔德·佩恩.语义头驱动生成器基于为编写的生成器奥克塔夫·波佩斯库的ALE。
杰拉尔德·佩恩,gpenn+@cmu.edu,2003年10月