×

兹马思-数学第一资源

用序列变量和序列函数求解方程。(英语) Zbl 1124.68121号
摘要:研究了包含单个变量和序列变量以及序列函数符号的项方程。函数符号可以有固定的或灵活的arity。序列变量可以由任何有限的项序列实例化。序列函数是指所有函数都具有相同参数列表的有限序列。证明了这种形式的方程组的可解性是可判定的。提出了一个新的统一过程,它列举了一个完整的几乎最小解集,以及特殊情况下的变化。如果解集是有限的,则过程终止。讨论了在人工智能、符号计算和编程的各个领域中的应用。

理学硕士:
68立方厘米 符号计算与代数计算
03B35型 证明和逻辑运算的机械化
68T15型 定理证明(演绎、解析等)(MSC2010)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿卜杜拉布,H。;Pécuchet,J.-P.,解词方程,符号计算杂志。,8499-522,(1990年)
[2] 巴德尔,F。;许尔茨,K.U.,《通过优化组合程序实现A和AX的统一》,第23-42页·Zbl 0925.03059
[3] 巴德尔,F。;舒尔茨,K.U.,《不相交方程理论联合中的统一:组合决策程序》,J.《符号计算》。,21,221-244,(1996年)·Zbl 0851.68055
[4] 巴德尔,F。;斯奈德,W.,《统一论》,第445-532页,(第8章)·Zbl 1011.68126
[5] 布莱索,W.W。;冯,G.,集合变量,J.自动机。原因。,11,3,293-314,(1993年)·Zbl 0802.68130
[6] Boley,H.,《紧密的,实用的关系和功能的整合》,Lnai,第1712卷,(1999),斯普林格·Zbl 1045.68001
[7] 布赫伯格,B。,数学软件作为重写语言,(),1-13
[8] 布赫伯格,B。;杜普里,C。;杰贝伦,T。;克里夫纳,F。;中川,K。;瓦萨鲁,D。;温斯泰格,W理论项目:进度报告,(),98-113·Zbl 1017.68110
[9] 科埃略,J。;弗罗里多,M.,CLP(flex):应用于XML处理的约束逻辑编程,(),1098-1112
[10] Colmerauer,A.,介绍序言三、 通信。ACM,33,7,69-91,(1990年)
[11] 公共逻辑工作组,2003年。抽象语法与一般语义学。http://cl.tamu.edu/docs/cl/1.0/cl-1.0.pdf
[12] Genesereth,M.R.,Petrie,C.,Hinrichs,T.,Hondroulis,A.,Kassoff,M.,Love,N.,Mohsin,W.,1998年。知识交换格式,美国国家标准草案。技术代表NCITS。T2/98-004。http://logic.stanford.edu/kif/dpans.html
[13] Ginsberg,M.L.,MVL定理证明系统,SIGART bull。,2,3,57-60,(1991年)
[14] Hamada,M.,Ida,T.,1997年。延迟收缩算法在数学软件技术报告97-02,RISC。奥地利林茨约翰内斯开普勒大学
[15] 哈马纳,M.,1997年。用序列重写术语。在:过程。第一个内景。枣灰蝶属研讨会。技术报告97-20,RISC。奥地利林茨约翰内斯开普勒大学·Zbl 0924.68048
[16] Hayes,P.,Menzel,C.,2001年。知识交换格式的语义,http://reliant.teknowdgee.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf
[17] 《最小统一》第37卷,第37卷,第1卷·Zbl 0697.68052
[18] Kohlhase,M.,1994年。一种基于分解原理的排序高阶逻辑的机械化。博士论文。德国萨尔布吕肯萨尔兰大学
[19] 库西亚,T.,2002a。用数列变量和灵活的数列符号求解和证明。博士论文。奥地利林茨约翰内斯开普勒大学·Zbl 1023.03525
[20] 郭子良,等.序列变量与灵活数列符号的统一及其与模式项的扩展,(),290-304·Zbl 1072.68580
[21] Kutsia,T.,等式证明理论,(),367-379·Zbl 1038.68570
[22] 库齐亚,T.,《求解涉及序列变量和序列函数的方程》,第157-170页·Zbl 1109.68579
[23] 库西亚,T。;《具有序列变量和序列函数符号的谓词逻辑》,第205-219页·Zbl 1109.68111
[24] 马卡宁,G.S.,自由半群中方程的可解性问题,数学。苏联斯博尼克,32,2,129-198,(1977年)·Zbl 0396.20037
[25] 马林,M。;Ţepeneu,D.,使用序列变量编程:the顺序包装,(),17-24
[26] 马林,M。;《论基于规则的程序设计系统的实现及其应用》,第55-68页
[27] 保尔森,L。,伊莎贝尔:下一个700个定理证明者,(),361-386
[28] 普洛金,G.,《建立在等式理论中》,第73-90页·Zbl 0262.68036
[29] 理查森,J。;Fuchs,N.E.,为序言程序,(),263-281
[30] 《基于解析原理的面向机器逻辑》,J.ACM,12,1,23-41,(1965)·Zbl 0139.12303号
[31] 施密特,R.,\(E\)—S4子系统的统一性,(),106-120·Zbl 0903.03013
[32] 舒尔茨,K.U.,广义方程的统一与转换,J.自动推理,11,2194-184,(1993)·Zbl 0802.68136
[33] 西克曼,J.,1975年。字符串统一。埃塞克斯大学论文
[34] Wolfram,S.,《数学书》(2003年),Wolfram Media
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。