Reasoning about actions with sensing under qualitative and probabilistic uncertainty

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 818-822

  Iocchi, Luca ^a   Lukasiewicz, Thomas ^a,b   Nardi, Daniele ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL METHODS;

ACTION LANGUAGE; CONDITIONAL PLANNING; CONDITIONAL PLANS; DETERMINISTICS; EPISTEMIC STATE; FORMAL SEMANTICS; PLANNING PROBLEM; PROBABILISTIC UNCERTAINTY; PROBABILISTICS; REASONING ABOUT ACTIONS;

SEMANTICS;

EID: 85017332846     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (20)

1. F. Bacchus, J. Y. Halpern, and H. J. Levesque, 'Reasoning about noisy sensors and effectors in the situation calculus', Artif. Intell., 111(1-2), 171-208, (1999).
2. C. Baral, N. Tran, and L.-C. Tuan, 'Reasoning about actions in a probabilistic setting', in Proc. AAAI/IAAI-2002, pp. 507-512, (2002).
3. C. Boutilier, R. Reiter, and B. Price, 'Symbolic dynamic programming for first-order MDPs', in Proc. IJCAI-2001, pp. 690-700, (2001).
4. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun, 'Decisiontheoretic, high-level agent programming in the situation calculus', in Proc. AAAI/IAAI-2000, pp. 355-362, (2000).
5. D. Draper, S. Hanks, and D. S. Weld, 'Probabilistic planning with information gathering and contingent execution', in Proc. AIPS-1994, pp. 31-36, (1994).
6. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres, 'A logic programming approach to knowledge-state planning, II: The DLVK system', Artif. Intell., 144(1-2), 157-211, (2003).
7. T. Eiter and T. Lukasiewicz, 'Probabilistic reasoning about actions in nonmonotonic causal theories', in Proc.UAI-03, pp. 192-199, (2003).
8. H. Geffner, 'Perspectives on artificial intelligence planning', in Proc. AAAI/IAAI-2002, pp. 1013-1023, (2002).
9. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner, 'Nonmonotonic causal theories', Artif. Intell., 153(1-2), 49-104, (2004).
10. H. Grosskreutz and G. Lakemeyer, 'Belief update in the pGOLOG framework', in Proc. KI/ÖGAI-2001, pp. 213-228, (2001).
11. J. Y. Halpern and M. R. Tuttle, 'Knowledge, probability, and adversaries', J. ACM, 40(4), 917-962, (1993).
12. L. Iocchi, T. Lukasiewicz, D. Nardi, and R. Rosati, 'Reasoning about actions with sensing under qualitative and probabilistic uncertainty', Technical Report INFSYS RR-1843-03-05, Institut für Informationssysteme, TU Wien, (2003).
13. L. P. Kaelbling, M. L. Littman, and A. R. Cassandra, 'Planning and acting in partially observable stochastic domains', Artif. Intell., 101(1- 2), 99-134, (1998).
14. L. Karlsson, 'Conditional progressive planning under uncertainty', in Proc. IJCAI-2001, pp. 431-438, (2001).
15. H. J. Levesque, 'What is planning in presence of sensing?', in Proc. AAAI-1996, pp. 1139-1149, (1996).
16. P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas, 'Probabilistic situation calculus', Ann. Math. Artif. Intell., 32, 393-431, (2001).
17. N. Onder and M. E. Pollack, 'Conditional, probabilistic planning: A unifying algorithm and effective search control mechanisms', in Proceedings AAAI/IAAI-1999, pp. 577-584, (1999).
18. D. Poole, 'The independent choice logic for modelling multiple agents under uncertainty', Artif. Intell., 94(1-2), 7-56, (1997).
19. M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, Wiley, 1994.
20. T. C. Son and C. Baral, 'Formalizing sensing actions: A transition function based approach', Artif. Intell., 125(1-2), 19-91, (2001).