Heterogeneous temporal probabilistic agents

ACM Transactions on Computational Logic

Volumn 7, Issue 1, 2006, Pages 151-198

  Dix, Jürgen ^a   Kraus, Sarit ^b   Subrahmanian, V S ^c,d  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b BAR ILAN UNIVERSITY   (Israel)

^c UNIVERSITY OF MARYLAND   (United States)

^d Technical University of Clausthal ^*  (United States)

Author keywords

Logic programming; Multiagent reasoning; Probabilistic reasoning; Temporal reasoning; Uncertainty

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DATA STRUCTURES; DATABASE SYSTEMS; LEGACY SYSTEMS; PROBABILITY; PROBLEM SOLVING; SEMANTICS;

MULTIAGENT REASONING; PROBABILISTIC REASONING; TEMPORAL REASONING;

FORMAL LOGIC;

EID: 33745255681     PISSN: 15293785     EISSN: 15293785     Source Type: Journal    
DOI: 10.1145/1119439.1119444     Document Type: Article

References (50)

1. ABSHAM, H. 2003. Time series analysis and forecasting techniques. Go online to http://obelia.jde.aca.mmu.ac.uk/resdesgn/arsham/opre330Forecast.htm.
2. BARAL, C., TRAN, N., AND TUAN, L. 2002. Reasoning about actions in a probabilistic setting. In Proceedings of AAAI'02. AAAI Press, Menlo, Park, CA, 507-512.
3. BARRINGER, H., FISHER, M., GABBAY, D., GOUGH, G., AND OWENS, R. 1990. METATEM: A framework for programming in temporal logic. In REX Workshop, J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 430. Springer, Berlin, Germany.
4. BOOLE, G. 1854. The Laws of Thought. Macmillan, London, U.K.
5. BOUTILIER, C., DEAN, T., AND HANKS, S. 1999. Decision-theoretic planning: Structural assumptions and computational leverage. J. Artific. Intell. Res. 11, 1-94.
6. BOUTILIER, C., DEARDEN, R., AND GOLDSZMIDT, M. 1995. Exploiting structure in policy construction. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, C. Hellish, Ed. Morgan Kaufmann, San Francisco, CA, 1104-1111.
7. BOUTILIER, C., REITER, R., SOUTCHANSKI, M., AND THRUN, S. 2000. Decision-theoretic, high-level agent programming in the, situation calculus. In Proceedings of AAAI-00. 355-362.
8. CATTELL, R. G. G., ET AL. 1997. The Object Database Standard: ODMG-93. Morgan Kaufmann, San Mateo, CA.
9. CHALUPSKY, H., GIL, Y., KNOBLOCK, C., LERMAN, K., OH, J., PYNADATH, D., RUSS, T., AND TAMBE, M. 2001. Electric elves: Applying agent technology to support human organizations. In IAAI, H. Hirsh and S. Chien, Eds. AAAI Press, Menlo Park, CA.
10. COHMEN, T. H., LEISERSON, C. E., AND RIVEST, R. L. 1989. Introduction to Algorithms. MIT Press, Cambridge, MA, and McGraw-Hill, New York, NY.
11. DEAN, T. AND KANAZAWA, K. 1988. Probabilistic Temporal Reasoning. In Proceedings AAAI. AAAI Press, Menlo Park, CA/MIT Press, Cambridge, MA, 524-529.
12. DIX, J., KRAUS, S., AND SUBRAHMANIAN, V. 2001. Temporal agent reasoning. Artific. Intell. 127, 1, 87-135.
13. DIX, J., MUNOZ-AVILA, H., NAU, D., AND ZHANG, L. 2003. IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Ann. Math. AI 4, 37, 381-407.
14. DIX, J., NANNI, M., AND SUBRAHMANIAN, V. 2000. Probabilistic agent reasoning. ACM Trans. Computat. Logic 1, 2, 201-245.
15. DOHERTY, P., GUSTAPSSON, J., KARLSSON, L., AND KVARNSTROM, J. 1998. (TAL) temporal action logics: Language specification and tutorial. Electron. Trans. Artific. Intell. 2, 3-4, 273-306.
16. DUBOIS, D., LAND, J., AND PRADE, H. 1991. Towards possibilistic logic programming. In Proceedings of the Eigth International Conference on Logic Programming. MIT Press, Cambridge, MA, 581-595.
17. DUBOIS, D. AND PRADE, H. 1989. Processing fuzzy temporal knowledge. IEEE Trans. Syst. Man Cybernet. 19, 4, 729-744.
18. DUBOIS, D. AND PRADE, H. 1994. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Nonmonotonic and Uncertain Reasoning, D. Gabbay, C. Hogger, and J. Robinson, Eds. Oxford University Press, Oxford, U.K., 439-513.
19. EITER, T., LUKASIEWICZ, T., AND WALTER, M. 2001. A data model and algebra for probabilistic complex values. Ann. Math. Artific. Intell. 33, 2-4, 205-252.
20. EITER, T., SUBRAHMANIAN, V., AND PICK, G. 1999. Heterogeneous active agents, I: Semantics. Artific. Intell. 108, 1-2, 179-255.
21. EITER, T., SUBRAHMANIAN, V., AND ROGERS, T. 2000. Heterogeneous active agents, III: Polynomially implementable agents. Artific. Intell. 117, 1, 107-167.
22. FAGIN, R., HALPERN, J., MOSES, Y, AND VARDI, M. 1995. Reasoning about Knowledge. MIT Press, Cambridge, MA.
23. FAGIN, R., HALPERN, J. Y., AND MEGIDDO, N. 1990. A logic for reasoning about probabilities. Inform. Computat. 87, 1/2 (July/Aug.), 78-128.
24. FISHER, M. 1994. A survey of Concurrent METATEM -, the language and its applications. In Temporal Logic-Proceedings of the, First International Conference, D. M. Gabbay and H. J. Ohlbach, Eds. Lecture Notes in Computer Science, vol. 827. Springer, Berlin, Germany.
25. FRIEDMAN, N. AND HALPERN, J. Y 1997. Modeling belief in dynamic systems, part I: Foundations. Artific. Intell. J. 95, 2, 257-316.
26. FRIEDMAN, N. AND HALPERN, J. Y 1999. Modeling belief in dynamic systems, part II: Revision and update. J. Artific. Intell. Res. 10, 117-167.
27. GMYTRASIEWICZ, P. AND DURFEE, E. 1992. A logic of knowledge and belief for recursive modeling. In Proceedings of the 10th National Conference on Artificial Intelligence. AAAI Press, Menlo Park, CA/MIT Press, Cambridge, MA, 628-634.
28. GMYTRASIEWICZ, P., DURFEE, E., AND WEHE., D. 1991. A decision-theoretic approach to coordinating multiagent interactions. In Proceedings of the 12th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, San Francisco, CA, 62-68.
29. HADDAWY, P. 1991. Representing plans under uncertainty: A logic of time, chance and action. Ph.D. dissertation. Tech. rep. UIUCDCS-R-91-1719. University of Illinois-Urbana-Champaign, Urbana, IL.
30. HADDAWY, P., DOAN, A., AND GOODWIN, R. 1995. Efficient decision-theoretic planning: Techniques and empirical analysis. In U AI, P. Besnard and S. Hanks, Eds. Morgan Kaufmann, San Francisco, CA, 229-236.
31. HALPERN, J. Y AND TUTTLE, M. 1992. Knowledge, probability and adversaries. Tech. rep., IBM, Yorktown, Heights, NY.
32. HANKS, S. AND MCDERMOTT, D. 1994. Modeling a dynamic and uncertain world I: Symbolic and probabilistic reasoning about change. Artific. Intell. 65, 2, 1-55.
33. KANAZAWA, K. 1991. A logic and time nets for probabilistic inference. In Proceedings AAAI-91. AAAI Press, Menlo Park, CA /MIT Press, Cambridge, MA, 360-365.
34. KIFER, M. AND SUBRAHMANIAN, V. 1992. Theory of generalized annotated logic programming and its applications. J. Logic Programm. 12, 4, 335-368.
35. LAKSHMANAN, V., LEONE, N., ROSS, R., AND SUBRAHMANIAN, V. 1997. Prob View: A flexible probabilistic database system. ACM Trans. Datab. Syst. 22, 3 (Sept.), 419-469.
36. LEHMANN, D. AND SHELAH, S. 1982. Reasoning with time and chance. Inform. Contr. 53, 165-198.
37. LLOYD, J. 1984,1987. Foundations of Logic Programming. Springer-Verlag, Berlin, Germany.
38. MITTU, R. AND ROSS, R. 2003. Building upon the coalitions agent experiment (coax)-integration of multimedia information in gccs-m using impact. In Proceedings of the 9th International Workshop on Multimedia Information Systems (Ischia, Italy). 35-44.
39. POOLE, D. 1997. The independent choice logic for modeling multiple agents under uncertainty. Artific. Intell. 94, 1-2, 7-56.
40. PUTERMAN, M. 1994. Markov Decision Processes: Discrete Dynamic Programming, Wiley & Sons, Chicester, U.K., New York, NY/Brisbane, Australia.
41. REITER, R. 1998. Sequential temporal golog. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98). Morgan Kaufman, San Francisco, CA, 547-556.
42. SANDEWALL, E. 1995. Features and Fluents: The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford, U.K.
43. SCIENTIFIC, T. 2003. Kalman Filter References. Go online to http://www.taygeta.com/kalrefs.html.
44. SHOHAM, Y 1988. Reasoning about Change. MIT Press, Cambridge, MA.
45. SIEGAL, J. 1996. CORBA Fundementals and Programming. John Wiley & Sons, New York, NY.
46. SUBRAHMANIAN, V., BONATTI, P., DIX, J., EITER, T., KRAUS, S., ÖZCAN, F., AND ROSS, R. 2000. Heterogenous Active Agents. MIT Press, Cambridge, MA.
47. T. HAMMEL, B. Y. AND ROGERS, T. 2003. Fusing live sensor data into situational multimedia views. In Proceedings of the 9th International Workshop on Multimedia Information Systems (Ischia, Italy). 145-156.
48. TARSKI, A. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math. 6, 285-309.
49. THOMAS, B., SHOHAM, Y., SCHWARTZ, A., AND KRAUS, S. 1991. Preliminary thoughts on an agent description language. Internat. J. Intell. Syst. 6, 5 (Aug.), 497-508.
50. WOLFRAM, C. D. 1997. Strategic bidding in a multi-unit auction: An empirical analysis of bids to supply electricity in England and Wales. NBER Working Paper W6269.