×
M.Andrew Moshier先生

特征结构域的合理重建。 （英语） Zbl 0832.03015号

J.逻辑语言信息。 4，第2期，111-143（1995）.
特征结构在语言学的许多领域中以各种形式被使用。非正式地，人们可以将特征结构描绘为一种树，它用要求特定子树相同（同构）的约束信息进行修饰。在这里，我展示了这种非正式的特征结构图片可以用于准确地描述在通常的包含顺序下的特征结构类别。此外，一旦树的精确定义固定，这种特征化仅使用标准的领域理论概念来描述领域中元素所承载的信息，从而删除（或更好地解释）了特征结构原始定义中所有明显的特殊选择。此外，我还展示了如何将该特征参数化，以获得各种不同特征结构概念的类似特征，包括非循环结构、具有适当性条件的结构和具有隔离条件的结构（用于建模路径不等式）。对特征结构的其他概念的概括也强调，这里给出的构造实际上与特征结构的应用无关。

引用于1文件

MSC公司：

03B65号 自然语言逻辑
68T50型 自然语言处理

关键词：

域;约束;特征结构
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Moshier}，J.Logic Lang.Inf.4，No.2，111--143（1995；Zbl 0832.03015）
全文： 内政部

参考文献：

[1] 萨姆森·艾布拉姆斯基，1991年？逻辑形式的领域理论，？《纯粹与应用逻辑年鉴》51，1-77·Zbl 0737.03006号 ·doi:10.1016/0168-0072（91）90065-T
[2] 艾特·卡奇、哈桑和纳斯尔、罗杰，1986年？LOGIN：一种内置继承的逻辑编程语言，？逻辑编程杂志3185-215·兹伯利0599.68013 ·doi:10.1016/0743-1066（86）90013-0
[3] 艾特·卡奇，哈桑和波德尔斯基，A.，1993年？走向生命的意义，？逻辑编程杂志，LNCS第528卷，255-274·Zbl 0801.68018号
[4] 阿伊特·卡奇、哈桑、波德尔斯基和斯莫尔卡，格特，1994年？一个基于特征的包含逻辑编程约束系统，？理论计算机科学122（1-2），263-283·Zbl 0801.68023号 ·doi:10.1016/0304-3975（94）90209-7
[5] Backofen，Rolf和Smolka，Gert，1993年？一个完整的递归特征理论，？第193-200页，计算语言学协会第31届年会，1993年6月·Zbl 0873.68024号
[6] Jon Barwise，1991年？领域理论中的信息链接，？印第安纳大学逻辑小组技术报告IULG-91-7。
[7] 帕特里克·布莱克本，1994年？结构、语言和翻译：特征逻辑的结构方法，？第1-27页，《约束、语言和计算》，M.A.Rosner、C.J.Rupp和R.L.Johnson主编，学术出版社。
[8] Robert Carpenter，1992，《类型化特征结构的逻辑》。《剑桥理论计算机科学丛书》，剑桥大学出版社，
[9] 科尔梅劳尔，A.，1984年？有限树和无限树上的方程和不等式，？第85-99页，《第五代计算机系统国际会议记录》。
[10] 罗纳德·卡普兰和琼·布雷斯南，1983年？词汇功能语法：语法表征的形式系统，？《语法关系的心理表征》，琼·布雷斯南主编，麻省理工学院出版社，第173-281页。
[11] 马丁·凯，1979年？功能语法，？第142-158页《伯克利语言学会第五届年会论文集》，1979年2月。
[12] 桑德斯·麦克·莱恩，1971年，《工作数学家分类》，《数学研究生教材》第5卷，斯普林格·弗拉格出版社·Zbl 0232.18001号
[13] Moshier，Michael Andrew，1988，《程序设计语言描述的统一语法扩展》。密歇根大学博士论文。
[14] Paterson，M.S.和Wegman，M.N.，1978年？线性统一，？计算机与系统科学杂志16，158-167·Zbl 0371.68013号 ·doi:10.1016/0022-0000（78）90043-0
[15] Fernando C.N.Pereira和Stuart M.Shieber，1984年？语法形式的语义被视为计算机语言，？第十届国际计算语言学会议论文集：COLING 84，1984年7月，第123-129页。
[16] Pierce，Benjamin C，1991，《计算机科学家的基本范畴理论》。麻省理工学院出版社·Zbl 0875.18001号
[17] 戈登·普洛金，1983年？域，？爱丁堡大学讲稿。
[18] Carl Pollard和Sag，Ivan A.，1987年，基于信息的语法和语义，CSLI课堂讲稿第1卷。
[19] 斯莫尔卡（Smolka）、格特（Gert）和特雷宁（Treinen）、拉尔夫（Ralf），1994年？逻辑编程记录，？逻辑编程杂志18（3），229-258·Zbl 0803.68021号 ·doi:10.1016/0743-1066（94）90044-2
[20] 迈克尔·史密斯，1983年？最大的笛卡尔闭域类别，？理论计算机科学27（1,2），109-119·Zbl 0556.68017号 ·doi:10.1016/0304-3975（83）90095-6
[21] 史蒂文·维克斯（Steven Vickers），1989年，《拓扑逻辑》（Logic via Topology），《剑桥理论计算机科学丛书》（Cambridge Tracts in Theory Computer Science）第5卷，剑桥大学出版社·Zbl 0668.54001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。