The cognitive agents specification language and verification environment for multiagent systems

Authors:
Steven Shapiro;Yves Lespérance;Hector J. Levesque
Affiliations:
University of Toronto, Toronto, ON, Canada;York University, Toronto, ON, Canada;University of Toronto, Toronto, ON, Canada
Venue:
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Year:
2002

Citing 7
Cited 22

Fairness

Fairness
The semantics of programming languages: an elementary introduction using structural operational semantics

The semantics of programming languages: an elementary introduction using structural operational semantics
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
Specifying Communicative Multi-Agent Systems (Invited Paper)

Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Projection Using Regression and Sensors

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
PVS: Combining Specification, Proof Checking, and Model Checking

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification

Logic-based specification languages for intelligent software agents

Theory and Practice of Logic Programming
ECASL: a model of rational agency for communicating agents

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
xTAO: enabling a declarative approach to the specification of multi-agent systems

SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Modeling mental states in the analysis of multiagent systems requirements

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the semantics of conditional commitment

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Cooperation Model of Multi-agent System Based on the Situation Calculus

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
ForMAAD: A formal method for agent-based application design

Web Intelligence and Agent Systems
Reasoning about agent execution strategies

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
On the Semantics of Conditional Commitment

Agent Communication II
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models

Conceptual Modeling: Foundations and Applications
A logic of agent programs

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Modeling mental states in the analysis of multiagent systems requirements

AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
A tool architecture to verify properties of multiagent system at runtime

ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Property persistence in the situation calculus

Artificial Intelligence
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?

A 25-year perspective on logic programming
Reasoning about agent deliberation

Autonomous Agents and Multi-Agent Systems
Formal methods in agent-oriented software engineering

AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
On representing actions in multi-agent domains

Logic programming, knowledge representation, and nonmonotonic reasoning
A model of rational agency for communicating agents

AC'04 Proceedings of the 2004 international conference on Agent Communication
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

The Cognitive Agents Specification Language (CASL) is a frame-work for specifying multiagent systems. It has a mix of declarative and procedural components to facilitate the specification and verification of complex multiagent systems. In this paper, we describe CASL and a verification environment (CASLve) for it based on the PVS verification system. We give an example of a multiagent meeting scheduler application specified with CASL. To illustrate the verification system, we discuss a proof we carried out in it, namely, that all bounded-loop CASL specifications terminate.