A hybrid diagnosis approach combining black-box and white-box reasoning

Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers, Bertram Ludäscher

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

We study model-based diagnosis and propose a new approach of hybrid diagnosis combining black-box and white-box reasoning. We implemented and compared different diagnosis approaches including the standard hitting set algorithm and new approaches using answer set programming engines (DLV, Potassco) in the application of Euler/X toolkit, a logic-based toolkit for alignment of multiple biological taxonomies. Our benchmarks show that the new hybrid diagnosis approach runs about twice fast as the black-box diagnosis approach of the hitting set algorithm.

Original languageEnglish (US)
Title of host publicationRules on the Web
Subtitle of host publicationFrom Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Proceedings
PublisherSpringer Verlag
Pages127-141
Number of pages15
ISBN (Print)9783319098692
DOIs
StatePublished - Jan 1 2014
Event8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic
Duration: Aug 18 2014Aug 20 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8620 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014
CountryCzech Republic
CityPrague
Period8/18/148/20/14

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A hybrid diagnosis approach combining black-box and white-box reasoning'. Together they form a unique fingerprint.

  • Cite this

    Chen, M., Yu, S., Franz, N., Bowers, S., & Ludäscher, B. (2014). A hybrid diagnosis approach combining black-box and white-box reasoning. In Rules on the Web: From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Proceedings (pp. 127-141). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8620 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-09870-8_9