This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Declarative Representations of Multiagent Systems
October 1993 (vol. 5 no. 5)
pp. 721-739

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.

[1] M. Abadi, "Temporal-logic theorem proving," Ph.D dissertation, Stanford University, 1987, Department of Computer Science,Tech. Report STAN-CS-87-1151.
[2] P. Agre and D. Chapman, "Pengi: An implementation of a theory of activity," inProc. AAAI-87, pp. 268-272, 1987.
[3] N. Arniet al., "Overview of RAD: A hybrid and distributed reasoning tool,"Tech. Rep. ACT-R4-098-90, Microelectronics and Computer Technology Corporation, Artificial Intelligence Laboratory, Austin, TX, Mar. 1990.
[4] J. L. Austin,How to do Things with Words. Clarendon, Oxford, UK, 1962.
[5] J. Barwise and J. Perry,Situations and Attitudes. Cambridge, MA: MIT Press, 1983.
[6] M. Benda, V. Jaganathan, and R. Dodhiawala, "On optimal cooperation of knowledge sources,"Tech. Rep., Boeing Advanced Technology Center, Boeing Computer Services, Seattle, WA, Sept. 1986.
[7] R. Davis and R. G. Smith, "Negotiation as a metaphor for distributed problem solving,"Artificial Intelligence, vol. 20, p. 63-109, 1983.
[8] E. H. Durfee, V. R. Lesser, and D. D. Corkill," Coherent cooperation among communicating problem solvers,"IEEE Trans. Comput., vol. C-11, pp. 1275-1291, Nov. 1987; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Fasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 268-284.
[9] E. H. Durfee and T. A. Montgomery, "MICE: A flexible testbed for intelligent coordination experiments," inProc. 9th Workshop on Distributed Artificial Intelligenie, pp. 25-40, Sept. 1989.
[10] E. A. Emerson, "Temporal and modal logic," in J. van Leeuwen, Ed.,Handbook of Theoretical Computer Science. Amsterdam, The Netherlands: North-Holland Publishing Company, 1989.
[11] E. A. Emerson and J. Y. Halpern, "'Sometimes' and 'not never' revisited: On branching versus linear time temporal logic,"J. ACM, vol. 33, no. 1, pp. 151-178, Jan. 1986.
[12] R. F. Franklin and L. A. Harmon, "Elements of cooperative behavior,"Tech. Rep., Environmental Research Institute of Michigan, Ann Arbor, MI, Aug. 1987.
[13] L. Gasser, N. Rouquette, R. Hill, and J. Lieb, "Representing and using organizational knowledge in DAI systems," inDistributed Artificial Intelligence, Vol. II, L. Gasser and M. N. Huhns, Eds. London, England: Pitman, 1989, pp. 55-78.
[14] M. P. Georgeff and A. L. Lansky, "A representation of parallel activity based on events, structure and casuality,"`in M. Georgeff and A. Lansky, Eds., inProc. 1986 Workshop on Reasoning about Actions and Plans, pp. 123-160, 1987.
[15] C. L. Hamblin,Imperatives. Oxford, UK: Basil Blackwell Ltd., 1987.
[16] P. J. Hayes, "The frame problem and related problems in artificial intelligence," in B. L. Webber and N. J. Nilsson, Eds.,Readings in Artificial Intelligence. San Mateao, CA: Morgan Kaufmann, 1981, pp. 223-230.
[17] M. N. Huhnset al., "DAI for document retrieval: The MINDS project," in M. N. Huhns, Ed.,Distributed Artificial IntelligenceLondon: Pitman/Morgan Kaufmann, 1987, pp. 249-283.
[18] D. Lenat and R.V. Guha,Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, Reading, Mass., 1990.
[19] J. McCarthy and P. J. Hayes, "Some philosophical problems from the standpoint of artificial intelligence, " inMachine Intelligence 4. American Elsevier, 1969.
[20] B. Moszkowski,Executing Temporal Logic Programs. Cambridge, UK: Cambridge University Press, 1987.
[21] R. Perrault, "An application of default logic to speech act theory,"Tech. Rep. 90, Center for the Study of Language and Information, Stanford, CA, Mar. 1987.
[22] S. J. Rosenschein, "Formal theories of knowledge in AI and robotics,"New Generation Computing, vol. 3, 1985.
[23] Y.Shoham, Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence.Cambridge, MA: MIT Press, 1988.
[24] D. Smith and M. Broadwell, "The pilot's associate--An overview," inProc. SAE Aerotech Conf., Los Angeles, CA, May 1988.
[25] L. M. Stephens and M. Merx, "The effect of agent control strategy on the performance of a DAI pursuit problem,"IEEE Trans. Syst., Man, Cybern., 1990, submitted for publication.
[26] S. Tutiya, D. Israel, and J. Perry, "Action as meaning," inProc. First Conf. Situation Theory and Its Applications, Stanford, CA, 1989.
[27] J. F. A. K. van Benthem,The Logic of Time. Dordrecht, Netherlands: D. Reidel, 1984.

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 and Data Engineering, vol. 5, no. 5, pp. 721-739, Oct. 1993, doi:10.1109/69.243505
Usage of this product signifies your acceptance of the Terms of Use.