Modeling mental states in the analysis of multiagent systems requirements

Authors:
Alexei Lapouchnian;Yves Lespérance
Affiliations:
University of Toronto, Toronto, ON, Canada;York University, Toronto, ON, Canada
Venue:
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Year:
2006

Citing 8
Cited 0

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
The cognitive agents specification language and verification environment for multiagent systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Towards requirements-driven information systems engineering: the Tropos project

Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Knowledge, action, and the frame problem

Artificial Intelligence
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering

RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Specifying and analyzing early requirements in Tropos

Requirements Engineering
Modeling mental states in agent-oriented requirements engineering

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.