Automata-based abduction for tractable diagnosis

CEUR Workshop Proceedings

Volumn 573, Issue , 2010, Pages 360-371

  Hubauer, Thomas M ^a,b   Lamparter, Steffen ^b   Pirker, Michael ^b  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE REASONING; COMPACT REPRESENTATION; DESCRIPTION LOGIC; DIAGNOSTIC REASONING; DOMAIN MODEL; INCOMPLETE INFORMATION; INDUSTRIAL SYSTEMS; PHYSICAL STRUCTURES; WEIGHTED AUTOMATA;

DATA DESCRIPTION; FORMAL LANGUAGES; INDUSTRIAL RESEARCH;

AUTOMATA THEORY;

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

References (18)

1. Hobbs, J.R., Stickel, M.E., Appelt, D.E., Martin, P.A.: Interpretation as abduction. Artificial Intelligence 63(1-2) (1993) 69-142
2. Appelt, D.E., Pollack, M.E.: Weighted abduction for plan ascription. In: User Modeling and User-Adapted Interaction. Volume 2., Springer (1992) 1-25
3. Shanahan, M.: Perception as abduction: Turning sensor data into meaningful representation. Cognitive Science 29(1) (2005) 103-134
4. Peraldi, I.S.E., Kaya, A., Melzer, S., Möller, R., Wessel, M.: Towards a media interpretation framework for the semantic web. In: Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2007), Silicon Valley, California, USA, IEEE Computer Society (November 2-5 2007)
5. Paul, G.: Approaches to abductive reasoning: An overview. Artificial Intelligence Review 7(2) (1993) 109-152
6. Eiter, T., Gottlob, G.: The complexity of logic-based abduction. Journal of the ACM 42(1) (1995) 3-42
7. Selman, B., Levesque, H.J.: Abductive and default reasoning: A computational core. In: Proceedings of the 8th National Conference on Artificial Intelligence (AAAI 1990), Boston, Massachusetts, USA, AAAI Press / The MIT Press (July 29 - August 3 1990) 343-348
8. Eiter, T., Makino, K.: On computing all abductive explanations. In: Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference (AAAI 2006 + IAAI 2006), Edmonton, Alberta, Canada, AAAI Press (July 28 - August 1 2002) 62-67
9. Bienvenu, M.: Complexity of abduction in the EL family of lightweight description logics. In Brewka, G., Lang, J., eds.: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, AAAI Press (September 16-19 2008) 220-230
10. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In Kaelbling, L.P., Saffiotti, A., eds.: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, UK, Professional Book Center (July 30 - August 5 2005) 364-369
11. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. LTCS-Report LTCS- 05-01, Institute for Theoretical Computer Science, TU Dresden (2005)
12. Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F.M., Mongiello, M.: Concept abduction and contraction in description logics. In Calvanese, D., De Giacomo, G., Franconi, E., eds.: Proceedings of the 16th International Workshop on Description Logics (DL 2003). Volume 81 of CEUR Workshop Proceedings., Rome, Italy, CEUR-WS.org (September 5-7 2003)
13. Di Noia, T., Di Sciascio, E., Donini, F.M.: A tableaux-based calculus for abduction in expressive description logics: Preliminary results. In Grau, B.C., Horrocks, I., Motik, B., Sattler, U., eds.: Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009). Volume 477 of CEUR Workshop Proceedings., Oxford, UK, CEUR-WS.org (July 27-30 2009)
14. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2(6) (December 1992) 719-770
15. Baral, C.: Abductive reasoning through filtering. Artificial Intelligence 120(1) (2000) 1-28
16. Baader, F., Peñaloza, R.: Automata-based axiom pinpointing. In Armando, A., Baumgartner, P., Dowek, G., eds.: Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008). Volume 5195 of Lecture Notes in Artificial Intelligence., Sydney, Australia, Springer (August 12-15 2008) 226-241
17. Peñaloza, R.: Using tableaux and automata for pinpointing in EL. In Goranko, V., ed.: Proceedings of the TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab 2009). (2009)
18. Baader, F., Peñaloza, R.: Automata-based axiom pinpointing. Journal of Automated Reasoning Special Issue: IJCAR 2008 (2009)