Towards model-based diagnosis of coordination failures

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2005, Pages 102-107

  Kalech, Meir ^a   Kaminka, Gal A ^a,b  

^a BAR ILAN UNIVERSITY   (Israel)

^b CMU ^*  (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COORDINATION PRIMITIVES; MULTI-AGENT SETTINGS; NP-HARD;

FAILURE ANALYSIS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; OPTIMIZATION; PROBLEM SOLVING;

PROGRAM DIAGNOSTICS;

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

References (16)

1. Bryant, R. E. 1992. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3):293-318.
2. de Kleer, J., and Williams, B. C. 1987. Diagnosing multiple Faults. Artificial Intelligence 32(1):97-130.
3. de Kleer, J. 1986. An assumption-based truth maintenance system. Artificial Intelligence 28:127-162.
4. Fröhlich, P.; de Almeida Mora, I.; Nejdl, W.; and Schröder, M. 1997. Diagnostic agents for distributed systems. In ModelAge Workshop. 173-186.
5. Horling, B.; Benyo, B.; and Lesser, V. 2001. Using Self-Diagnosis to Adapt Organizational Structures. Proceedings of the 5th International Conference on Autonomous Agents 529-536.
6. Kalech, M. and Kaminka, G. A. 2003. On the design of social diagnosis algorithms for multi-agent teams. in International Joint Conference on Artificial Intelligence (IJCAI-03) 370-375.
7. Kalech, M., and Kaminka, G. A. 2004. Diagnosing a team of agents: Scaling-up. In Proceedings of the International Workshop on Principles of Diagnosis (DX 2004) 129-134.
8. Lamperti, G., and Zanella, M. 2003. Diagnosis of Active Systems. Kluwcr Academic Publishers.
9. Micalizio, R.; Torasso, P.; and Torta, G. 2004. On-line monitoring and diagnosis of multi-agent systems: a model based approach. in Proceeding of European Conference on Artificial Intelligence (ECAI 2004) 16:848-852.
10. Niemelä, I. 1996. A tableau calculus for minimal model reasoning. In Proceedings of the fifth workshop on theorem proving with analytic tableaux and related methods.
11. Olivetti, N. 1992. A tableaux and sequent calculus for minimal model entailment. Journal of automated reasoning 9:99-139.
12. Pencolé, Y.; Cordier, M.; and Rozé, L. 2002. Incremental decentralized diagnosis approach for the supervision of a telecommunication network. IEEE Conference on Decision and Control (CDC'02) 435-440.
13. Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32(1):57-96.
14. Roos, N.; Teije, A. t.; and Witteveen, C. 2003. A protocol for multi-agent diagnosis with spatially distributed knowledge. in Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS-03) 655-661.
15. Skiena, S. 1990. Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Addison-Wesley.
16. Torasso, P., and Torta, G. 2003. Computing minimum-cardinality diagnoses using OBDDs. Advances in Artificial Intelligence (lecture notes in artificial intelligence) 2281:224-238.