Formal Specification of Multi-Agent Systems: a Real-World Case

机译：多助理系统的正式规范：一个真实的案例

获取原文

页面导航

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

摘要

In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.

机译：在本文中，最初为复杂推理系统的正式规范设计的框架愿望用于在概念层面上指定真实世界的多代理应用。引入了一些延长的延伸，以获得用于多算法系统的有用的正式规范框架。

著录项

来源
《International Conference on Multi-Agent Systems》|1995年||共8页
会议地点
作者
Frances Brazier; Barbara Dunin Keplicz; Nick R. Jennings; Jan Treur;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-532;
关键词
入库时间 2022-08-20 19:20:43

相似文献

外文文献
中文文献
专利

1. Formal specification of multi-agent e-barter systems [J] . Manuel Nunez, Ismael Rodriguez, Fernando Rubio Science of Computer Programming . 2005,第2期

机译：多主体电子易货系统的正式规范
2. A formal framework for organization-centered multi-agent system specification: A rewriting logic based approach [J] . Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem Multiagent and grid systems . 2017,第4期

机译：一个以组织为中心的多代理系统规范的正式框架：一种基于重写逻辑的方法
3. Formal specification of a multi-agent system architecture for manufacture: the contribution of the #pi#-calculus [J] . Y.Dumond, C.Roche Journal of Materials Processing Technology . 2000,第1a3期

机译：用于制造的多智能体系统架构的正式规范：＃pi＃-演算的贡献
4. Formal Specification of Multi-Agent Systems: a Real-World Case [C] . Frances Brazier, Barbara Dunin Keplicz, Nick R. Jennings, International Conference on Multi-Agent Systems . 1995

机译：多助理系统的正式规范：一个真实的案例
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. SibylFS: Formal specification and oracle-based testing for POSIX and real-world file systems [O] . Ridge Tom, Sheets David, Tuerk Thomas, 2015

机译：SibylFS：POSIX和实际文件系统的正式规范和基于Oracle的测试
8. Semi-Formal and Formal Interface Specification for System of Systems Architecture. [R] . Bryans, J., Payne, R., Holt, J., 2013

机译：系统体系结构的半形式和形式接口规范。

Formal Specification of Multi-Agent Systems: a Real-World Case

摘要

著录项

相似文献

相关主题

期刊订阅