Concept and Realization of a Diagnostic System for Smart Environments

Eric Heiden, Sebastian Bader, Thomas Kirste

Abstract

Automatically diagnosing a complex system containing heterogeneous hard- and software components is a challenging task. To analyse the problem, we first describe different scenarios a diagnostic engine might be confronted with. Based on those scenarios, a concept and an implementation of a semi-automatic diagnostic system are presented and some first benchmarks are shown.

References

  1. Angeli, C. (2010). Diagnostic Expert Systems: From Experts Knowledge to Real-Time Systems. Advanced Knowledge Based Systems: Model, Applications & Research, 1:50-73.
  2. Böttcher, C. (1995). No Faults in Structure? How to Diagnose Hidden Interaction. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1728-1735.
  3. Christiansen, H. (2005). Abductive reasoning in Prolog and CHR. Science, pages 1-18.
  4. de Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28(2):127-162.
  5. Eiter, T. and Gottlob, G. (1995). The complexity of logicbased abduction. Journal of the ACM, 42(1):3-42.
  6. Eshghi, K. and Kowalski, R. a. (1989). Abduction Compared with Negation by Failure. Proceedings of the Sixth International Conference on Logic Programming, (JANUARY):234-254.
  7. Gelfond, M. and Lifschitz, V. (1988). The stable model semantics for logic programming. In 5th International Conf. of Symp. on Logic Programming, pages 1070- 1080.
  8. Koseki, Y. (1989). Experience Learning in Model-Based Diagnostic Systems. Proc. IJCAI, pages 1356-1362.
  9. Kuhn, L. and de Kleer, J. (2010). Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults. Proceedings of the 21st International Workshop on Principles of Diagnosis, pages 1-8.
  10. Lifschitz, V. (2008). What Is Answer Set Programming? 23rd AAAI Conf. on Artificial Intelligence2 , pages 1594-1597.
  11. Lucas, P. J. F. (2001). Bayesian model-based diagnosis. International Journal of Approximate Reasoning, 27(2):99-119.
  12. Ray, O. and Kakas, A. (2006). ProLogICA: a practical system for Abductive Logic Programming. Workshop on Non-Monotonic Reasoning.
  13. Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132.
  14. Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence , 32(1):57-95.
Download


Paper Citation


in Harvard Style

Heiden E., Bader S. and Kirste T. (2017). Concept and Realization of a Diagnostic System for Smart Environments . In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-220-2, pages 318-329. DOI: 10.5220/0006257903180329


in Bibtex Style

@conference{icaart17,
author={Eric Heiden and Sebastian Bader and Thomas Kirste},
title={Concept and Realization of a Diagnostic System for Smart Environments},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2017},
pages={318-329},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006257903180329},
isbn={978-989-758-220-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Concept and Realization of a Diagnostic System for Smart Environments
SN - 978-989-758-220-2
AU - Heiden E.
AU - Bader S.
AU - Kirste T.
PY - 2017
SP - 318
EP - 329
DO - 10.5220/0006257903180329