期刊名称:International Journal of Computer Science and Network Security
印刷版ISSN:1738-7906
出版年度:2007
卷号:7
期号:9
页码:69-72
出版社:International Journal of Computer Science and Network Security
摘要:In multi-agent systems, the Requirement/Service is a cooperation way that is simple, efficient, and wildly applied. Under the framework of Situation Calculus, the agents�� mental states (knowledge, task/goal, etc.) are represented by some special fluents and complex actions, and communication actions are introduced into the earlier ConGolog referring to FIPA-ACL. Consequently, we propose a Requirement/Service cooperation model and semantics for multi-agent System based on the extended ConGolog. What��s more, in terms of the model and semantics, we specify a feasible case of the multi-agent system in the dynamic and incompletely known environment for achieving the cooperation based on reasoning about action and change.