×

约束逻辑编程中有理线性算法的标准形式。 (英语) Zbl 1034.68508号

摘要:有理(resp.real)线性算法是几个约束逻辑编程语言中包含的计算领域。此计算域的决策过程通常基于约束表示的标准形式。本文证明了单纯形算法用于方程表示的标准形式不适用于确定包含不等式的线性约束系统。我们提出了一种新的标准形式,从中派生出来,克服了这一困难。然后我们证明,可以通过旋转来扩展单纯形算法以保持这种标准形式。这些结果为约束逻辑编程语言中有理线性算法的高效增量过程提供了基础。

MSC公司:

68N17号 逻辑编程

软件:

炸薯条
PDF格式 BibTeX公司 XML格式 引用
全文: 内政部

参考文献:

[1] A.Aiba、K.Sakai、Y.Sato、D.J.Hawley和R.Hasegawa,约束逻辑编程CAL,in:Proc。第五代计算机系统国际会议,日本东京(1988年12月)。
[2] R.Bland,单纯形法的新有限旋转规则,数学。操作。第2号决议(1977年)103-107·Zbl 0408.90050号
[3] A.Colmerauer,《打开Prolog-III宇宙》,《BYTE杂志》第12卷第9期(1987年8月)。
[4] G.B.Dantzig,《线性规划与扩展》(普林斯顿大学出版社,新泽西州普林斯顿,1963年)。
[5] G.B.Dantzig,A.Orden和P.Wolfe,线性不等式约束下最小化线性形式的广义单纯形方法,太平洋数学杂志。5 (1955) 183-195. ·Zbl 0064.39402号
[6] M.Dincbas、P.Van Hentenryck、H.Simonis、A.Aggoun、T.Graf和F.Berthier,约束逻辑编程语言CHIP,in:Proc。第五代计算机系统国际会议,日本东京(1988年12月)。
[7] R.Freund、R.Roundy和M.Todd,在单个线性程序中确定线性不等式系统中的始终有效约束集,技术报告工作文件1674-85,麻省理工学院斯隆管理学院(1985)。
[8] R.S.Garfinkel和G.L.Nemhauser,《整数规划》(Wiley,纽约,1972)。
[9] J.L.Imbert和P.Van Hentenryck,基于线性有理算术的CLP不等式的有效处理,技术报告CS-91-23,布朗大学CS系(1991)。
[10] J.Jaffar和J.-L.Lassez,约束逻辑编程,收录于:POPL-87,德国慕尼黑(1987年1月)。
[11] J.Jaffar和S.Michaylov,《CLP系统的方法和实现》,载于:第四届逻辑编程国际会议,澳大利亚墨尔本(1987年5月)。
[12] J.-L.Lassez和K.McAloon,《消极约束的独立性》即将出版。
[13] J.-L.Lassez和K.McAloon,广义线性约束规范形式的应用,in:Proc。第五代计算机系统国际会议,日本东京(1988年12月)。
[14] G.Nelson,《程序验证技术》,技术报告CSL-81-10,施乐帕洛阿尔托研究中心研究报告(1981年)。
[15] A.Schrijver,线性与整数规划理论,离散数学与优化跨学科系列(Wiley,1986)·Zbl 0665.90063号
[16] P.J.Stuckey,增量线性算术约束求解和隐式等式检测,提交出版(1990年)。
[17] J.Telgen,《冗余和线性程序》,《数学中心第137册》,数学中心,阿姆斯特丹(1981年)·Zbl 0474.90052号
[18] S.N.Tschernikow,Lineare Ungleichungen(VEB Deutscher Verlag der Wissenschaften,柏林,1971)。
[19] P.Van Hentenryck和T.Graf,约束逻辑编程中有理线性算术的标准形式,in:Int。交响乐团。《人工智能和数学》,佛罗里达州劳德代尔堡(1990年1月);此外,ECRC内部报告IR-LP-2217·Zbl 1034.68508号
[20] P.Van Hentenryck和J.L.Imbert,《关于线性有理算术求解形式中的冗余约束》,即将出版。
[21] P.Voda,《约束语言三部曲:语义和计算》,技术报告,《完整逻辑系统》,加拿大不列颠哥伦比亚省北温哥华(1988)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。