首页> 外文会议>International joint conference on Autonomous agents and multiagent systems >Modeling mental states in the analysis of multiagent systems requirements
【24h】

Modeling mental states in the analysis of multiagent systems requirements

机译:在多主体系统需求分析中对心理状态建模

获取原文

摘要

This paper presents an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the CASL language through the use of Intentional Annotated Strategic Rationale diagrams. In the resulting framework, agent goals and knowledge are represented as their mental states, which allows for the formal analysis of, among other things, agent interactions and incomplete knowledge. CASL models can also serve as high-level specifications for multiagent systems.
机译:本文提出了一种面向代理的需求工程方法,该方法通过使用意图注释的战略原理图,将非正式的 i *模型与CASL语言中的正式规范相结合。在由此产生的框架中,代理人的目标和知识被表示为他们的心理状态,这可以对代理人的互动和不完整的知识进行正式分析。 CASL模型还可以用作多主体系统的高级规范。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号