首页> 外文会议> >Verification and Planning in Agent-Based Systems
【24h】

Verification and Planning in Agent-Based Systems

机译:基于代理的系统中的验证和计划

获取原文

摘要

Nowadays museums and other cultural heritage sites provide more and more intelligent systems able to enhance humans experiences during visits in museums and archaeological sites. The complexity of these systems is growing up faster and faster. Distributed autonomous elements like sensors networks, intelligent devices etc. are now widely used in these sites. Especially in large museums and ruins, one of the most difficult task for visitors is the scheduling of their paths. In addition, several problems may occur which delay some visiting stops like the presence of great groups of visitors at the same picture or on the same path. Since for security reasons usually access to items and zones are limited to a given number of persons, this result in a delay on the whole visiting path that may even cause visitors to exit from a cultural site without completing its path. In this work we present a modelling methodology and a planning technique able to redirect visitors paths in case of problems. The model is based on multi-agent systems and the technique implements procedures that make possible the reaching of desired goals within temporal constraints.
机译:如今,博物馆和其他文化遗产遗址提供了越来越多的智能系统,能够增强人们在参观博物馆和考古遗址时的体验。这些系统的复杂性越来越快。分布式自主元素,例如传感器网络,智能设备等,现在在这些站点中得到广泛使用。尤其是在大型博物馆和遗址中,参观者最困难的任务之一就是安排行程。此外,可能会出现一些问题,这些问题会延迟某些访问的停止,例如在同一张图片或同一条路径上出现大量的访问者。由于出于安全原因,通常对物品和区域的访问仅限于给定的人数,因此这会导致整个访问路径上的延迟,甚至可能导致访问者无法完成文化路径就离开文化遗址。在这项工作中,我们提出了一种建模方法论和一种规划技术,能够在出现问题的情况下重定向访问者的路径。该模型基于多主体系统,并且该技术执行的过程使在时间限制内达到预期目标成为可能。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号