×
杨森，杰伦;德克·弗梅尔;史蒂文·斯科卡特;马丁·德·科克

将模糊答案集编程简化为模糊逻辑中的模型查找。 （英语） Zbl 1255.68051号

理论与实践。日志。程序。 12，第6号，811-842（2012）.
摘要：近年来，答案集编程（ASP）已经扩展到处理多值谓词。通过将ASP下的稳定模型语义与模糊逻辑相结合，所产生的用于连续问题建模的形式可以像ASP一样优雅地用于离散问题的建模。然而，与经典ASP的情况相反，在经典ASP中构造了许多高效的求解器，到目前为止还没有高效的模糊ASP求解器。经典ASP的一项众所周知的技术是将ASP程序P转换为命题理论，其模型与P的答案集完全对应。在本文中，我们展示了如何将这一思想扩展到模糊ASP，为实现高效的模糊ASP求解器铺平了道路，该解算器可以利用现有的模糊逻辑推理器。

引用于5文件

MSC公司：

68N17号 逻辑编程
03B52号 模糊逻辑；模糊逻辑

关键词：

模糊逻辑;答案集编程;亚萨特
PDF格式BibTeX公司 XML格式引用
\textit{J.Janssen}等人，《理论与实践》。日志。程序。12，第6号，811--842（2012；Zbl 1255.68051）
全文： DOI程序

参考文献：

