A logic-based approach to dynamic programming

AAAI Workshop - Technical Report

Volumn WS-04-08, Issue , 2004, Pages 31-36

  Hölldobler, Steffen ^a   Skvortsova, Olga ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; ITERATIVE METHODS; PROBABILISTIC LOGICS;

FIRST-ORDER LANGUAGE; FIRST-ORDER VALUE ITERATION ALGORITHM; NORMALIZATION ALGORITHM; PROBABILISTIC FLUENT CALCULUS;

DYNAMIC PROGRAMMING;

EID: 32144460506     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Barto, A. G.; Bradtke, S. J.; and Singh, S. P. 1995. Learning to Act Using Real-Time Dynamic Programming. Artificial Intelligence 72(1-2):81-138.
2. Bellman, R. E. 1957. Dynamic Programming. Princeton, NJ, USA: Princeton University Press.
3. Boutilier, C.; Reiter, R.; and Price, B. 2001. Symbolic Dynamic Programming for First-Order MDPs. In Nebel, B., ed., Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01), 690-700. Morgan Kaufmann.
4. Ginsberg, M. 1988. Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence. Computational Intelligence 4(3).
5. Green, C. 1969. Application of theorem proving to problem solving. In Proceedings of the International Joint Conference on Artificial Intelligence, 219-239. Morgan Kaufmann Publishers.
6. Große, G.; Hölldobler, S.; Schneeberger, J.; Sigmund, U.; and Thielscher, M. 1992. Equational logic programming, actions, and change. In Apt, K., ed., IJCSLP, 177-191. MIT Press.
7. Großmann, A.; Hölldobler, S.; and Skvortsova, O. 2002. Symbolic Dynamic Programming within the Fluent Calculus. In Ishii, N., ed., Proceedings of the IASTED International Conference on Artificial and Computational Intelligence, 378-383. Tokyo, Japan: ACTA Press.
8. Hoey, J.; St-Aubin, R.; Hu, A.; and Boutilier, C. 1999. SPUDD: Stochastic Planning using Decision Diagrams. In Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), 279-288.
9. Hölldobler, S., and Schneeberger, J. 1990. A new deductive approach to planning. New Generation Computing 8:225-244.
10. McDermott, D. 1998. PDDL - the planning domain definition language. Technical Report 1165, Yale University, Department of Computer Science.
11. Skvortsova, O. 2003. Towards Automated Symbolic Dynamic Programming. Master's thesis, TU Dresden.
12. Thielscher, M. 2004. FLUX: A logic programming method for reasoning agents. Theory and practive of Logic Programming.
13. Younes, H., and Littman, M. 2003. PPDDL1.0: An extension to PDDL for expressing planning domains with probabilistic effects. In Proceedings of the 14th International Conference on Automated Planning and Scheduling. To appear.