Automated benchmark model generators for model-based diagnostic inference

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 513-518

  Provan, Gregory ^a   Wang, Jun ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; MATHEMATICAL FRAMEWORKS; MODEL BASED DIAGNOSIS; MODEL-BASED DIAGNOSTICS; REAL-WORLD PROBLEM; REAL-WORLD SYSTEM; SYSTEMATIC STUDY; TOPOLOGICAL PROPERTIES;

ARTIFICIAL INTELLIGENCE;

TOPOLOGY;

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

References (11)

1. Dan Braha and Yaneer Bar-Yam. Topology of large-scale engineering problem-solving networks. Physical Review E, 69:016113, 2004.
2. T. Bylander, D. Allemang, M.C. Tanner, and J. Josephson. The Computational Complexity of Abduction. Artificial Intelligence, 49:25-60, 1991.
3. Peter Cheeseman, Bob Kanefsky, and William M. Taylor. Where the Really Hard Problems Are. In Proc. IJCAI-91, pages 331-337, 1991.
4. L. d. F. Costa, F. A. Rodrigues, G. Travieso, and P. R. Villas Boas. Characterization of complex networks: A survey of measurements. ArXiv Condensed Matter e-prints, May 2005.
5. Adnan Darwiche. Model-based diagnosis using structured system descriptions. J. Artificial Intelligence Research, 8:165-222, 1998.
6. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Physical impossibility instead of fault models. In AAAI, pages 331-336, 1990.
7. J.E. Harlow. Overview of popular benchmark sets. IEEE Design & Test of Computers, 17(3):15-17, 2000.
8. Ramon Ferrer i Cancho, Christiaan Janssen, and Ricard V. Sole. Topology of technology graphs: Small world patterns in electronic circuits. Physical Review E, 64(4):046119, 2001.
9. M. Newman. The structure and function of complex networks. SIAM Review, 45(2):167-256, 2003.
10. R. Reiter. A Theory of Diagnosis from First Principles. Artificial Intelligence, 32:57-96, 1987.
11. P. Verplaetse, J. Van Campenhout, and D. Stroobandt. On synthetic benchmark generation methods. In IEEE International Symposium on Circuits and Systems, volume 4, pages 213-216, Geneva, 2000.