Preferred Explanations: Theory and Generation via Planning

Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011

Volumn , Issue , 2011, Pages 261-267

  Sohrabi, Shirin ^a   Baier, Jorge A ^b   McIlraith, Sheila A ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN KNOWLEDGE;

ACTIVITY RECOGNITION; DOMAIN-SPECIFIC KNOWLEDGE; LINEAR TEMPORAL LOGIC; LOGICAL CHARACTERIZATION; STATE OF THE ART;

DYNAMICAL SYSTEMS;

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

References (23)

1. Baier, J., and McIlraith, S. 2006. Planning with first-order temporally extended goals using heuristic search. In Proc. of the 21st National Conference on Artificial Intelligence (AAAI), 788-795.
2. Baier, J., and McIlraith, S. 2008. Planning with preferences. AI Magazine 29(4):25-36.
3. Baier, J.; Bacchus, F.; and McIlraith, S. 2009. A heuristic search approach to planning with temporally extended preferences. Artificial Intelligence 173(5-6):593-618.
4. Brewka, G. 1994. Adding priorities and specificity to default logic. In Proc. of the Logics in Artificial Intelligence, European Workshop (JELIA), 247-260.
5. Bylander, T. 1994. The computational complexity of propositional STRIPS planning. Artificial Intelligence 69(1-2):165-204.
6. de Giacomo, G., and Vardi, M. Y. 1999. Automata-theoretic approach to planning for temporally extended goals. In Biundo, S., and Fox, M., eds., ECP, volume 1809 of LNCS, 226-238. Durham, UK: Springer.
7. Gabbay, D. M. 1987. The declarative past and imperative future: Executable temporal logic for interactive systems. In Temporal Logic in Specification, 409-448.
8. Gerevini, A.; Haslum, P.; Long, D.; Saetti, A.; and Dimopoulos, Y. 2009. Deterministic planning in the 5th int'l planning competition: PDDL3 and experimental evaluation of the planners. Artificial Intelligence 173(5-6):619-668.
9. Göbelbecker, M.; Keller, T.; Eyerich, P.; Brenner, M.; and Nebel, B. 2010. Coming up with good excuses: What to do when no plan can be found. In Proc. of the 20th Int'l Conference on Automated Planning and Scheduling (ICAPS), 81-88.
10. Grastien, A.; Anbulagan; Rintanen, J.; and Kelareva, E. 2007. Diagnosis of discrete-event systems using satisfiability algorithms. In Proc. of the 22nd National Conference on Artificial Intelligence (AAAI), 305-310.
11. Haslum, P., and Grastien, A. 2009. Personal communication.
12. Haslum, P., and Grastien, A. 2011. Diagnosis as planning: Two case studies. In Proc. of the Int'l Scheduling and Planning Applications workshop (SPARK).
13. Hoffmann, J., and Nebel, B. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14:253-302.
14. Hsu, C.-W., and Wah, B. 2008. The SGPlan planning system in IPC-6. In 6th Int'l Planning Competition Booklet (IPC-2008).
15. Iwan, G. 2001. History-based diagnosis templates in the framework of the situation calculus. In Proc. of the Joint German/Austrian Conference on Artificial Intelligence (KR/ÖGAI). 244-259.
16. Keyder, E., and Geffner, H. 2009. Soft Goals Can Be Compiled Away. Journal of Artificial Intelligence Research 36:547-556.
17. Markey, N. 2003. Temporal logic with past is exponentially more succinct, concurrency column. Bulletin of the EATCS 79:122-128.
18. McGuinness, D. L.; Glass, A.; Wolverton, M.; and da Silva, P. P. 2007. Explaining task processing in cognitive assistants that learn. In Proc. of the 20th Int'l Florida Artificial Intelligence Research Society Conference (FLAIRS), 284-289.
19. McIlraith, S., and Scherl, R. B. 2000. What sensing tells us: Towards a formal theory of testing for dynamical systems. In Proc. of the 17th National Conference on Artificial Intelligence (AAAI), 483-490.
20. McIlraith, S. 1998. Explanatory diagnosis: Conjecturing actions to explain observations. In Proc. of the 6th Int'l Conference of Knowledge Representation and Reasoning (KR), 167-179.
21. Ramírez, M., and Geffner, H. 2009. Plan recognition as planning. In Proc. of the 21st Int'l Joint Conference on Artificial Intelligence (IJCAI), 1778-1783.
22. Richter, S.; Helmert, M.; and Westphal, M. 2008. Landmarks revisited. In Proc. of the 23rd National Conference on Artificial Intelligence (AAAI), 975-982.
23. Sohrabi, S.; Baier, J.; and McIlraith, S. 2010. Diagnosis as planning revisited. In Proc. of the 12th Int'l Conference on the Principles of Knowledge Representation and Reasoning (KR), 26-36.