×
Jean-François康多塔;苏希拉·卡奇;雅库布Salhi

时间定性约束网络中的优化。 （英语） Zbl 1336.68244号

学报信息。 53，编号2149-170（2016）.
摘要：过去三十年来，人们研究了各种形式的表示和推理定性约束的时间信息。最著名的无疑是艾伦提出的点代数和区间代数。在本文中，对于这两种计算，我们研究了一个称为最小一致性问题（（mathsf{MinCons}））的问题。给定一个时间定性约束网络（（mathsf{TQCN}）和一个正整数（k），这个问题在于决定这个（mathsf{TQCN}）是否允许使用线上最多（k）个不同点的解。
我们证明，对于（mathsf{PA}），可以将（mathsf{MinCons}）编码为Gödel逻辑的有限版本。此外，我们还证明了在一般情况下，（mathsf{MinCons}）问题对于（mathsf{PA}）和（mathsf1{IA}）都是（mathsf-NP}）-完备的。然而，我们证明了对于定义在凸关系上的（mathsf{TQCN}）s，（mathsf{MinCons}）是多项式的。对于这样的（mathsf{TQCN}），我们给出了一种多项式方法，它允许我们获得紧凑的场景。

引用于1文件

MSC公司：

68T27型 人工智能中的逻辑
68第05页 数据结构
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析
68兰特 计算机科学中的图论（包括图形绘制）
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
\textit{J.-F.Condotta}等人，《信息学报》53，第2期，149--170（2016年；Zbl 1336.68244）
全文： 内政部

参考文献：

[1] Allen，J.F.：时间知识的基于间隔的表示。在：IJCAI（1981）·Zbl 1090.90167号
[2] Allen，J.F.：保持对时间间隔的了解。Commun公司。ACM 26（11），832-843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[3] Amaneddine，N.，Condotta，J.-F.，Sioutis，M.：解决时间和空间定性约束的最小标记问题的有效方法。摘自：2013年8月3日至9日在中国北京举行的第23届国际人工智能联合会议（IJCAI'13）会议记录·Zbl 0786.68088号
[4] Avron，A.：Gödel-Dummett逻辑的一个基于超连续演算的表格系统。收录于：TABLEAUX，第98-111页（2000年）·Zbl 0963.03008号
[5] Baaz，M.，Ciabattoni，A.，Fermüller，C.G.：通过超子句分解对一阶哥德尔逻辑进行截消。收录于：LPAR，第451-466页（2008年）·Zbl 1182.03102号
[6] 比森，M.J.：建构数学基础。现代数学调查。柏林施普林格（1984）
[7] Boutiler，C.：走向定性决策理论的逻辑。在：KR'94，第75-86页（1994年）·Zbl 1270.68270号
[8] Condotta，J.-F.，Kaci，S.：编译定性约束问题中的偏好查询。（副手）。摘自：第26届国际FLAIRS会议记录（FLAIRS’13）（即将出版）（2013年）·Zbl 0786.68088号
[9] Drakengren，T.，Jonsson，P.：关于基本关系子集的Allen代数中可处理性的完整分类。工件。智力。106(2), 205-219 (1998) ·Zbl 0910.68082号 ·doi:10.1016/S0004-3702（98）00093-9
[10] Dummett，M.：具有可数矩阵的命题演算。J.Symb。日志。24(2), 97-106 (1959) ·Zbl 0089.24307号 ·doi:10.2307/2964753
[11] Garey，M.R.，Johnson，D.S.：《计算机与不可处理性，NP-完备性理论指南》。弗里曼，纽约（1979）·Zbl 0411.68039号
[12] Hajek，P.：模糊逻辑的元数学。多德雷赫特·克鲁沃（1998）·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3
[13] Huang，J.，Li，J.J.，Renz，J.：定性时空推理中的分解和可处理性。工件。智力。195, 140-164 (2013) ·Zbl 1270.68270号 ·doi:10.1016/j.artint.2012.09.09
[14] Kaci，S.，van der Torre，L.：具有各种偏好的推理：逻辑、非单调性和算法。安·Oper。第163（1）号决议，第89-114（2008）号决议·Zbl 1172.03318号 ·doi:10.1007/s10479-008-0331-4
[15] Larchey-Wendling，D.：哥德尔-德米特逻辑中的反模型搜索。收录于：IJCAR，第274-288页（2004年）·Zbl 1126.03304号
[16] Larchey-Wendling，D.：用哥德尔-杜米特逻辑限制资源消耗。收录于：LPAR，第682-696页（2005年）·Zbl 1143.03340号
[17] Ligozat，G.F.：关于广义区间计算。摘自：《第九届全国人工智能会议论文集》（AAAI'91），第234-240页。美国人工智能协会（1991年7月）·Zbl 0910.68082号
[18] Mackworth，A.K.：关系网络的一致性。工件。智力。8, 99-118 (1977) ·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8
[19] Nebel，B.：解决难以定性的时间推理问题：评估ORD-Horn类的使用效率。在：ECAI（1996）·Zbl 0870.68138号
[20] Nebel，B.，Bürckert，H.-J.：关于时间关系的推理：艾伦区间代数的一个最大可处理的子类。JACM 42、43-66（1995）·Zbl 0886.68077号 ·doi:10.1145/200836.200848
[21] Nökel，K.：技术诊断中的暂时性症状分布。LNCS 517，1-184（1991）·Zbl 0786.68088号
[22] Nökel，K.：《技术诊断中的时间分布症状》，计算机科学讲义第517卷。柏林施普林格（1991）·Zbl 0786.68088号
[23] Renz，J.，Ligozat，G.：定性时空推理的弱组合。收录于：《第十一届约束编程原理与实践国际会议论文集》（CP'05），西班牙Sitges，第3709卷，计算机科学讲稿，第534-548页（2005）·Zbl 1153.68482号
[24] The，A.N.，Tsoukiás，A.：PQI区间阶的数值表示。离散应用程序。数学。147(1), 125-146 (2005) ·Zbl 1090.90167号 ·doi:10.1016/j.dam.2004.06.026
[25] Troelstra，A.S.，van Dalen，D.：数学中的建构主义，导论。逻辑和数学基础研究。荷兰北部，阿姆斯特丹（1988年）·兹比尔0653.03040
[26] Van Beek，P.，Cohen，R.：关于时间关系的精确和近似推理。计算。智力。6, 133-144 (1990) ·文件编号：10.1111/j.1467-8640.1990.tb00130.x
[27] Vilain，M.，Kautz，H.：时间推理的约束传播算法。摘自：《第五届全国人工智能会议记录》（AAAI'86），第377-382页（1986）
[28] Vilain，M.，Kautz，H.，van Beek，P.：时间推理的约束传播算法：修订报告。收录：Weld，D.S.，de Kleer，J.（编辑）《物理系统定性推理读物》，第373-381页。加利福尼亚州圣马特奥市Morgan-Kaufman（1989年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。