The nature of knowledge in an abductive event calculus planner

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1937, Issue , 2000, Pages 328-343

  De Barros, Leliane Nunes ^a   Santos, Paulo E ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE ENGINEERING; KNOWLEDGE MANAGEMENT; LOGIC PROGRAMMING; PLANNING; PROBLEM SOLVING;

ALGORITHM DESIGN; COMMON LANGUAGES; EVENT CALCULUS; KNOWLEDGE LEVEL; PLANNING ALGORITHMS; PROBLEM SOLVING METHODS; SOUND PLANNING; THEOREM PROVERS;

CALCULATIONS;

EID: 84958740736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (29)

1. L. N. Barros, J. Hendler, and V. R. Benjamins. Par-KAP: a knowledge acquisition tool for building practical planning systems. In Proceedings of the IJCAI-97, Nagoya, Japan, 1997.
2. L. N. Barros, A. Valente and V. R. Benjamins. Modeling planning tasks. In Third International Conference on Artificial Intelligence Planning Systems, AIPS-96, pages 11-18, 1996.
3. V. R. Benjamins, L. N. Barros, and A. Valente. Constructing planners through problemsolving methods. In Knowledge Acquisition Workshop - KAW’96 (Banff), 1996.
4. B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11: (59-71), 1990.
5. D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333-377, 1987.
6. M. Shanahan. An Abductive Event Calculus Planner. To appear. http://wwwics.ee.ic.ac.uk/~mpsha/pubs.html.
7. K. Eshghi. Abductive planning with event calculus. In Proceedings of the Fifth International Conference on Logic Programming, 562-579, 1988.
8. L. Missiaen, M. Bruyonooghe, and M. Denecker. Chica, a planning system based on event calculus. The Journal of Logic and Computation, 5(5): 579-602, 1995.
9. thh AAAI, 19991.
10. [10] J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. In Machine Intelligence 4, 1969.
11. th European Knowledge Acquisition Workshop, EKAW-96, pages 48-65. Springer-Verlag, 1996.
12. [12] R. Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Draft of the first eight chapters of the book.
13. [13] S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall International, 1995.
14. [14] P. E. Santos. Formalizing the common sense of a mobile robot. Mol-1998-02, Institute for Logic, Language and Computation, University of Amsterdam, September 1998.
15. [15] A. Th. Schreiber, B. J. Wielinga, R. de Hoog, J. M Akkermans, and W Van de Velde. CommonKADS: A comprehensive methodology for KBS development. IEEE Expert, 9(6): 28-37, December 1994.
16. [16] M. Shanahan. A Circumscriptive event calculus. Artificial Intelligence, 77:249-284, 1995.
17. [17] M. Shanahan. Event Calculus planning revised. In Proceedings of European Conference on Planning, pages 390-420. Springer-Verlag Lecture notes in Artificial Intelligence 1348, 1997.
18. [18] M. Shanahan. Solving the frame problem. The MIT press, 1997.
19. [19] M. Shanahan. A logical account of the common sense information situation for a mobile robot. Linköping Electronic Articles in Computer and Information Science, 1998. http://www.ep.liu.se/ea/cis/1998/.
20. [20] A. Tate, J. Hendler, and M. Drummond. A review of AI planning techniques. In J. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 26-49. Kaufmann, San Mateo, CA, 1990.
21. [21] A. Valente. Knowledge level analysis of planning. SIGART Bulletin, 6(1): 33-41, 1995.
22. [22] S. Kambhampati. On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-order Planning. In Proceedings of IJCAI, 1991.
23. [23] S. Kambhampati. Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation. Artificial Intelligence, Vol. 69, 1994.
24. [24] A. Tate. Generating Project Networks. In Proceedings of IJCAI-77, pages 888-893, Boston, 1977.
25. [25] A. Valente, V. R. Benjamins, and L. N. Barros. A library of system-derived problemsolving methods for planning. In International Journal of Human-Computer Studies 48, 417-447. Academic Press Limited, 1998.
26. [26] R. A. Kowalski and M. J. Sergot. A Logic-Based Calculus of Events. In New Generation Computing. Vol. 4:67-95, 1986.
27. th European Knowledge Acquisition Workshop, EKAW-96, pages 354-369. Springer-Verlag, 1996.
28. [28] R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:(169-203), 1971.
29. [29] A. Barret and D. S. Weld. Partial-order planning: evaluating possible efficiency gains. Artificial Intelligence, 67: (71-112), 1994.