Deductive planning with inductive loops

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 528-534

  Magnusson, Martin ^a   Doherty, Patrick ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; SECURITY SYSTEMS;

AUTOMATED SOLUTIONS; COMPACT REPRESENTATION; CONTINUOUS ACTIONS; HEURISTIC RULES; INDUCTION HYPOTHESIS; MATHEMATICAL INDUCTION; MULTIPLE TARGETS; VIDEO SURVEILLANCE;

KNOWLEDGE REPRESENTATION;

EID: 84857616486     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Bundy, A.; Dixon, L.; Gow, J.; and Fleuriot, J. D. 2006. Constructing induction rules for deductive synthesis proofs. Electronic Notes in Theoretical Computer Science 153(1):3-21.
2. Bundy, A. 1988. The use of explicit plans to guide inductive proofs. In Conference on Automated Deduction, 111-120.
3. Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1-2):35- 84.
4. Cresswell, S.; Smaill, A.; and Richardson, J. 2000. Deductive synthesis of recursive plans in linear logic. In Proceedings of the 5th European Conference on Planning (ECP'99), 252-264. London, UK: Springer-Verlag.
5. Doherty, P., and Kvarnstr̈om, J. 2007. Temporal action logics. In Lifschitz, V.; van Harmelen, F.; and Porter, B., eds., Handbook of Knowledge Representation. Elsevier.
6. Doherty, P., and Rudol, P. 2007. A UAV search and rescue scenario with human body detection and geolocalization. In 20th Australian Joint Conference on Artificial Intelligence (AI07).
7. Doherty, P.; Haslum, P.; Heintz, F.; Merz, T.; Persson, T.; and Wingman, B. 2004. A distributed architecture for intelligent unmanned aerial vehicle experimentation. In Proceedings of the 7th International Symposium on Distributed Autonomous Robotic Systems, 221-230.
8. Doherty, P. 2004. Advanced research with autonomous unmanned aerial vehicles. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR2004), 731-732.
9. Hodas, J. S., and Miller, D. 1994. Logic programming in a fragment of intuitionistic linear logic. Information and Computation 110(2):327-365.
10. Koehler, J. 1996. Planning from second principles. Artificial Intelligence 87(1-2):145-186.
11. Levesque, H. J. 2005. Planning with loops. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), 509-515.
12. Magnusson, M. 2007. Deductive Planning and Composite Actions in Temporal Action Logic. Licentiate thesis, Link̈oping University. http://www. martinmagnusson.com/publications/magnusson-2007-lic.pdf.
13. Manna, Z., and Waldinger, R. 1987. How to clear a block: A theory of plans. Journal of Automated Reasoning 3(4):343-377.
14. Musliner, D. J.; Durfee, E. H.; and Shin, K. G. 1993. CIRCA: A cooperative intelligent real time control architecture. IEEE Transactions on Systems, Man, and Cybernetics 23(6):1561-1574.
15. Pnueli, A. 2006. Analysis of reactive systems: Lecture 7. http://cs.nyu.edu/courses/spring06/G22.3033-005/lecture7.pdf Visited Feb. 2008.
16. Pollock, J. 1999. Natural deduction. Technical report, Department of Philosophy, University of Arizona. http://www.sambabike.org/ftp/OSCAR-web-page/ PAPERS/Natural-Deduction.pdf.
17. Stephan, W., and Biundo, S. 1993. A new logical framework for deductive planning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-03), 32-38.
18. Stephan, W., and Biundo, S. 1996. Deduction-based refinement planning. In Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96), 213-220.