Article

Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application

Authors:

Steven Shapiro,

Yves LespéranceAuthors Info & Claims

ATAL '00: Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages

Pages 244 - 259

Published: 07 July 2000 Publication History

Abstract

In this paper,we describe the CognitiveAgents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction resolution system described by Griffeth andVelthuijsen [7]. We discuss the main features of CASL that make it a useful language for specifying and verifying multiagent systems. CASL has a nice mix of declarative and procedural elements with a formal semantics to facilitate the verification of properties of CASL specifications.

References

[1]

D. Bjorner and C. B. Jones. The Vienna Development Method: The Metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.

[2]

Ph. Du Bois. The Albert II Language - On the design and the Use of a Formal Specification language for Requirements Analysis. PhD thesis, Department of Computer Science, University of Namur, 1995.

[3]

F. Brazier, B. Dunin-Keplicz, N. R. Jennings, and Jan Treur. Formal specifications of multiagents systems: A real-world case study. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), pages 25-32, San Francisco, CA, June 1995. Springer-Verlag.

[4]

A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50, 1993.

[5]

Joeri Engelfriet, Catholijn M. Jonker, and Jan Treur. Compositional verification of multi-agent systems in temporal multi-epistemic logic. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V: Proceedings of the Fifth InternationalWorkshop on Agent Theories, Architectures and languages (ATAL'98), volume 1555 of LNAI, pages 177-194. Springer-Verlag, 1999.

[6]

Giuseppe De Giacomo, Yves LespÉrance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. To appear in Artificial Intelligence.

[7]

Nancy D. Griffeth and HugoVelthuijsen. Win/win negotiation among autonomous agents. In Proceedings of the 12th International Workshop on Distributed Artificial Intelligence, pages 187-202, Hidden Valley, PA, May 1993.

[8]

D. Kinny, M. Georgeff, and A. S. Rao. A methodology and modelling technique for systems of BDI agents. In W. Van der Velde and J.W. Perram, editors, Agents Breaking Away, pages 56-71. LNAI 1038, Springer-Verlag, 1996.

[9]

Gerhard Lakemeyer and Hector J. Levesque. AOL: a logic of acting, sensing, knowing, and only knowing. In Proceedings of Knowledge Representation and Reasoning (KR-98), pages 316-327, 1998.

[10]

Hector J. Levesque, Raymond Reiter,Yves LespÉrance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.

[11]

John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.

[12]

S. Owre, S. Rajan, J. M. Rushby,N. Shankar, and M. K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411-414, New Brunswick, NJ, July/August 1996. Springer-Verlag.

[13]

Raymond Reiter. The frame problem in the situation calculus:A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.

[14]

Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689-695,Washington, DC, July 1993. AAAI Press/The MIT Press.

[15]

Steven Shapiro. PhD thesis. In preparation.

[16]

Steven Shapiro,Yves LespÉrance, and Hector J. Levesque. Specifying communicative multi-agent systems. In Wayne Wobcke, Maurice Pagnucco, and Chengqi Zhang, editors, Agents and Multi-Agent Systems -- Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1-14. Springer-Verlag, Berlin, 1998.

[17]

Steven Shapiro, Maurice Pagnucco, Yves LespÉrance, and Hector J. Levesque. Iterated belief change in the situation calculus. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), pages 527-538, San Francisco, CA, 2000. Morgan Kaufmann Publishers.

[18]

J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989.

[19]

M. Wooldridge, N. R. Jennings, and D. Kinny. A methodology for agent-oriented analysis and design. In O. Etzioni, J. P. Müller, and J. Bradshaw, editors, Agents '99: Proceedings of the Third International Conference on Autonomous Agents, Seattle, WA, May 1999.

[20]

Eric S. K. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, Dept. of Computer Science, University of Toronto, 1995.

Cited By

