Towards an Alternative Semantics for FIPA ACL

Mirko Viroli, Andrea Omicini

We show how a formal framework for observation in computer systems can be used for the specification of agent's observable behaviour, and provide for an architecture-independent approach alternative to the one currently used for FIPA ACL. Since the agent architecture induced by our model is more abstract than the one assumed by FIPA, our specification tool is likely to be applicable to a wider set of agents' architecture, thus better supporting FIPA standardisation aims. Some application examples are shown, describing how the current semantics of FIPA ACL could be adapted and specified within our framework.

Cybernetics and Systems 2002, pages 689-694, 2-5 April 2002.
Robert Trappl (eds.), Austrian Society for Cybernetic Studies, Vienna, Austria
16th European Meeting on Cybernetics and Systems Research (EMCSR 2002), 3th International Symposium "From Agent Theory to Theory Implementation (AT2AI-3)''. Proceedings

@inproceedings{acl-atai02,
	Address = {Vienna, Austria},
	Author = {Viroli, Mirko and Omicini, Andrea},
	Booktitle = {Cybernetics and Systems 2002},
	Editor = {Trappl, Robert},
	Isbn = {3-85206-160-1},
	Month = {2--5~} # apr,
	Note = {16th European Meeting on Cybernetics and Systems Research (EMCSR 2002), 3th International Symposium ``From Agent Theory to Theory Implementation (AT2AI-3)''. Proceedings},
	Pages = {689--694},
	Publisher = {Austrian Society for Cybernetic Studies},
	Title = {Towards an Alternative Semantics for {FIPA ACL}},
	Volume = 2,
	Year = 2002}