Formal Modeling of Dynamic Environments for Real-Time Agents

机译：实时代理动态环境的形式化建模

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Application of agent technology to dynamic environments makes developers to take into account some considerations that common agent-based systems need not meet. ARTIS agent architecture is our proposal for agent-based systems that require bounded response times. This kind of systems are characterised by their sensitivity to the moment in which the response is obtained. If the answer does not arrive on time, the consequences for the systems are catastrophic. They are hard, real-time systems. This paper proposes a formalisation, using an extension of RTCTL logic, to specify the ARTIS agent behaviour. It does not pretend to be a formal validation prove for the agent, but a way that allows the designer to check the fulfilment of the agent's design goals.

机译：代理技术在动态环境中的应用使开发人员可以考虑一些常见的基于代理的系统不需要满足的注意事项。 ARTIS代理架构是我们针对需要有限响应时间的基于代理的系统的建议。这种系统的特点是它们对获得响应的那一刻敏感。如果答案没有及时到达，则对系统的后果将是灾难性的。它们是硬实时系统。本文提出了一种使用RTCTL逻辑扩展的形式化方法，以指定ARTIS代理行为。它并不假装是代理的正式验证证明，而是一种允许设计人员检查代理设计目标是否实现的方法。

著录项

来源
《3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Jun 16-18, 2003 Prague, Czech Republic》|2003年|p.475-484|共10页
会议地点 Prague(CZ);Prague(CZ)
作者
Miguel Rebollo; Vicente Botti; Eva Onaindia;
展开▼
作者单位

Dept. Sistemas Informaticos y Computacion Universidad Politecnica de Valencia (Spain);

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Issues in Designing Physical Agents for Dynamic Real-Time Environments World Modeling, Planning, Learning, and Communicating [J] . Patrick Doherty, Ubbo Visser AI magazine . 2004,第2期

机译：在动态实时环境中设计物理代理的问题世界建模，规划，学习和交流
2. Issues in Designing Physical Agents for Dynamic Real-Time Environments World Modeling, Planning, Learning, and Communicating [J] . Ubbo Visser, Patrick Doherty AI Magazine . 2004,第2期

机译：在动态实时环境中设计物理代理的问题世界建模，规划，学习和交流
3. Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems [J] . Qasim Awais, Kazmi Syed Asad Raza Intelligent automation and soft computing . 2019,第1期

机译：实时自适应多智能体系统的形式化建模
4. A Planning Model for Agents in Dynamic and Uncertain Real-Time Environments [C] . Alexander Nareyek AIPS Workshop on Integrating Planning, Scheduling, and Execution in Dynamic and Uncertain Environments . 1998

机译：动态与不确定实时环境中代理的规划模型
5. Distributed decision-making and task coordination in dynamic, uncertain and real-time multiagent environments. [D] . Paquet, Sebastien. 2006

机译：在动态，不确定和实时的多代理环境中进行分布式决策和任务协调。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. Real-time path planning for virtual agents in dynamic environments [O] . Avneesh Sud, Erik Andersen, Sean Curtis, 2007

机译：动态环境中虚拟代理的实时路径规划
8. Dynamic Control and Formal Models of Multi-Agent Interactions and Behaviors [R] . Roszman, L. , Armstrong, D. , Khalali, A. , 2005

机译：多agent交互和行为的动态控制和形式化模型

Formal Modeling of Dynamic Environments for Real-Time Agents

摘要

著录项

相似文献

相关主题

期刊订阅