×

兹马思-数学第一资源

论语境与序列统一的关系。(英语) Zbl 1194.68224
摘要:序列和语境的统一概括了同一个问题:词的统一。除此之外,序列统一解决了涉及序列变量的未排序项之间的方程,似乎对XML文档中的信息提取、程序转换、知识表示和基于规则的编程很有吸引力。它是可决定的。上下文统一处理涉及上下文变量的排序术语的相同问题,在计算语言学和程序转换中有应用。它的可决定性是一个长期的悬而未决的问题。
在这项工作中,我们研究这两个问题之间的关系。我们引入了一种上下文统一的变体(限制),称为左洞上下文统一(LHCU),它是一个P-约化的序列统一:我们定义了一个将序列统一问题转化为左洞上下文统一问题的部分currening过程,并证明了翻译的正确性。此外,通过对统一体形状的精确刻画,我们可以很容易地将左洞上下文统一简化为具有规则约束的单词统一问题,从而获得序列统一的一个新的可判定性证明。最后,我们定义了序列统一(ESU)的一个扩展,并通过闭圈证明了LHCU和ESU的互P-可约性。

理学硕士:
68T30型 知识表示
68Q42号 语法与重写系统
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
参考文献:
[1] 博利,H.,()
[2] 布赫,伯杰。;克拉辛,A。;杰贝伦,T。;科瓦茨,L。;库西亚,T。;中川,K。;皮罗伊,F。;波波夫,N。;罗布,J。;罗森克兰兹,M。;温斯泰格,W.,《理论:走向计算机辅助数学理论探索》,J.appl。日志。,4470-504,(2006年)·Zbl 1107.68095
[3] 查塞尔,E。;《逻辑程序模式、约束与半统一》,第69-89页
[4] 千叶市。;奥托,T。;富山,Y.基于术语重写的程序模板转换,(),第59-69页
[5] 科埃略,J。;弗罗里多,M.,CLP(flex):应用于XML处理的约束逻辑编程,(),1098-1112
[6] 科埃略,J。;《验证网站内容的约束逻辑程序设计方法》,第148-156页
[7] 科埃略,J。;弗洛里多,M。;库西娅,T.序列分解及其在协同模式构建中的应用,第91-102页
[8] 公共逻辑工作组,2007年。通用逻辑工作组文件:通用逻辑标准,http://common-logic.org/
[9] 《马卡宁算法》,第342-390页,第12章
[10] 加里,M。;Johnson,D.,《计算机与难处理性》(1979),加州旧金山弗里曼
[11] Genesereth,M.R.,Petrie,C.,Hinrichs,T.,Hondroulis,A.,Kassoff,M.,Love,N.,Mohsin,W.,1998年。知识交换格式,美国国家标准草案。DPAN。技术代表NCITS。T2/98-004年
[12] Ginsberg,M.L.,MVL定理证明系统,SIGART bull。,2,3,57-60,(1991年)
[13] 哈马纳,M.,1997年。用序列重写术语。在:过程。第一届国际理论研讨会。技术报告97-20,RISC,林茨,奥地利·Zbl 0924.68048
[14] Hayes,P.,Menzel,C.,2001年。知识交换格式的语义,In:IJCAI 2001年IEEE标准上层本体论研讨会
[15] Hayes,P.J.,Menzel,C.,2005年。简单的普通逻辑。在:W3C的互操作性规则语言研讨会。W3C公司
[16] 《最小统一》第37卷,第37卷,第1卷·Zbl 0697.68052
[17] 科勒,A.,1998年。正在评估语义欠规范的上下文统一。在:第三届ESSLLI学生会议。埃斯利98年8月17日至28日。第188-199页
[18] 埃尔斯卡。;Pacholski,L.,马卡宁算法的复杂性,J.ACM,43,4,670-684,(1996)·Zbl 0882.68073
[19] 郭子良,等.序列变量与灵活数列符号的统一及其与模式项的扩展,(),290-304·Zbl 1072.68580
[20] 库齐亚,T.用序列变量和序列函数求解方程,符号计算杂志。,423352-388,(2007年)·Zbl 1124.68121号
[21] 库西亚,T。;利维,J。;维拉雷特,M.,《通过货币化实现序列统一》,第288-302页·Zbl 1196.68111
[22] 库西亚,T。;马林,M.,与规则约束相匹配,(),215-229·Zbl 1143.68590
[23] 《线性二阶统一》,第332-346页
[24] 利维,J。;尼伦,J。;《良好嵌套的上下文统一》,第149-163页·Zbl 1135.03328
[25] 利维,J。;《语境统一与遍历方程》,第169-184页·Zbl 0981.68062
[26] 利维,J。;《解决二阶统一问题》,第326-339页·Zbl 1045.68073
[27] 马卡宁,G.S.,自由半群中方程的可解性问题,数学。苏联斯博尼克,32,2,129-198,(1977年)·Zbl 0396.20037
[28] 马林,M。;Kutsia,T.,基于规则的系统基础rholog,J.appl。非经典逻辑,16,1-2,151-168,(2006)·Zbl 1184.68175
[29] Niehren,J.,Pinkal,M.,Ruhrberg,P.,1997年。对欠规范和并行性的统一方法。在:过程。第35届ACL年会和ACL欧洲分会第8届会议,ACL'97。第410-417页
[30] 尼伦,J。;《平行性与树规则约束》,第311-326页·Zbl 1023.03538号
[31] 尼伦,J。;《语境统一中的lambda术语描述》,第221-237页·Zbl 1082.68848号
[32] 大井,S。;Suzuki,T.,《通过转换实现不完全重类型表达式的模式匹配》,IPSJ trans。程序。,47,信号6(PRO29),37-49,(2006年)
[33] 《下一个700个定理证明者》,第361-386页
[34] 普朗道斯基,W.著,具有常数的词方程的可满足性在PSPACE,(),495-500
[35] 理查森,J。;《为prolog程序开发正确的转换模式》,第263-281页
[36] 施密特.肖ß,M.分层上下文统一的决策算法,逻辑计算杂志。,1929-953,(2002年)·Zbl 1019.03002
[37] Schmidt Schauß,M。;舒尔茨,K.U.,环境方程最小解的周期性指数,(),第61-75页·Zbl 0901.03034
[38] Schmidt Schauß,M。;Stuber,J.,《线性和分层上下文匹配问题的复杂性》,理论计算。系统。,376717-740,(2004年)·Zbl 1061.68179
[39] 舒尔茨,K.U.,马卡宁的词方程算法——两个改进和一个推广,(),85-150
[40] Wolfram,S.,《数学书》(2003年),Wolfram Media
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。