Heterogeneous active agents, I: semantics

Artificial Intelligence

Volumn 108, Issue 1, 1999, Pages 179-255

  Eiter, Thomas ^a   Subrahmanian, V S ^b   Pick, George ^c  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF MARYLAND   (United States)

^c NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

AGENT ARCHITECTURES; AGENT LANGUAGES; AGENT THEORY; HETEROGENEOUS ACTIVE AGENTS; HETEROGENEOUS INFORMATION ACCESS; SEMANTICS;

COMPUTATIONAL LINGUISTICS;

EID: 0033620271     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00005-3     Document Type: Article

References (108)

1. [1] S. Adali, K. Candan, Y. Papakonstantinou, V. Subrahmanian, Query processing in distributed mediated systems, in: ACM SIGMOD Conference on Management of Data, Montreal, Quebec, 1996.
2. [2] K. Apt, Logic Programming, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Elsevier (North-Holland), Amsterdam, 1990, Chapter 10, pp. 493-574.
3. [3] L. Åquist, Deontic logic, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, 1984, Chapter II.11, pp. 605-714.
4. [4] Y. Arens, C. Chee, C. Hsu, C. Knoblock, Retrieving and integrating data from multiple information sources, Internat. J. Intelligent Cooperative Information Systems 2 (1993) 127-158.
5. [5] K. Arisha, T. Eiter, S. Kraus, F. Ozcan, R. Ross, V.S. Subrahmanian, IMPACT: The Interactive Maryland Platform for Agents Collaborating Together, IEEE Intelligent Systems 14 (1999).
6. [6] C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska, M. Ryan, Symbolic model checking for probabilistic processes, in: Proceedings ICALP-97, Lecture Notes in Computer Science, Vol. 1256, Springer, Berlin, 1997, pp. 430-440.
7. [7] M. Baldoni, L. Giordano, A. Martelli, V. Patti, A modal programming language for representing complex actions, Manuscript, 1998.
8. [8] M. Baldoni, L. Giordano, A. Martelli, V. Patti, An abductive proof procedure for reasoning about actions in modal logic programming, in: Workshop on NonMonotonic Extensions of Logic Programming at ICLP-96, Lecture Notes in Artificial Intelligence, Vol. 1216, Springer, Berlin, 1998, pp. 132-150.
9. [9] C. Baral, M. Gelfond, Representing concurrent actions in extended logic programming, in: Proceedings IJCAI-93, Chambéry, France, 1993, pp. 866-871.
10. [10] C. Baral, M. Gelfond, Logic programming and knowledge representation, J. Logic Programming 19/20 (1994) 73-148.
11. [11] C. Baral, M. Gelfond, A. Provetti, Representing actions: Laws, observations, and hypothesis, J. Logic Programming 31 (1997) 201-243.
12. [12] C. Baral, J. Lobo, Formal characterization of active databases, in: D. Pedreschi, C. Zaniolo (Eds.), Workshop of Logic on Databases (LID-96), Lecture Notes in Computer Science, Vol. 1154, San Miniato, Italy, Springer, Berlin, 1996, pp. 175-195.
13. [13] R. Bayardo et al., Infosleuth: Agent-based semantic integration of information in open and dynamic environments, in: Proceedings ACM SIGMOD Conference on Management of Data, 1997, pp. 195-206.
14. [14] C. Bell, A. Nerode, R. Ng, V. Subrahmanian, Mixed integer programming methods for computing non-monotonic deductive databases, J. ACM 41 (6) (1994) 1178-1215.
15. [15] C. Bell, A. Nerode, R. Ng, V. Subrahmanian, Implementing deductive databases by mixed integer programming, ACM Trans. Database Syst. 21 (2) (1996) 238-269.
16. [16] R. Ben-Eliyahu, R. Dechter, Propositional semantics for disjunctive logic programs, Ann. Math. Artificial Intelligence 12 (1994) 53-87.
17. [17] W.P. Birmingham, E.H. Durfee, T. Mullen, M.P. Wellman, The distributed agent architecture of the University of Michigan Digital Library (UMDL), in: AAAI Spring Symposium Series on Software Agents, 1995.
18. [18] M. Bratman, Intentions, Plans and Practical Reason, Harvard Univ. Press, Cambridge, MA, 1987.
19. [19] M. Bratman, D. Israel, M. Pollack, Plans and resource-bounded practical reasoning, Comput. Intelligence 4 (4) (1988) 349-355.
20. [20] A. Brink, S. Marcus, V. Subrahmanian, Heterogeneous multimedia reasoning, IEEE Computer 28 (9) (1995) 33-39.
21. [21] R. Cattell et al., The Object Database Standard: ODMG-93, Morgan Kaufmann, San Mateo, CA, 1997.
22. [22] S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, J. Widom, The TSIMMIS Project: Integration of heterogeneous information sources, in: Proceedings 10th Meeting of the Information Processing Society of Japan (IPSJ), Tokyo, Japan, 1994, pp. 7-28. Also available via anonymous FTP from host db.stanford.edu, file /pub/chawathe/1994/tsimmis-overview.ps.
23. [23] P. Cohen, H. Levesque, Intention is choice with commitment, Artificial Intelligence 42 (1990) 263-310.
24. [24] S. Conry, K. Kuwabara, V. Lesser, R. Meyer, Multistage negotiation for distributed satisfaction, IEEE Trans. Systems Man Cybernet. (Special Issue on Distributed Artificial Intelligence) 21 (6) (1991) 1462-1477.
25. [25] S. Coradeschi, L. Karlsson, A behavior-based decision mechanism for agents coordinating using roles, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 100-105.
26. [26] U. Dayal, H. Hwang, View definition and generalization for database integration in a multi-database system, IEEE Trans. Software Engineering 10 (6) (1984) 628-644.
27. [27] K. Decker, K. Sycara, M. Williamson, Middle agents for the Internet, in: Proceedings IJCAI-97, Nagoya, Japan, 1997, pp. 578-583.
28. [28] F. Dignum, R. Conte, Intentional agents and goal formation, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 219-231.
29. [29] M. d'Inverno, D. Kinny, M. Luck, M. Wooldridge, A formal specification of dMARS, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 146-166.
30. [30] J. Dix, V Subrahmanian, G. Pick, Meta-agent programs, J. Logic Programming, to appear. Available from http://www.cs.umd.edu/users/vs/agent/pubs.html, September 1998.
31. [31] T. Eiter, V. Subrahmanian, Heterogeneous active agents, II: Algorithms and complexity, Artificial Intelligence 108 (1999) 257-307 (this issue).
32. [32] T. Eiter, V. Subrahmanian, Regular agent programs and their implementation, in preparation.
33. [33] E. Emerson, Temporal and modal logics, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Elsevier (North-Holland), Amsterdam, 1990, Chapter 16.
34. [34] O. Etzioni, D. Weld, A softbot-based interface to the Internet, Comm. ACM 37 (7) (1994) 72-76.
35. [35] M. Garey, D.S. Johnson, Computers and Intractability - A Guide to the Theory of NP-Completeness, Freeman, New York, 1979.
36. [36] L. Gasser, T. Ishida, A dynamic organizational architecture for adaptive problem solving, in: Proceedings AAAI-91, Anaheim, CA, 1991, pp. 185-190.
37. [37] N. Gehani, H. Jagadish, W. Roome, OdeFS: A file system interface to an object-oriented database, in: Internat. Conference on Very Large Databases (VLDB), 1994, pp. 249-260.
38. [38] M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Logic Programming: Proceedings 5th Internat. Conference and Symposium, MIT Press, Cambridge, MA, 1988, pp. 1070-1080.
39. [39] M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.
40. [40] M. Gelfond, V. Lifschitz, Representing actions and change by logic programs, J. Logic Programming 17 (2) (1993) 301-323.
41. [41] M. Genesereth, S. Ketchpel, Software Agents, Comm. ACM 37 (7) (1994) 49-53.
42. [42] M. Genesereth, N. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1987.
43. [43] G.D. Giacomo, Y. Lesperance, H. Levesque, Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus, in: Proceedings IJCAI-97, Nagoya, Japan, 1997, pp. 1221-1226.
44. [44] L. Glicoe, R. Staats, M. Huhns, A multi-agent environment for department of defense distribution, in: IJCAI-95 Workshop on Intelligent Systems, Montreal, Quebec, 1995.
45. [45] G. Gottlob, Complexity results for nonmonotonic logics, J. Logic Comput. 2 (3) (1992) 397-425.
46. [46] A. Gupta, I. Mumick (Eds.), Materialized Views, MIT Press, Cambridge, MA, 1998.
47. [47] A. Haddadi, Towards a pragmatic theory of interactions, in: Internat. Conference on Multi-Agent Systems, 1995, pp. 133-139.
48. [48] S. Hansson, Review of deontic logic in computer science: Normative system specification, Bull. IGPL 2 (2) (1994) 249-250.
49. [49] K. Hindriks, F. de Boer, W. van der Hoek, J. Meyer, Formal semantics of an abstract agent programming language, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 204-218.
50. [50] M. Huhns, M. Singh (Eds.), Readings in Agents, Morgan Kaufmann, San Mateo, CA, 1997.
51. [51] N.R. Jennings, Controlling cooperative problem solving in industrial multi-agent systems using joint intentions, Artificial Intelligence 75 (2) (1995) 195-240.
52. [52] S. Kanger, Law and logic, Theoria 38 (1972).
53. [53] A. Kemper, C. Kilger, G. Moerkotte, Function materialization in object bases: Design, realization, and evaluation, IEEE Trans. Knowledge and Data Engineering 6 (4) (1994) 587-608.
54. [54] S. Kraus, Negotiation and cooperation in multi-agent environments, Artificial Intelligence (Special Issue on Economic Principles of Multi-Agent Systems) 94 (1997) 79-97.
55. [55] C. Krogh, Obligations in multi-agent systems, in: Aamodt, Agnar, Komorowski (Eds.), Proceedings 5th Scandinavian Conference on Artificial Intelligence (SCAI-95), Trondheim, Norway, IOS Press, Amsterdam, 1995, pp. 19-30.
56. [56] D. Kuokka, L. Harada, Integrating information via matchmaking, J. Intelligent Informations Systems 6(3) (1996) 261-279.
57. [57] Y. Labrou, T. Finin, A semantics approach for KQML - A general purpose communications language for software agents, in: Proceedings Internat. Conference on Information and Knowledge Management, 1994, pp. 447-455.
58. [58] Y Labrou, T. Finin, Semantics for an agent communication language, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 199-203.
59. [59] J. Lloyd, Foundations of Logic Programming, Springer, Berlin, 1984, 1987.
60. [60] J. Lobo, V. Subrahmanian, Relating minimal models and pre-requisite-free normal defaults, Inform. Process. Lett. 44 (1992) 129-133.
61. [61] J. Lu, G. Moerkotte, J. Schue, V. Subrahmanian, Efficient maintenance of materialized mediated views, in: M. Carey, D.A. Schneider (Eds.), ACM SIGMOD Conference on Management of Data, San Jose, CA, 1995, pp. 340-351.
62. [62] J. Lu, A. Nerode, V. Subrahmanian, Hybrid knowledge bases, IEEE Trans. Knowledge and Data Engineering 8 (5) (1996) 773-785.
63. [63] P. Maes, Agents that reduce work and information overload, Comm. ACM 37 (7) (1994) 31-40.
64. [64] S. Marcus, V. Subrahmanian, Foundations of multimedia database systems, J. ACM 43 (3) (1996) 474-523.
65. [65] W. Marek, V. Subrahmanian, The relationship between stable, supported, default and auto-epistemic semantics for general logic programs, Theoret. Comput. Sci. 103 (1992) 365-386.
66. [66] W. Marek, M. Truszczyński, Nonmonotonic Logics - Context-Dependent Reasoning, Springer, Berlin, 1993.
67. [67] L. McCarty, Reflections on TAXMAN: An experiment in artificial intelligence and legal reasoning, Harvard Law Review 90 (1977) 837-893.
68. [68] L. McCarty, Permissions and obligations, in: Proceedings IJCAI-83, Karlsruhe, Germany, 1983, pp. 287-294.
69. [69] L. McCarty, Modalities over actions, I. Model theory, in: Proceedings KR-96, 1996, pp. 437-448.
70. [70] L. McCarty, R. van der Meyden, Reasoning about indefinite actions, in: Proceedings KR-92, Cambridge, MA, 1992, pp. 59-70.
71. [71] J.-J.C. Meyer, R. Wieringa (Eds.), Deontic Logic in Computer Science, Wiley, Chichester, 1993.
72. [72] R. Moore, Semantical considerations on nonmonotonic logics, Artificial Intelligence 25 (1985) 75-94.
73. [73] A. Motro, Superviews: Virtual integration of multiple databases, IEEE Trans. Software Engineering 13 (7) (1987) 785-798.
74. [74] N. Nilsson, Principles of Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1980.
75. [75] D. Nute, A non-monotonic logic based on conditional logic, Technical Report TR 01-0007, Artificial Intelligence Programs, The University of Georgia, 1985.
76. [76] Y. Papakonstantinou, V. Vassalos, Expressive capabilities of description languages and query rewriting algorithms, J. Logic Programming, to appear.
77. [77] A. Rao, M. Georgeff, Modeling rational agents within a BDI-architecture, in: J.F. Allen, R. Fikes, E. Sandewall (Eds.), Proceedings of the Second International Conference on Knowledge Representation and Reasoning, Cambridge, MA, Morgan Kaufmann, San Mateo, CA, 1991, pp. 473-484.
78. [78] R. Reiter, On closed-world databases, in: H. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press, New York, 1978, pp. 55-76.
79. [79] R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
80. [80] J.S. Rosenschein, G. Zlotkin, Rules of Encounter: Designing Conventions for Automated Negotiation Among Computers, MIT Press, Boston, MA, 1994.
81. [81] S. Rosenschein, Formal theories of knowledge in AI and robotics, New Generation Computing 3 (4) (1985) 345-357.
82. [82] S. Rosenschein, L.P. Kaelbling, A situated view of representation and control, Artificial Intelligence 73 (1995) 149-173.
83. [83] S.J. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, Englewood Cliffs, NJ, 1995.
84. [84] Y. Ryu, R. Lee, Defeasible deontic reasoning: A logic programming model, in: J.-J.C. Meyer, R. Wieringa (Eds.), Deontic Logic in Computer Science, Wiley, Chichester, 1993, Chapter 9, pp. 225-241.
85. [85] T. Sandholm, V. Lesser, Coalition formation amongst bounded rational agents, in: Proceedings IJCAI-95, Montreal, Quebec, 1995, pp. 662-669.
86. [86] J. Schafer, T. Rogers, J. Marin, Networked visualization of US army war reserve readiness data, in: Proceedings International Workshop on Multimedia Information Systems, Lecture Notes in Computer Science, Vol. 1508, Springer, Berlin, 1998, pp. 136-147.
87. [87] M. Schoppers, D. Shapiro, Designing embedded agents to optimize end-user objectives, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 2-12.
88. [88] R. Schwartz, S. Kraus, Bidding mechanisms for data allocation in multi-agent environments, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 56-70.
89. [89] O. Shehory, K. Sycara, S. Jha, Multi-agent coordination through coalition formation, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 135-146.
90. [90] A. Sheth, J. Larson, Federated database systems for managing distributed, heterogeneous and autonomous databases, ACM Computing Surveys 22 (3) (1990) 183-236.
91. [91] J. Shoenfield, Mathematical Logic, Addison Wesley, Reading, MA, 1967.
92. [92] Y. Shoham, Agent oriented programming, Artificial Intelligence 60 (1993) 51-92.
93. [93] M. Singh, A customizable coordination service for autonomous agents, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 86-99.
94. [94] R. Smith, R. Davis, Negotiation as a metaphor for distributed problem solving, Artificial Intelligence 20 (1983) 63-109.
95. [95] V. Subrahmanian, Amalgamating knowledge bases, ACM Trans. Database Syst. 19 (2) (1994) 291-331.
96. [96] K. Sycara, J. Lu, M. Klusch, Interoperability among heterogeneous software agents on the Internet, Technical Report CMU-RI-TR-98-22, Carnegie Mellon University, Pittsburgh, PA, 1998.
97. [97] K. Sycara, D. Zeng, Multi-agent integration of information gathering and decision support, in: Proceedings European Conference on Artificial Intelligence (ECAI-96), 1996.
98. [98] J.D. Ullman, Principles of Database and Knowledge Base Systems, Computer Science Press, 1989.
99. [99] W. van der Hoek, B. van Linder, J.-J. Meyer, A logic of capabilities, in: A. Nerode, Y. Matiyasevich (Eds.), 3rd Internat. Symposium on the Logical Foundations of Computer Science (LFCS-94), Springer, Berlin, 1994, pp. 366-378.
100. [100] R. van der Meyden, A clausal logic for deontic action specification, in: Proceedings ILPS-91, 1991, pp. 221-238.
101. [101] J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Elsevier (North-Holland), 1990.
102. [102] E. Verharen, F. Dignum, S. Bos, Implementation of a cooperative agent architecture based on the language-action perspective, in: M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997, pp. 26-39.
103. [103] M. Wellman, A market-oriented programming environment and its application to distributed multicommodity flow problems, J. Artificial Intelligence Res. 1 (1993) 1-23.
104. [104] G. Wiederhold, Intelligent integration of information, in: ACM SIGMOD Conference on Management of Data, 1993, pp. 434-437.
105. [105] F. Wilder, A Guide to the TCP/IP Protocol Suite, Artech House, 1993.
106. [106] M. Wooldridge, N. Jennings, Intelligent agents: Theory and practice, Knowledge Engineering Reviews 10 (2) 1995.
107. [107] M. Wooldridge, N. Jennings, Formalizing the cooperative problem solving process, in: M. Huhns, M. Singh (Eds.), Readings in Agents, Morgan Kaufmann, San Mateo, CA, 1997, pp. 430-440.
108. [108] M. Wooldridge, N. Jennings (Eds.), Intelligent Agents III: Internat. Workshop on Agent Theories, Architectures, and Languages, Providence, RI, Lecture Notes in Computer Science, Vol. 1237, Springer, Berlin, 1997.