{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:40:54Z","timestamp":1768556454512,"version":"3.49.0"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2006,1]]},"abstract":"<jats:p>To date, there has been no work on temporal probabilistic agent reasoning on top of heterogeneous legacy databases and software modules. We will define the concept of a<jats:italic>heterogeneous temporal probabilistic<\/jats:italic>(HTP) agent. Such agents can be built on top of existing databases, data structures, and software code bases without explicitly accessing the internal code of those systems and can take actions compatible with a policy or operating principles specified by an agent developer. We will develop a formal semantics for such agents through the notion of a feasible temporal probabilistic status interpretation (FTPSI for short). Intuitively, an FTPSI specifies what all an HTP agent is permitted\/forbidden\/obliged to do at various times<jats:italic>t<\/jats:italic>. As changes occur in the environment, the HTP agent must compute a new FTPSI. HTP agents continuously compute FTPSIs in order to determine what they should do and, hence, the problem of computing FTPSIs is very important. We give a sound and complete algorithm to compute FTPSIs for a very large class of HTP agents called<jats:italic>strict<\/jats:italic>HTP agents. In a given state, many FTPSIs may exist. These represent alternative courses of action that the HTP agent can take. We provide a notion of an<jats:italic>optimal<\/jats:italic>FTPSI that selects an FTPSI optimizing an objective function and give a sound and complete algorithm to compute an optimal FTPSI.<\/jats:p>","DOI":"10.1145\/1119439.1119444","type":"journal-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T16:09:20Z","timestamp":1147104560000},"page":"151-198","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Heterogeneous temporal probabilistic agents"],"prefix":"10.1145","volume":"7","author":[{"given":"J\u00fcrgen","family":"Dix","sequence":"first","affiliation":[{"name":"Technical University of Clausthal, Clausthal, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarit","family":"Kraus","sequence":"additional","affiliation":[{"name":"Bar-Ilan University and University of Maryland, Ramat-Gan, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,1]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Arsham H. 2003. Time series analysis and forecasting techniques. Go online to http:\/\/obelia.jde.aca.mmu.ac.uk\/resdesgn\/arsham\/opre330Forecast.htm. Arsham H. 2003. Time series analysis and forecasting techniques. Go online to http:\/\/obelia.jde.aca.mmu.ac.uk\/resdesgn\/arsham\/opre330Forecast.htm."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of AAAI'02","author":"Baral C.","unstructured":"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. 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."},{"key":"e_1_2_1_3_1","volume-title":"REX Workshop, J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds. Lecture Notes in Computer Science","volume":"430","author":"Barringer H.","unstructured":"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. 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."},{"key":"e_1_2_1_4_1","volume-title":"The Laws of Thought","author":"Boole G.","unstructured":"Boole , G. 1854. The Laws of Thought . Macmillan , London, U.K. Boole, G. 1854. The Laws of Thought. Macmillan, London, U.K."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3013545.3013546"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, C. Mellish, Ed. Morgan Kaufmann","author":"Boutilier C.","unstructured":"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. Mellish, Ed. Morgan Kaufmann , San Francisco, CA, 1104--1111. 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. Mellish, Ed. Morgan Kaufmann, San Francisco, CA, 1104--1111."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of AAAI-00","author":"Boutilier C.","unstructured":"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. 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."},{"key":"e_1_2_1_8_1","volume-title":"The Object Database Standard: ODMG-93. Morgan Kaufmann","author":"Cattell R. G. G.","unstructured":"Cattell , R. G. G. , The Object Database Standard: ODMG-93. Morgan Kaufmann , San Mateo, CA . Cattell, R. G. G., et al. 1997. The Object Database Standard: ODMG-93. Morgan Kaufmann, San Mateo, CA."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"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. 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.","DOI":"10.21236\/ADA459956"},{"key":"e_1_2_1_10_1","unstructured":"Cormen T. H. Leiserson C. E. and Rivest R. L. 1989. Introduction to Algorithms. MIT Press Cambridge MA and McGraw-Hill New York NY. Cormen T. H. Leiserson C. E. and Rivest R. L. 1989. Introduction to Algorithms. MIT Press Cambridge MA and McGraw-Hill New York NY."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings AAAI. AAAI Press, Menlo Park, CA\/MIT Press","author":"Dean T.","unstructured":"Dean , T. and Kanazawa , K . 1988. Probabilistic Temporal Reasoning . In Proceedings AAAI. AAAI Press, Menlo Park, CA\/MIT Press , Cambridge, MA, 524--529. Dean, T. and Kanazawa, K. 1988. Probabilistic Temporal Reasoning. In Proceedings AAAI. AAAI Press, Menlo Park, CA\/MIT Press, Cambridge, MA, 524--529."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00052-2"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021560510377"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/359496.359508"},{"key":"e_1_2_1_15_1","first-page":"3","article-title":"(TAL) temporal action logics: Language specification and tutorial","volume":"2","author":"Doherty P.","year":"1998","unstructured":"Doherty , P. , Gustafsson , J. , Karlsson , L. , and Kvarnstrom , J. 1998 . (TAL) temporal action logics: Language specification and tutorial . Electron. Trans. Artific. Intell. 2 , 3 -- 4 , 273--306. Doherty, P., Gustafsson, J., Karlsson, L., and Kvarnstrom, J. 1998. (TAL) temporal action logics: Language specification and tutorial. Electron. Trans. Artific. Intell. 2, 3--4, 273--306.","journal-title":"Electron. Trans. Artific. Intell."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the Eigth International Conference on Logic Programming. MIT Press","author":"Dubois D.","unstructured":"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. 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."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/21.35337"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","unstructured":"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. 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.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013121110704"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00005-3"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00104-6"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Fagin R. Halpern J. Moses Y. and Vardi M. 1995. Reasoning about Knowledge. MIT Press Cambridge MA. Fagin R. Halpern J. Moses Y. and Vardi M. 1995. Reasoning about Knowledge. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"e_1_2_1_24_1","volume-title":"First International Conference, D. M. Gabbay and H. J. Ohlbach, Eds. Lecture Notes in Computer Science","volume":"827","author":"Fisher M.","year":"1994","unstructured":"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. 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."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00040-4"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622859.1622864"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 10th National Conference on Artificial Intelligence. AAAI Press, Menlo Park, CA\/MIT Press","author":"Gmytrasiewicz P.","unstructured":"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. 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."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence. Morgan Kaufmann","author":"Gmytrasiewicz P.","year":"1991","unstructured":"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. 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."},{"key":"e_1_2_1_30_1","unstructured":"Haddawy P. Doan A. and Goodwin R. 1995. Efficient decision-theoretic planning: Techniques and empirical analysis. In UAI P. Besnard and S. Hanks Eds. Morgan Kaufmann San Francisco CA 229--236. Haddawy P. Doan A. and Goodwin R. 1995. Efficient decision-theoretic planning: Techniques and empirical analysis. In UAI P. Besnard and S. Hanks Eds. Morgan Kaufmann San Francisco CA 229--236."},{"key":"e_1_2_1_31_1","unstructured":"Halpern J. Y. and Tuttle M. 1992. Knowledge probability and adversaries. Tech. rep. IBM Yorktown Heights NY. Halpern J. Y. and Tuttle M. 1992. Knowledge probability and adversaries. Tech. rep. IBM Yorktown Heights NY."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90002-7"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings AAAI-91","author":"Kanazawa K.","year":"1991","unstructured":"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. 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."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261131"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)91022-1"},{"key":"e_1_2_1_37_1","volume-title":"Foundations of Logic Programming","author":"Lloyd J.","unstructured":"Lloyd , J. 1984, 1987. Foundations of Logic Programming . Springer-Verlag , Berlin, Germany . Lloyd, J. 1984, 1987. Foundations of Logic Programming. Springer-Verlag, Berlin, Germany."},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 9th International Workshop on Multimedia Information Systems","author":"Mittu R.","unstructured":"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. 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."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"e_1_2_1_40_1","volume-title":"Markov Decision Processes: Discrete Dynamic Programming","author":"Puterman M.","unstructured":"Puterman , M. 1994. Markov Decision Processes: Discrete Dynamic Programming . Wiley & Sons , Chicester, U.K. , New York, NY\/Brisbane, Australia. Puterman, M. 1994. Markov Decision Processes: Discrete Dynamic Programming. Wiley & Sons, Chicester, U.K., New York, NY\/Brisbane, Australia."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/3087454.3087518"},{"key":"e_1_2_1_42_1","volume-title":"Features and Fluents: The Representation of Knowledge about Dynamical Systems","author":"Sandewall E.","unstructured":"Sandewall , E. 1995. Features and Fluents: The Representation of Knowledge about Dynamical Systems . Oxford University Press , Oxford, U.K. Sandewall, E. 1995. Features and Fluents: The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford, U.K."},{"key":"e_1_2_1_43_1","unstructured":"Scientific T. 2003. Kalman Filter References. Go online to http:\/\/www.taygeta.com\/kalrefs.html. Scientific T. 2003. Kalman Filter References. Go online to http:\/\/www.taygeta.com\/kalrefs.html."},{"key":"e_1_2_1_44_1","volume-title":"Reasoning about Change","author":"Shoham Y.","unstructured":"Shoham , Y. 1988. Reasoning about Change . MIT Press, Cambridge , MA. Shoham, Y. 1988. Reasoning about Change. MIT Press, Cambridge, MA."},{"key":"e_1_2_1_45_1","volume-title":"CORBA Fundementals and Programming","author":"Siegal J.","unstructured":"Siegal , J. 1996. CORBA Fundementals and Programming . John Wiley & Sons , New York, NY . Siegal, J. 1996. CORBA Fundementals and Programming. John Wiley & Sons, New York, NY."},{"key":"e_1_2_1_46_1","unstructured":"Subrahmanian V. Bonatti P. Dix J. Eiter T. Kraus S. \u00d6zcan F. and Ross R. 2000. Heterogenous Active Agents. MIT Press Cambridge MA. Subrahmanian V. Bonatti P. Dix J. Eiter T. Kraus S. \u00d6zcan F. and Ross R. 2000. Heterogenous Active Agents. MIT Press Cambridge MA."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 9th International Workshop on Multimedia Information Systems","author":"Hammel B. Y.","unstructured":"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. 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."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550060504"},{"key":"e_1_2_1_50_1","doi-asserted-by":"crossref","unstructured":"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. 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.","DOI":"10.3386\/w6269"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1119439.1119444","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1119439.1119444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:18Z","timestamp":1750262898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1119439.1119444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.1145\/1119439.1119444"],"URL":"https:\/\/doi.org\/10.1145\/1119439.1119444","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]},"assertion":[{"value":"2006-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}