Issue No. 05 - October (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.243505
<p>This paper explores the specification and semantics of multiagent problem-solving systems, focusing on the representations that agents have of each other. It provides a declarative representation for such systems. Several procedural solutions to a well-known test-bed problem are considered, and the requirements they impose on different agents are identified. A study of these requirements yields a representational scheme based on temporal logic for specifying the acting, perceiving, communicating, and reasoning abilities of computational agents. A formal semantics is provided for this scheme. The resulting representation is highly declarative, and useful for describing systems of agents solving problems reactively.</p>
declarative representations; multiagent systems; procedural solutions; temporal logic; reasoning abilities; computational agents; formal semantics; distributed artificial intelligence; formal specifications; knowledge representation; problem-solving systems; cooperative systems; knowledge representation; problem solving; temporal logic
M. Singh, L. Stephens and M. Huhns, "Declarative Representations of Multiagent Systems," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 721-739, 1993.