The cognitive agents specification language and verification environment for multiagent systems

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.

DOI: 10.1145/544741.544746

Extracted Key Phrases

Statistics

051015'04'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

90 Citations

Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Shapiro2002TheCA, title={The cognitive agents specification language and verification environment for multiagent systems}, author={Steven D Shapiro and Yves Lesp{\'e}rance and Hector J. Levesque}, booktitle={AAMAS}, year={2002} }