Declarative Representations of Multiagent Systems

IEEE Transactions on Knowledge and Data Engineering

Volumn 5, Issue 5, 1993, Pages 721-739

  Stephens, Larry M ^d   Singh, Munindar P ^a,b,c  

^a Microelectronics and Computer Technology ^*  (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c Microelectronics Computer Technology Corporation   (United States)

^d UNIVERSITY OF SOUTH CAROLINA   (United States)

Author keywords

Declarative Representations; Distributed Artificial Intelligence; Formal Specifications; Knowledge Representation; Multiagent Systems; Problem Solving Systems

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; EXPERT SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LANGUAGES; REDUNDANCY; SYSTEMS ANALYSIS;

COMPUTATIONAL AGENTS; DECLARATIVE REPRESENTATIONS; DISTRIBUTED ARTIFICIAL INTELLIGENCE; FORMAL SEMANTICS; FORMAL SPECIFICATIONS; KNOWLEDGE REPRESENTATION; MULTIAGENT SYSTEMS; PROBLEM SOLVING SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0027677445     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.243505     Document Type: Article

References (27)

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,” in Proc. AAAI-87, pp. 268–272, 1987.
3. N. Arni et al., “Overview of RAD: A hybrid and distributed reasoning tool,” Tech. Rep. ACT-RA-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, 63–109, 1983.
8. E. H. Durfee, V. R. Lesser, and D. D. Corkill, “Coherent cooperation among communicating problem solvers,” IEEE Trans. Computers, vol. C-36, pp. 1275–1291, Nov. 1987.
9. E. H. Durfee and T. A. Montgomery, “MICE: A flexible testbed for intelligent coordination experiments,” in Proc. 9th Workshop on Distributed Artificial Intelligence, 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, pp. 151–178, 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 distributed AI systems,” in M. Hubns and L. Gasser, Eds., Distributed Artificial Intelligence II. London, UK: Pitman Publishing Limited, 1989, ch. 3, pp. 55–78.
14. M. P. Georgeff and A. L. Lansky, “A representation of parallel activity based on events, structure and causality,” in M. Georgeff and A. Lansky, Eds., in Proc. 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. Hubns et al., “DAI for document retrieval: The MINDS project,” in M. N. Hubns, Ed., Distributed Artificial Intelligence London: Pitman/Morgan Kaufmann, 1987, pp. 249–283.
18. D. B. Lenat and R. V. Guha, Building Large Knowledge Base Systems. Reading, MA: Addison Wesley, 1989.
19. J. McCarthy and P. J. Hayes, “Some philosophical problems from the standpoint of artificial intelligence,” in Machine Intelligence 4. American Elsevier, 1969.
20. B. Moszkowski, Executing Temporal Logic Programs. Cambridge, UK: Cambridge University Press, 1986.
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 AI. Cambridge, MA: MIT Press, 1988.
24. D. Smith and M. Broadwell, “The pilot's associate-An overview,” in Proc. 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,” in Proc. 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.