Bocovich CAtlee JCheung SOrso AStorey M(2014)Variable-specific resolutions for feature interactionsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2635927(553-563)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2635927
Dasgupta AGhose A(2010)BDI agents with objectives and preferencesProceedings of the 8th international conference on Declarative agent languages and technologies VIII10.5555/1996758.1996761(22-39)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1996758.1996761
Lapouchnian ALespérance Y(2006)Modeling mental states in the analysis of multiagent systems requirementsProceedings of the 7th international conference on Agent-oriented software engineering VII10.5555/1758463.1758473(104-121)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.5555/1758463.1758473
Show More Cited By

Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application

Recommendations

Specifying and verifying multiagent systems using the cognitive agents specification language (casl)
CASL: the common algebraic specification language

The Common Algebraic Specification Language (CASL) is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for ...
CSP-CASL: a new integration of process algebra and algebraic specification
Algebraic methods in language processing

CSP-CASL integrates the process algebra CSP [T. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood cliffs, NJ, 1985; A.W. Roscoe, The Theory and Practice of Concurrency, Prentice-Hall, Englewood cliffs, NJ, 1998] with the algebraic ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ATAL '00: Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages

July 2000

356 pages

ISBN:3540424229

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 July 2000

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bocovich CAtlee JCheung SOrso AStorey M(2014)Variable-specific resolutions for feature interactionsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2635927(553-563)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2635927
Dasgupta AGhose A(2010)BDI agents with objectives and preferencesProceedings of the 8th international conference on Declarative agent languages and technologies VIII10.5555/1996758.1996761(22-39)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1996758.1996761
Lapouchnian ALespérance Y(2006)Modeling mental states in the analysis of multiagent systems requirementsProceedings of the 7th international conference on Agent-oriented software engineering VII10.5555/1758463.1758473(104-121)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.5555/1758463.1758473
Khan SLespérance YNakashima HWellman MWeiss GStone P(2006)On the semantics of conditional commitmentProceedings of the fifth international joint conference on Autonomous agents and multiagent systems10.1145/1160633.1160883(1337-1344)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.1145/1160633.1160883
Lapouchnian ALespérance YNakashima HWellman MWeiss GStone P(2006)Modeling mental states in the analysis of multiagent systems requirementsProceedings of the fifth international joint conference on Autonomous agents and multiagent systems10.1145/1160633.1160675(241-243)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.1145/1160633.1160675
Lapouchnian ALespérance Y(2006)Modeling mental states in agent-oriented requirements engineeringProceedings of the 18th international conference on Advanced Information Systems Engineering10.1007/11767138_32(480-494)Online publication date: 5-Jun-2006
https://dl.acm.org/doi/10.1007/11767138_32
Shapiro SLespérance YLevesque H(2005)Goal changeProceedings of the 19th international joint conference on Artificial intelligence10.5555/1642293.1642387(582-588)Online publication date: 30-Jul-2005
https://dl.acm.org/doi/10.5555/1642293.1642387
Khan SLespérance YPechoucek MSteiner DThompson S(2005)ECASLProceedings of the fourth international joint conference on Autonomous agents and multiagent systems10.1145/1082473.1082590(762-769)Online publication date: 25-Jul-2005
https://dl.acm.org/doi/10.1145/1082473.1082590
Khan SLespérance Y(2004)A model of rational agency for communicating agentsProceedings of the 2004 international conference on Agent Communication10.1007/978-3-540-32258-0_16(242-259)Online publication date: 19-Jul-2004
https://dl.acm.org/doi/10.1007/978-3-540-32258-0_16
Herzig ALongin DGini MIshida TCastelfranchi CJohnson W(2002)A logic of intention with cooperation principles and with assertive speech acts as communication primitivesProceedings of the first international joint conference on Autonomous agents and multiagent systems: part 210.1145/544862.544954(920-927)Online publication date: 15-Jul-2002
https://dl.acm.org/doi/10.1145/544862.544954
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten