The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - October (1993 vol.5)
pp: 721-739
ABSTRACT
<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>
INDEX TERMS
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
CITATION
M.P. Singh, M.N. Huhns, L.M. Stephens, "Declarative Representations of Multiagent Systems", IEEE Transactions on Knowledge & Data Engineering, vol.5, no. 5, pp. 721-739, October 1993, doi:10.1109/69.243505
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool