Wooldridge, M. Verifiable Semantic for Agent Communication Languages. Third International Conference on Multi-Agent Systems, Y. Demazeau (ed.), IEEE Press, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....and low heterogeneity were pointed out in [2] and [3] There have been two major streams of research to address this problem. One of them is to define the semantics of ACL messages precisely so that there may be little misunderstanding of the intention and the result of the messages [4] 3][5]. But it is not easy to implement the ACL semantics completely that are mainly based on the BDI (Belief Desire Intention) agency model, and validating the implemented systems for the conformance to the semantics is also difficult [3] 6] The other approach is to use conversation policies to guide ....

Wooldridge, M.J. Verifiable semantics for agent communication languages. In Proceedings of the 3rd International Conference on Multiagent Systems (ICMAS), pages 349---356, July 1998.

....It seems that the properties and semantics we use for conversations are quite different from the properties of the protocols for which most of the existing formalisms have been developed. Therefore none of these formalisms is a natural best candidate . Another important point (first raised in [12]) is how one can verify compliance to a protocol. Suppose an agent has to use the Contract net protocol in order to delegate its tasks. It uses some mechanism to manage its communication. Is it possible to proof that this mechanism will lead to compliance of the Contract net protocol. Even if the ....

Wooldridge, M. Verifiable semantics for agent communication languages. In Y. Demazeau (ed.) Proceedings ICMAS'98, IEEE Press, New York, 1998, pp. 349-356.

....done. This is a topic that is frequently addressed with respect to languages. In fact, in the abstract of a recent paper on agent languages, M. Wooldridge said his intent was to develop a semantics where conformance (or otherwise) to the semantics could be determined by the independent observer [20]. Whether something is an agent or not, and whether a software engineering technology is agent based or not, should also be verifiable by independent observers. Further, we attempt to persuade the user that ABSE could be useful in practice and why, apart from the general potential of emergent ....

M. Wooldridge, "Verifiable Semantics for Agent Communication Languages", in Proc. of ICMAS98, pp. 349-356, IEEE Computer Society Press, May, 1998.

....next iteration of ACLs in the U.S. research community. Semantics have dominated the debate surrounding ACLs. Despite the substantial amount of work on this problem, the issue of an agent s conformance with the ACL semantics (assuming approaches such as the ones outlined here) is as thorny as ever [28] and it puts into question the degree of usefulness of such semantic accounts. In the near future the more pragmatic concerns ought to be addressed. Offering naming and registration services, along with basic brokering facilities should be among the immediate goals of the ACL community. Another ....

Michael Wooldridge. Verifiable semantics for agent communication languages. In International Conference on Multi-Agent Systems (ICMAS'98), Paris, France, 1998.

....we mean either KQML (which has now several variants) or FIPA ACL. Since then the problem of an adequate semantics of an ACL has dominated the debate on ACL s. Despite the substantial amount of work on this problem, the issue of an agent s conformance with the ACL semantics is as thorny as ever [18] and moreover puts into question the degree of usefulness of semantic accounts. But even worse, the emphasis on ACL semantics has drawn attention away from other issues that are perhaps even more important to the success of ACL s: 1) how do agents find one another and manage to establish a ....

Michael Wooldridge. Verifiable semantics for agent communication languages. In International Conference on Multi-Agent Systems (ICMAS'98), Paris, France, 1998. (inform :sender jklabrou :receiver grosof :content (CPU libretto50 pentium) :ontology laptop :language kif)

....based on external behavior will maximize interoperability [7] The research community has not paid sufficient attention to this issue. A glaring shortcoming of the present semantics for agent communication languages is their fundamental inability to allow testing for the compliance of an agent [20, 22]. The present approach shows how that might be carried out. Some of the important strands of research of relevance to commitment protocols have been carried out before. However, the synthesis and application of these techniques on multiagent commitment protocols is a novel contribution of this ....

Michael J. Wooldridge. Verifiable semantics for agent communication languages. In Proceedings of the 3rd International Conference on Multiagent Systems (ICMAS), pages 349--356. IEEE Computer Society Press, July 1998.

....techniques adapted from speech act theory (Cohen and Perrault, 1979; Cohen and Levesque, 1990) If these ACL standardisation initiatives are to succeed, then the issue of semantic conformance testing must be successfully addressed. The conformance testing problem can be summarised as follows (Wooldridge, 1998): We are given program p i , and an agent communication language L C with the semantics [ C . The aim is to determine whether or not p i respects the semantics [ C whenever it communicates using L C . We say a program implements a communication language L C if it respects its ....

....rights reserved. The importance of conformance testing has been recognised by the ACL community (FIPA, 1997, p1) However, to date, little research has been carried out either on how verifiable communication languages might be developed, or on how existing ACLs might be verified. One exception is (Wooldridge, 1998), where the issue of conformance testing is discussed from a formal point of view. Wooldridge, 1998) points out that ACL semantics are generally developed in such as way as to express constraints on the senders of messages. For example, the semantics for an inform j message in some ACL might ....

[Article contains additional citation context not shown here]

Wooldridge, M. (1998). Verifiable semantics for agent communication languages. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), pages 349-- 365, Paris, France.

No context found.

Wooldridge, M. Verifiable Semantic for Agent Communication Languages. Third International Conference on Multi-Agent Systems, Y. Demazeau (ed.), IEEE Press, 1998.

No context found.

Michael J. Wooldridge. Verifiable semantics for agent communication languages. In Proceedings of the 3rd International Conference on Multiagent Systems (ICMAS), pages 349--356. IEEE Computer Society Press, July 1998.

No context found.

Wooldridge M.: Verifiable Semantics for Agent Communication Languages, ICMAS'1998 Paris (1998).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC