History-based diagnosis templates in the framework of the situation calculus

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

Volumn 2174, Issue , 2001, Pages 244-259

  Iwan, Gero ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MOBILE AGENTS;

ACTION THEORY; DIAGNOSTIC SYSTEMS; DYNAMIC DOMAINS; PROTOTYPICAL IMPLEMENTATION; SEQUENCE OF ACTIONS; SITUATION CALCULUS;

CALCULATIONS;

EID: 84899453772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45422-5_18     Document Type: Conference Paper

References (13)

1. C. Baral, S. McIlraith, and T.C. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proc. 7th Intern. Conf. on Principles of Knowledge Representation and Reasoning, 2000.
2. C. Bastié and P. Régnier. SPEEDY: Monitoring the execution in dynamic environments. In Proc. Workshop on Reasoning about Actions and Planning in Complex Environments, 1996.
3. W. Burgard, A.B Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. Experiences with an interactive museum tour-guide robot. Artificial Intelligence, 114(1-2), 1999.
4. M.-O. Cordier and S. Thiébaux. Event-based diagnosis for evolutive systems. In Work. Pap. 5th Intern. Workshop on Principles of Diagnosis, 1994.
5. G. De Giacomo, R. Reiter, and M. Soutchanski. Execution monitoring of high-level robot programs. In Proc. 6th Intern. Conf. on Principles of Knowledge Representation and Reasoning, 1998.
6. K.Z. Haigh and M.M. Veloso. Interleaving planning and robot execution for asynchronous user requests. Autonomous Robots, 5(1), March 1998.
7. G. Iwan. Explaining what went wrong in dynamic domains. In Proc. 2nd Intern. Cognitive Robotics Workshop, 2000.
8. H. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(018), 1998.
9. J. McCarthy. Situations, actions and causal laws. Stanford Artificial Intelligence Project: Memo 2, 1963. Reprinted in [12].
10. S.A. McIlraith. Towards a theory of diagnosis, testing and repair. In Work. Pap. 5th Intern. Workshop on Principles of Diagnosis, 1994.
11. S.A. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In Proc. 6th Intern. Conf. on Principles of Knowledge Representation and Reasoning, 1998.
12. M.L. Minsky, editor. Semantic Information Processing. MIT Press, Cambridge, MA, 1968.
13. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, 1991.