基于Agent的大型并发智能系统的形式化方法
A Formal Approach for Agent Based Large Concurrent Intelligent Systems
摘要：
如今，大型智能系统是如此复杂，以至于迫切需要以最佳方式设计此类系统。建模是一种有用的技术，它将复杂的现实世界系统抽象成抽象的形式，使智能系统的分析和实现变得容易，并有助于收集系统的先验知识，而这些知识是不可能用现实世界的复杂系统进行实验的。本文讨论了一种基于Agent的智能系统大系统建模的形式化方法，它描述了设计级的注意事项，挑战和技术，使用自主智能体，作为其基本的建模抽象。我们正在讨论的Ad-Hoc网络系统作为一个案例研究，我们使用移动代理的节点是自由重新定位，因为它们形成一个智能系统。在这种情况下，设计是非常关键的，它可以减少整个项目的成本，时间和风险。
英文摘要：
Large Intelligent Systems are so complex these days that an urgent need for designing such systems in best available way is evolving. Modeling is the useful technique to show a complex real world system into the form of abstraction, so that analysis and implementation of the intelligent system become easy and is useful in gathering the prior knowledge of system that is not possible to experiment with the real world complex systems. This paper discusses a formal approach of agent-based large systems modeling for intelligent systems, which describes design level precautions, challenges and techniques using autonomous agents, as its fundamental modeling abstraction. We are discussing Ad-Hoc Network System as a case study in which we are using mobile agents where nodes are free to relocate, as they form an Intelligent Systems. The designing is very critical in this scenario and it can reduce the whole cost, time duration and risk involved in the project.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