[1] Thiagarajan，第14届软件技术和理论计算机科学基础会议论文集（FSTTCS’94），第89页–（1994）
[2] DOI:10.1016/S0165-0114（98）00083-9·Zbl 0951.68015号 ·doi:10.1016/S0165-0114（98）00083-9
[3] 内政部：10.1016/0743-1066（92）90007-P·doi:10.1016/0743-1066（92）90007-P
[4] Gyssens，《第二届数据库理论国际会议论文集》（ICDT’88），第102页–（1988）
[5] 数字对象标识码：10.1007/b138862·doi:10.1007/b138862
[6] de la Banda，《第24届逻辑编程国际会议论文集》（ICLP’08），第362页–（2008）
[7] 内政部：10.1007/3-540-46767-X·doi:10.1007/3-540-46767-X
[8] 第十三届欧洲人工智能会议记录（ECAI'98）第388页–（1998）
[9] 内政部：10.1016/j.jal.2006.03.004·Zbl 1122.68025号 ·doi:10.1016/j.jal.2006.03.004
[10] 内政部：10.1017/S1471068405002619·Zbl 1110.68070号 ·文件编号：10.1017/S1471068405002619
[11] 阿尔弗雷斯，《第九届欧洲人工智能逻辑会议论文集》（JELIA’04），第252页–（2004）
[12] 内政部：10.1007/BF00881836·Zbl 0784.68082号 ·doi:10.1007/BF00881836
[13] 计算机科学中的逻辑方法1第51页-（1994）
[14] DOI:10.1016/S0304-3975（96）00127-2·Zbl 0874.68276号 ·doi:10.1016/S0304-3975（96）00127-2
[15] 内政部：10.1145/321033.321034·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034
[16] Gesú，第八届模糊逻辑与应用国际研讨会论文集（WILF’09）第60页–（2009）
[17] 内政部：10.1007/3-540-44652-4·doi:10.1007/3-540-44652-4
[18] Eiter，《第六届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’01）第379页–（2001）
[19] 内政部：10.1007/978-3-540-75410-7·Zbl 1138.68308号 ·doi:10.1007/978-3-540-75410-7
[20] Ojeda-Aciego，第七届欧洲人工智能逻辑研讨会论文集（JELIA’00），第57页–（2000）·doi:10.1007/3-540-40006-05
[21] Marchiori，《第一届网络推理和规则系统国际会议论文集》（RR'07），第289页–（2007）·doi:10.1007/978-3-540-72982-223
[22] Rovan，第28届计算机科学数学基础国际研讨会论文集（MFCS’03），第541页–（2003）
[23] 第16届IEEE模糊系统国际会议记录（FUZZ-IEEE’07）第652页–（2007）
[24] 胡，第六届函数与逻辑编程国际研讨会论文集（FLOPS’02），第152–（2002）页·doi:10.1007/3-540-45788-7_9
[25] 人工智能不确定性理论系列3第113页–（1998）
[26] Grünwald，《第26届人工智能不确定性会议论文集》（UAI’10）（2010）
[27] 内政部：10.1007/11546207·数字对象标识代码：10.1007/11546207
[28] DOI:10.1016/S0165-0114（01）00106-3·Zbl 1015.68036号 ·doi:10.1016/S0165-0114（01）00106-3
[29] Lifschitz，第九届逻辑程序设计和非单调推理国际会议论文集（LPNMR’07），第21–（2007）页·Zbl 1119.68003号 ·doi:10.1007/978-3-540-72200-7
[30] DOI:10.1016/j.artint.2004.04.004·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[31] 内政部：10.1007/s10472-007-9080-3·Zbl 1125.68118号 ·doi:10.1007/s10472-007-9080-3
[32] 知识表示、推理和陈述式问题解决（2003）·Zbl 1056.68139号
[33] 内政部：10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码：10.1145/1149114.1149117
[34] Dahl，《第23届逻辑编程国际会议论文集》（ICLP’07），第449页–（2007）
[35] 复杂性和近似性（1999）·doi:10.1007/978-3-642-58412-1
[36] 电话：10.1109/69.940732·数字对象标识代码：10.1109/69.940732
[37] 逻辑程序设计杂志30页37–（1986）
[38] 理论计算机科学电子笔记66 pp 1–（2002）
[39] 内政部：10.1016/S0306-4379（97）00030-6·Zbl 0893.68056号 ·doi:10.1016/S0306-4379（97）00030-6
[40] 太平洋数学杂志5，第285页–（1955）·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[41] 数字对象标识码：10.1145/176567.176571·数字对象标识代码：10.1145/176567.176571
[42] Karagiannis，第五届数据库和专家系统应用国际会议记录（DEXA’94），第724页–（1994）·Zbl 0803.0025号
[43] 内政部：10.1137/070695976·Zbl 1183.68158号 ·doi:10.1137/070695976
[44] 邦迪，《第八届国际人工智能联合会议论文集》（IJCAI’83），第529页–（1983）
[45] 模糊逻辑的元数学（逻辑趋势）（2001）
[46] 内政部：10.1007/978-3-642-02906-6·Zbl 1165.68020号 ·doi:10.1007/978-3-642-02906-6
[47] 内政部：10.1007/BF01530787·Zbl 0856.03011号 ·doi:10.1007/BF01530787
[48] 内政部：10.1007/978-3-642-04388-8·Zbl 1173.68310号 ·doi:10.1007/978-3642-04388-8
[49] 第19届全国人工智能会议记录（AAAI'04）第61页–（2004）
[50] 模糊逻辑数学原理（1999）·Zbl 0940.03028号
[51] 内政部：10.1007/s10472-006-9029-y·Zbl 1105.68104号 ·doi:10.1007/s10472-006-9029-y
[52] 第五届逻辑程序设计国际会议和研讨会记录（ICLP/SLP’88）第1081页–（1988）
[53] 内政部：10.1007/978-3642-04238-6·Zbl 1175.68008号 ·doi:10.1007/978-3642-04238-6
[54] 第19届国际人工智能联合会议记录（IJCAI'05）（2005）
[55] DOI:10.1002/（SICI）1097-4571（2000）51:2&lt；95:：AID-ASI2&gt；3.0.CO；2-H型·doi:10.1002/（SICI）1097-4571（2000）51:2<95:：AID-ASI2>3.0.CO；2-H型
[56] DOI:10.1006/inco.1994.1023·Zbl 0804.68026号 ·doi:10.1006/inco.1994.1023
[57] 内政部：10.1016/0743-1066（91）90014-G·Zbl 0757.68028号 ·doi:10.1016/0743-1066（91）90014-G
[58] Baroglio，《2008年第四届国际暑期学校推理网络会议录》，第54页–（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。