Principles and applications of continual computation

Artificial Intelligence

Volumn 126, Issue 1-2, 2001, Pages 159-196

  Horvitz, Eric ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECISION THEORY; PROBLEM SOLVING; REAL TIME SYSTEMS;

DECISION-THEORETIC CONTROL; METAREASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0035251323     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00082-5     Document Type: Article

References (68)

1. Agrawal S., Chaudhuri S., Narasayya V. Automated selection of materialized views and indexes for SQL databases. Proc. 26th International Conference on Very Large Databases. 2000;Very Large Database Endowment.
2. Albrecht D.W., Zukerman I., Nicholson A.E., Bud A. Towards a bayesian model for keyhole plan recognition in large domains. Proc. 6th International Conference on User Modeling, Sardinia, Italy. 1997;365-376 Springer, Berlin.
3. Ben-Bassat M. Myopic policies in sequential classification. IEEE Trans. Comput. 27:1978;170-178.
4. Ben-Bassat M., Teeni D. Human-oriented information acquisition in sequential pattern classification: Part 1 - Single membership classification. IEEE Trans. Systems Man Cybernet. 14:1984;131-138.
5. Boddy M., Dean T. Solving time-dependent planning problems. Proc. IJCAI-89, Detroit, MI. 1989;AAAI/International Joint Conferences on Artificial Intelligence.
6. Boddy M., Dean T. Decision-theoretic deliberation scheduling for problem solving in time-constrained environments. Artificial Intelligence. 67:(2):1994;245-286.
7. Boutilier C., Dearden R. Using abstractions for decision-theoretic planning with time constraints. Proc. AAAI-94, Seattle, WA. 1994;1016-1022 American Association for Artificial Intelligence, AAAI Press, Menlo Park, CA.
8. Breese J., Horvitz E., Peot M., Gay R., Quentin G. Automated decision-analytic diagnosis of thermal performance in gas turbines. Proc. Turbine Expo 92. 1992;American Society of Mechanical Engineers.
9. Breese J.S., Blake R. Automating computer bottleneck detection with belief nets. Proc. 11th Conference on Uncertainty in Artificial Intelligence, Montreal, Que. 1995;Association for Uncertainty in Artificial Intelligence, Morgan Kaufmann, San Mateo, CA.
10. Breese J.S., Heckerman D., Kadie C. Empirical analysis of predictive algorithms for collaborative filtering. Proc. 14th Conference on Uncertainty in Artificial Intelligence, Madison, WI, Association for Uncertainty in Artificial Intelligence. 1998;43-52 Morgan Kaufmann, San Francisco, CA.
11. Breese J.S., Horvitz E.J. Ideal reformulation of belief networks. Proc. 6th Conference on Uncertainty in Artificial Intelligence, Cambridge, MA. 1990;64-72 Association for Uncertainty in Artificial Intelligence, Mountain View, CA.
12. Burton F.W. Controlling speculative computation in a parallel functional programming language. Proc. 5th International Conference on Distributed Computing Systems. 1985;453-458.
13. Cadoli M., Donini F.M. A survey on knowledge compilation. AI Communications - The European Journal for Artificial Intelligence. 10:1997;137-150.
14. Calder B., Feller P., Eustace A. Value profiling. Proc. 30th International Symposium on Microarchitecture. 1997;270-280.
15. Callahan D., Kennedy K., Porterfield A. Software prefetching. Proc. 4th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Vol. 26 (4). 1991;40-52 ACM Press, New York.
16. Chang F., Gibson G., Automatic I. Hint generation through speculative execution. Proc. 3rd USENIX Symposium on Operating Systems Design and Implementation (OSDI'99). 1999;1-14.
17. Chaudhuri S., Narasayya V. An efficient cost-driven index selection tool for Microsoft sql server. Proc. 23rd International Conference on Very Large Databases. 1997;Very Large Database Endowment.
18. Conati C., Gertner A.S., VanLehn K., Druzdzel M.J. Online student modeling for coached problem solving using bayesian networks. Proc. 6th International Conference on User Modeling, Sardinia, Italy. 1997;231-242 Springer, Berlin.
19. Cooper G. The computational complexity of Bayesian inference using Bayesian belief networks. Artificial Intelligence. 42:(2):1990;393-405.
20. Dagum P., Luby M. Approximating probabilistic inference in Bayesian networks is NP-hard. Artificial Intelligence. 60:(1):1993;141-153.
21. Dean T., Boddy M. An analysis of time-dependent planning. Proc. AAAI-88, St. Paul, MN. 1988;49-54 American Association for Artificial Intelligence.
22. Dean T.L., Wellman M.P. Planning and control. Temporally Flexible Inference, Chapter 8.3. 1991;353-363 Morgan Kaufmann, San Francisco, CA.
23. DeGroot D. Throttling speculative computation: Issues and problems. Parallel Computing. 1991;19-37.
24. Garey M.R., Johnson D.S. Computers and Intractability: A Guide to the Theory of NP-Completeness. 1979;W.H. Freeman, New York.
25. Ghosh K., Fujimoto R.M., Schwan K. A testbed for optimistic execution of real-time simulations. Proc. IEEE Workshop on Parallel and Distributed Real-Time Systems. 1993;IEEE Computer Society.
26. Good I.J. A five-year plan for automatic chess. Dale E., Michie D. Machine Intelligence. 2:1968;89-118 Oliver & Boyd, Edinburgh.
27. Good I.J. Dynamic probability, computer chess, and the measurement of knowledge. Elcock E.W., Michie D. Machine Intelligence, Vol. 8. 1977;139-150 Wiley, New York.
28. Gorry G.A., Barnett G.O. Experience with a model of sequential diagnosis. Computers and Biomedical Research. 1:1968;490-507.
29. Greenwald L. Analysis and design of on-line decision-making solutions for time-critical planning and scheduling under uncertainty, Ph.D. Thesis. 1996;Department of Computer Science, Brown University, Providence, RI.
30. Greenwald L., Dean T. Anticipating computational demands when solving time-critical decision-making problems. Proc. 1st Workshop on the Algorithmic Foundations of Robotics. 1994;A.K. Peters.
31. Gupta H., Harinarayan V., Rajaraman A., Ullman J. Index selection for olap. Proc. 13th International Conference on Data Engineering. 1999;208-219 IEEE Computer Society.
32. Heckerman D., Breese J., Rommelse K. Decision-theoretic troubleshooting. Comm. ACM. 38:(3):1995;49-57.
33. Heckerman D., Horvitz E., Middleton B. A nonmyopic approximation for value of information. Proc. 7th Conference on Uncertainty in Artificial Intelligence, Los Angeles, CA. 1991;Association for Uncertainty in Artificial Intelligence.
34. Heckerman D., Horvitz E., Nathwani B. Toward normative expert systems: Part I. The Pathfinder project. Methods of Information in Medicine. 31:1992;90-105.
35. Heckerman D.E., Breese J.S., Horvitz E.J. The compilation of decision models. Proc. 5th Conference on Uncertainty in Artificial Intelligence, Windsor, Ont. 1989;162-173 Association for Uncertainty in Artificial Intelligence, Mountain View, CA.
36. Henrion M., Breese J.S., Horvitz E.J. Decision analysis and expert systems. AI Magazine. 12:1992;64-91.
37. Holtmann U., Ernst R. Experiments with low-level speculative computation based on multiple branch prediction. IEEE Trans. VLSI Systems. 1:(3):1993;262-267.
38. Hoppe H. Progressive meshes. Proc. SIGGRAPH-96. 1996;99-108 SIGGRAPH.
39. Horsch M., Poole D. Flexible policy construction by information refinement. Proc. 12th Conference on Uncertainty in Artificial Intelligence, Portland, OR. 1996;315-324 Morgan Kaufmann, San Francisco, CA.
40. Horvitz E. Models of continual computation. Proc. AAAI-97, Providence, RI. 1997;286-293 American Association for Artificial Intelligence, AAAI Press, Cambridge, MA.
41. Horvitz E. Continual computation policies for utility-directed prefetching. Proc. 7th International Conference on Information and Knowledge Management. 1998;175-184 ACM Press, New York.
42. Horvitz E., Breese J., Heckerman D., Hovel D., Rommelse K. The Lumiere project: Bayesian user modeling for inferring the goals and needs of software users. Proc. 14th Conference on Uncertainty in Artificial Intelligence, Madison, WI. 1998;256-265 Morgan Kaufmann, San Francisco, CA.
43. Horvitz E., Klein A. Reasoning, metareasoning, and mathematical truth: Studies of theorem proving under limited resources. Proc. 11th Conference on Uncertainty in Artificial Intelligence, Montreal, Que. 1995;306-314 Association for Uncertainty in Artificial Intelligence, Morgan Kaufmann, San Francisco, CA.
44. Horvitz E., Lengyel J. Perception, attention, and resources: A decision-theoretic approach to graphics rendering. Proc. 13th Conference on Uncertainty in Artificial Intelligence (UAI-97) Providence, RI. 1997;238-249 Morgan Kaufmann, San Francisco, CA.
45. Horvitz E., Seiver A. Time-critical action: Representations and application. Proc. 13th Conference on Uncertainty in Artificial Intelligence (UAI-97) Providence, RI. 1997;250-257 Morgan Kaufmann, San Francisco, CA.
46. Horvitz E., Zilberstein S. Proceedings of the Fall Symposium on Flexible Computation, Cambridge, MA, Technical Report FS-96-06. 1996;American Association for Artificial Intelligence.
47. Horvitz E.J. Reasoning about beliefs and actions under computational resource constraints. Proc. 3rd Conference on Uncertainty in Artificial Intelligence, Seattle, WA. 1987;429-444 AAAI and Association for Uncertainty in Artificial Intelligence, Mountain View, CA. Also in: L. Kanal, T. Levitt, J. Lemmer (Eds.), Uncertainty in Artificial Intelligence 3, Elsevier, Amsterdam, 1989, pp. 301-324.
48. Horvitz E.J. Reasoning under varying and uncertain resource constraints. Proc. AAAI-88 St. Paul, MN. 1988;111-116 Morgan Kaufmann, San Mateo, CA.
49. Horvitz E.J. Rational metareasoning and compilation for optimizing decisions under bounded resources. Proc. Computational Intelligence 89, Milan, Italy. 1989;ACM, New York.
50. Horvitz E.J. Computation and action under bounded resources, Ph.D. Thesis. 1990;Stanford University, Stanford.
51. Horvitz E.J., Cooper G.F., Heckerman D.E. Reflection and action under scarce resources: Theoretical principles and empirical study. Proc. IJCAI-89, Detroit, MI. 1989;1121-1127 International Joint Conference on Artificial Intelligence.
52. Khardon R., Roth D. Learning to reason. Proc. AAAI-94, Seattle, WA. 1994;682-687 AAAI Press.
53. Leiberman H. An agent that assists web browsing. Proc. IJCAI-95, Montreal, Que. 1995;Morgan Kaufmann, San Francisco, CA.
54. Markowitz H.M. Portfolio Selection. 1991;Blackwell, Cambridge, MA.
55. Moses Y., Tennenholtz M. Off-line reasoning for on-line efficiency. Proc. IJCAI-93, Chambéry, France. 1993;490-495 Morgan Kaufmann, San Francisco, CA.
56. Mowry T., Lam M., Gupta A. Design and evaluation of a compiler algorithm for prefetching. Proc. 5th International Conference on Architectural Support for Programming Languages and Operating Systems. 1992;62-73.
57. Resnick P., Varian H. Recommender systems. Comm. ACM. 40:(3):1997;56-58.
58. Rogers A., Li K. Software support for speculative loads. Proc. 5th International Conference on Architectural Support for Programming Languages and Operating Systems. 1992;38-50.
59. Russell S. Fine-grained decision-theoretic search control. Proc. 6th Conference on Uncertainty in Artificial Intelligence, Cambridge, MA. 1990;Association for Uncertainty in Artificial Intelligence, Mountain View, CA.
60. Russell S., Subramanian D., Parr R. Provable bounded optimal agents. Proc. IJCAI-93, Chambéry, France. 1993;338-344.
61. Russell S., Wefald E. Do the Right Thing. 1991;MIT Press, Cambridge, MA.
62. Sahni S. Approximate algorithms for the 0/1 knapsack problem. J. ACM. 1975;115-124.
63. Sandholm T., Lesser V. Coalitions among rationally bounded agents. Artificial Intelligence. 94:(1):1997;99-137.
64. Selman B., Brooks R.A., Dean T., Horvitz E., Mitchell T.M., Nilsson N.J. Challenge problems for artificial intelligence. Proc. AAAI-96, Portland, OR. 1996;1340-1345 American Association for Artificial Intelligence, AAAI Press, Cambridge, MA.
65. Selman B., Kautz H. Knowledge compilation using Horn approximations. Proc. AAAI-91, Anaheim, CA. 1991;904-909 AAAI Press.
66. Shwe M., Middleton B., Heckerman D., Henrion M., Horvitz E., Lehmann H., Cooper G. Probabilistic diagnosis using a reformulation of the INTERNIST-1/QMR knowledge base - II: Evaluation of diagnostic performance. Methods of Information in Medicine. 30:1991;256-267.
67. Sohn A., Wu Z., Jin X. Parallel simulated annealing by generalized speculative computation. Proc. 5th IEEE Symposium on Parallel and Distributed Processing. 1993.
68. Zilberstein S., Russell S.J. Optimal composition of real-time systems. Artificial Intelligence. 82:(1-2):1996;181-213.