亚历山德拉·米利奥;托尔斯滕·绍布;戴维·梅里科;罗伯托·比西亚尼 基于知识的多标准优化,支持室内定位。 (英语) Zbl 1242.68316号 安。数学。Artif公司。智力。 62,编号3-4,345-370(2011). 摘要:在家庭辅助生活环境中,室内位置估计是一项核心任务。这种环境通常依赖于低成本传感器的异构集合,这些传感器的多样性和缺乏精度必须通过先进的定位和跟踪技术进行补偿。尽管在机器人学和邻近领域中已有成熟的定量方法来解决这些问题,但它们缺乏先进的知识表示和推理能力。这些功能不仅有助于处理异构和不完整的信息,而且可以更好地包含语义信息以及更一般的家庭护理和患者相关知识。我们解决了这个问题,并研究了如何将最先进的定位和跟踪方法与答案集编程相结合,作为一种流行的知识表示和推理形式。我们报告了一个案例研究,并在模拟和实际环境中对基于知识的位置估计进行了首次实验评估。 MSC公司: 68立方英尺 知识表示 68T27型 人工智能中的逻辑 68层37 人工智能背景下的不确定性推理 68N17号 逻辑编程 关键词:知识表示;答案集编程;无线传感器网络;本地化;跟踪 软件:L解析;格林戈;加拿大钾肥公司;扣环 PDF格式BibTeX公司 XML格式引用 \textit{A.Mileo}等人,安.数学。Artif公司。智力。62,编号3--4,345--370(2011;Zbl 1242.68316) 全文: 内政部 链接 参考文献: [1] Baral,C.:知识表示、推理和陈述式问题解决。剑桥大学出版社(2003)·Zbl 1056.68139号 [2] Broxton,M.、Lifton,J.、Paradiso,J.A.:使用谱图绘制和网格松弛对图钉计算传感器网络进行本地化。SIGMOBILE MC2R 10、1–12(2006) [3] Gebser,M.、Kaminski,R.、Kaufmann,B.、Ostrowski,M.,Schaub,T.、Thiele,S.:Gringo 2.0用户手册。网址:http://potassco.sourceforge.net (2010) [4] Gebser,M.、Kaminski,R.、Kaufmann,B.、Ostrowski,M.,Schaub,T.、Thiele,S.:设计增量ASP解算器。收录:Garcia de la Banda,M.,Pontelli,E.(编辑)《第二十届逻辑编程国际会议论文集》(ICLP'08)。LNCS,第5366卷,第190–205页。施普林格(2008)·Zbl 1185.68159号 [5] Gebser,M.、Kaufmann,B.、Neumann,A.、Schaub,T.:扣:冲突驱动的答案集求解器。摘自:第九届逻辑程序设计和非单调推理国际会议,第260-265页。施普林格(2007)·Zbl 1149.68332号 [6] Gebser,M.、Schaub,T.、Thiele,S.:Gringo:答案集编程的新基础。收录于:LPNMR,第266–271页(2007年) [7] Hedetniemi,S.M.,Hedetneimi,S.T.,Liestman,A.L.:通信网络中闲聊和广播的调查。网络18、319–349(1988)·Zbl 0649.90047号 ·doi:10.1002/net.3230180406 [8] Kalman,R.E.:线性滤波和预测问题的新方法。ASME 82、35–45(1960) [9] Merico,D.:利用高密度、大规模无线传感器网络进行跟踪。米拉诺-比科卡大学博士论文,《信息报》Dottorato di ricerca,p.22(2010-02-03)。http://hdl.handle.net/10281/7785 [10] Nakamura,E.F.,Loureiro,A.A.F.,Frery,A.C.:无线传感器网络的信息融合:方法、模型和分类。ACM计算。Surv公司。39(3), 9 (2007) ·数字对象标识代码:10.1145/1267070.1267073 [11] North,M.J.,Macal,C.M.:管理业务复杂性:使用基于代理的建模和仿真发现战略解决方案。牛津大学出版社,纽约(2007) [12] Patwari,N.、Ash,J.、Kyperountas,S.、Hero A.O.,I.、Moses,R.、Correal,N.:定位节点:无线传感器网络中的合作定位。IEEE信号处理。Mag.22(4),54–69(2005)·doi:10.1109/MSP.2005.1458287 [13] Perkins,C.E.,Royer,E.M.:按需距离矢量路由。摘自:IEEE第二届移动计算机系统和应用研讨会论文集,WMCSA'99,第90-100页。IEEE计算机协会,华盛顿(1999)。http://portal.acm.org/citation.cfm?id=520551.837511 [14] Ristic,B.,Arulampalam,S.,Gordon,N.:超越卡尔曼滤波器:跟踪应用的粒子滤波器。Artech House(2004)·Zbl 1092.93041号 [15] Shen,Y.,Win,M.:宽带定位的基本极限;第一部分:通用框架。IEEE Trans。《信息论》56(10),4956-4980(2010)。doi:10.1109/TIT.2010.2060110·兹比尔1366.94416 ·doi:10.1109/TIT.2010.2060110 [16] Shen,Y.,Wymeersch,H.,Win,M.:宽带定位的基本极限;第二部分:合作网络。IEEE传输。《信息论》56(10),4981–5000(2010)。doi:10.1109/TIT.2010.2059720·Zbl 1366.94417号 ·doi:10.1109/TIT.2010.2059720 [17] Syrjänen,T.:Lparse 1.0用户手册。http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz (2011) [18] Thrun,S.、Fox,D.、Burgard,W.、Dallaert,F.:移动机器人的稳健蒙特卡罗定位。Artif公司。智力。128(1–2), 99–141 (2001) ·Zbl 0971.68162号 ·doi:10.1016/S0004-3702(01)00069-8 [19] Thrun,S.,Burgard,W.,Fox,D.:概率机器人。麻省理工学院出版社(2005) [20] Tseng,Y.C.,Kuo,S.P.,Lee,H.W.,Huang,C.F.:移动代理在无线传感器网络中的位置跟踪及其数据融合策略。IPSN 2634、554–554(2003)·Zbl 1027.68962号 [21] Verdone,R.、Dardari,D.、Mazzini,G.、Conti,A.:无线传感器和执行器网络:技术、分析和设计。学术(2008) [22] Yilmaz,A.,Javed,O.,Shah,M.:目标跟踪:调查。ACM计算。Surv公司。38, 1–45 (2006) ·doi:10.145/1132952.1132953 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。