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 Citations (Scopus)

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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages127-141
Number of pages15
Volume8620 LNCS
ISBN (Print)9783319098692
DOIs
StatePublished - 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)03029743
ISSN (Electronic)16113349

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

Fingerprint

Hitting Set
Black Box
Reasoning
Model-based Diagnosis
Answer Set Programming
Taxonomy
Euler
Alignment
Engine
Logic
Benchmark
Taxonomies
Engines
Standards

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8620 LNCS, 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

A hybrid diagnosis approach combining black-box and white-box reasoning. / Chen, Mingmin; Yu, Shizhuo; Franz, Nico; Bowers, Shawn; Ludäscher, Bertram.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8620 LNCS Springer Verlag, 2014. p. 127-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8620 LNCS).

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

Chen, M, Yu, S, Franz, N, Bowers, S & Ludäscher, B 2014, A hybrid diagnosis approach combining black-box and white-box reasoning. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8620 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8620 LNCS, Springer Verlag, pp. 127-141, 8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 8/18/14. https://doi.org/10.1007/978-3-319-09870-8_9
Chen M, Yu S, Franz N, Bowers S, Ludäscher B. A hybrid diagnosis approach combining black-box and white-box reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8620 LNCS. Springer Verlag. 2014. p. 127-141. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-09870-8_9
Chen, Mingmin ; Yu, Shizhuo ; Franz, Nico ; Bowers, Shawn ; Ludäscher, Bertram. / A hybrid diagnosis approach combining black-box and white-box reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8620 LNCS Springer Verlag, 2014. pp. 127-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{eed7c90208c945cdbb08a0f3d9192019,
title = "A hybrid diagnosis approach combining black-box and white-box reasoning",
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.",
author = "Mingmin Chen and Shizhuo Yu and Nico Franz and Shawn Bowers and Bertram Lud{\"a}scher",
year = "2014",
doi = "10.1007/978-3-319-09870-8_9",
language = "English (US)",
isbn = "9783319098692",
volume = "8620 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "127--141",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

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

AU - Chen, Mingmin

AU - Yu, Shizhuo

AU - Franz, Nico

AU - Bowers, Shawn

AU - Ludäscher, Bertram

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84905256196&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84905256196&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-09870-8_9

DO - 10.1007/978-3-319-09870-8_9

M3 - Conference contribution

SN - 9783319098692

VL - 8620 LNCS

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

SP - 127

EP - 141

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

PB - Springer Verlag

ER -