×
马丁·威尔辛;Denker，砂砾;卡罗琳·塔尔科特;安迪·波乔;琳达·布里塞梅斯特

软约束的重写逻辑框架。 （英语） 兹比尔1279.68124

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，181-197（2007）。
概述：软约束扩展了经典约束，以处理非功能需求、过度约束问题和偏好。Bistarelli、Montanari和Rossi开发了一个非常优雅和抽象的基于半环的软约束理论，其中许多不同类型的软约束可以在所谓的约束半环上以统一的方式表示和组合。在本文中，我们提出了一个用于重写逻辑中的软约束原型的框架，即Bistarelli、Montanari和Rossi。作为一个案例研究，我们将软约束应用于软件定义无线网络的新领域。我们将软件无线电的“最优”参数分配问题建模为一个软约束求解问题，证明了约束求解算法的正确性，在我们的软约束重写逻辑框架原型中实现了该解决方案，并将我们的软限制解算器嵌入到SRI的策略软件中，用于无线网络建模的面向目标的分布式体系结构（PAGODA）。
关于整个系列，请参见[Zbl 1273.68026号].

引用于7文件

MSC公司：

2012年第68季度 语法和重写系统

关键词：

重写逻辑;软约束;软件定义无线电

软件：

帕戈达;莫德
PDF格式BibTeX公司 XML格式引用
\textit{M.Wirsing}等人，《电子》。注释Theor。计算。科学。176，第4号，181--197（2007；Zbl 1279.68124）
全文： 内政部

参考文献：

[1] Bistarelli，S.，《软约束求解和编程的半环》，计算机科学讲义，第2962卷（2004），Springer-Verlag·Zbl 1054.68136号
[2] 比斯塔雷利，S。；弗洛伊德，E.C。；O'Sullivan，B.，《在基于半环的软约束框架中编码部分约束满足》，（第16届IEEE Internat.人工智能工具会议.第16届EEE Internat.人造智能工具会议，（ICTAI 2004）（2004），IEEE计算机学会），240-245
[3] S.Bistarelli，T.Frühwirth，M.Marte，F.Rossi：约束处理规则中的软约束传播和求解。计算智能，AI和CP偏好专刊，布莱克威尔出版社; S.Bistarelli，T.Frühwirth，M.Marte，F.Rossi：约束处理规则中的软约束传播和求解。计算智能，AI和CP偏好专刊，布莱克威尔出版社
[4] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束求解与优化，ACM杂志，44，201-236（1997）·Zbl 0890.68032号
[5] S.Bistarelli、U.Montanari和F.Rossi。软并发约束编程。出现在ACM计算逻辑事务（TOCL）; S.Bistarelli、U.Montanari和F.Rossi。软并发约束编程。出现在ACM计算逻辑事务（TOCL）·Zbl 1077.68570号
[6] 卡洛斯·卡斯特罗和埃里克·蒙弗罗伊。解决CSP的策略语言。在K.Apt、P.Codognet和E.Monfroy（编辑）：Proc。约束工作组第三次ERCIM研讨会，ERCIM’98，1998；卡洛斯·卡斯特罗和埃里克·蒙弗罗伊。解决CSP的策略语言。在K.Apt、P.Codognet和E.Monfroy（编辑）：Proc。约束工作组第三次ERCIM研讨会，ERCIM’98，1998·Zbl 0970.68601号
[7] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；Marti-Oliet，N。；梅塞盖尔，J。；Talcott，C.，《Maude 2.0系统》，（重写技术与应用，重写技术和应用，RTA’03）。重写技巧与应用。重写技术与应用，（RTA’03），计算机科学讲稿（2003），斯普林格·弗拉格出版社·Zbl 1038.68559号
[8] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；Marti-Oliet，N。；梅塞盖尔，J。；Talcott，C.，Maude 2.0手册（2003），计算机科学实验室，SRI国际·Zbl 1038.68559号
[9] 德尔加多，A。；Olarte，C。；佩雷斯，J。；Rueda，C.，《使用莫扎特实现基于半环的约束》，（第二届国际莫扎特/奥兹会议论文集，第二届莫扎特国际奥兹会议文献集，LNCS，3389（2004），斯普林格-Verlag）
[10] 德尼古拉，R。；法拉利，G。；蒙塔纳里，美国。；Pugliese，R。；Tuosto，E.，《服务水平协议建模的基本演算》（Coordination 2005）。2005年协调，LNCS，3454（2005），Springer-Verlag）
[11] C.Domshlak、S.Prestwich、F.Rossi、K.B.Venable和T.Walsh。定性条件偏好推理的硬约束和软约束。出现在启发式杂志; C.Domshlak、S.Prestwich、F.Rossi、K.B.Venable和T.Walsh。定性条件偏好推理的硬约束和软约束。出现在启发式杂志·Zbl 1125.68410号
[12] D.Dvorak、R.Rasmussen、G.Reeves和A.Sacks。喷气推进实验室任务数据系统中的软件架构主题。2000年美国IEEE航空航天会议，http://techreports.jpl.nasa.gov/1999/99-1886.pdf; D.德沃夏克、R.拉斯穆森、G.里夫斯和A.萨克斯。喷气推进实验室任务数据系统中的软件架构主题。2000年美国IEEE航空航天会议，http://techreports.jpl.nasa.gov/1999/99-1886.pdf
[13] 乔吉特，Y。；Codognet，P.，用clp（FD，S）编译基于半环的约束，（CP98，约束编程的原理与实践，CP98，限制编程的原理和实践，LNCS，1520（1998），Springer-Verlag），205-219
[14] Meseguer，J.，作为并发统一模型的条件重写逻辑，理论计算机科学，96，73-155（1992）·Zbl 0758.68043号
[15] 北穆塞托拉。；潘都朗，P。；佩尔，B。；Williams，B.，《远程代理：勇敢地去没有人工智能系统的地方》，Artif。情报，103，5-48（1998）·Zbl 0909.68167号
[16] S.Prestwich、F.Rossi、K.B.Venable、T.Walsh。约束CP网络。预印本编号：13-2004，意大利帕多瓦大学纯粹和应用数学系；S.Prestwich、F.Rossi、K.B.Venable、T.Walsh。约束CP网络。预印本编号：13-2004，意大利帕多瓦大学纯粹和应用数学系
[17] Rudova，Hana，Soft CLP（FD），（Haller，Susan；Russell，Ingrid，FLAIRS’03，人工智能最新进展：第十六届国际FLAIRS会议论文集（2003），AAAI出版社），202-206
[18] 马丁·威辛（Martin Wirsing）、马蒂亚斯·霍兹尔（Matthias Hölzl）、格里特·丹克（Grit Denker）和卡罗琳·塔尔科特（Carolyn Talcott）。软约束和首选项语言：语法、语义和执行。即将到来；Martin Wirsing、Matthias Hölzl、Grit Denker和Carolyn Talcott。软约束和首选项语言：语法、语义和执行。即将到来·Zbl 1279.68124号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。