Dipl.-Inf. Christian Eichhorn

Kontakt

Technische Universität Dortmund Christian Eichhorn
Fakultät für Informatik Raum:   3.007
Lehrstuhl 1, Information Engineering Gruppe (IE) Tel:   +49-231-755-6522
Otto-Hahn-Straße 12 Fax:   +49-231-755-6555
44221 Dortmund E-mail:  Diese E-Mail-Adresse ist durch JavaScript vor Spambots geschützt! JavaScript muss eingeschaltet sein!
Deutschland Arbeitsgruppe:   Information Engineering

Softwarewerkzeuge

Softwarewerkzeuge, die ich empfehlen kann – die meisten sind nicht von mir, aber sehr, sehr hilfreich.
  • Unsere AirConditionals bieten eine Spielwiese für Rangfunktionen, konditionalen Wissensbasen und induktiven Methoden wie System Z und c-Repräsentationen.
  • Die FernUniversität in Hagen bietet mit SPIRITshell ein Programm zur Erzeugung, Bearbeitung und Befragung probabilistischer Wissensbasen und zum Experimentiern mit MaxEnt an.
  • Wer mit dem Argumentationssystem DeLP Erfahrungen sammeln möchte, kann dies nach kostenloser Registrierung bei der Universidad Nacional del Sur tun
  • Das Tweetyprojekt ist eine Sammlung von Java-Bibliotheken für viele Anwendungen in der Wissensrepräsentation und beinhaltet (unter anderem) Bibliotheken für Agenten, Multiagentensysteme, Wissensrevision, propositionale Logik, Prädikatenlogik und vieles, vieles mehr.

Hilfreiche Links im Lebensraum Hochschule

  • Der Lehrstuhl Informatik 2 gibt Tipps zur Vorbereitung auf eine mündliche Prüfung.
  • Es gibt vom Prüfungsausschuss eine offizielle LaTeX-Vorlage für Abschlussarbeiten.
  • In diesem Zusammenhang: Vordruck für die eidesstattliche Versicherung, die unterschrieben als fester Bestandteil der Arbeit mit einzubinden ist.
  • Ebenfalls in diesem Zusamenhang: ein kleine Makrosammlung für LaTeX-Dokumente.
  • Für Abschlussarbeiten in der Information Engineering Gruppe gibt es Richtlinien zur Erstellung von Diplom- und Masterarbeiten sowie für Bachelorarbeiten.
  • Detexify2 ist ein Werkzeug, das aus gezeichneten Symbolen den entsprechenden LaTeX-Befehl erkennt.
  • Die psychologische Studienberatung der TU-Dortmund kümmert sich um die Frage, wie es im Studium besser laufen könnte, und das zum Beispiel mit Coachings und Seminaren rund um die typischen Probleme Prüfungsangst, Aufschiebeververhalten und Schreiben von Abschlussarbeiten.
  • Manche Ressourcen (Dokumente der TU und der Fakultät, E-Books der Bibliothek, kostenpflichtige Aufsätze/Artikel/Paper für die die TU Dortmund Lizenzen erworben hat) sind nur aus dem Fakultäts- oder Uninetz zu erreichen. Wer daheim z.B. an seiner Abschlussarbeit schreibt und diese erreichen muss, kann sich über VPN ins Uninetz einhängen, alles hierzu findet man beim ITMC unter dem Punkt IT-Dienste → Zugang zum Netz → VPN.

Forschungsinteressen

Im Rahmen der Forschungsarbeiten der Arbeigsgruppe Information Engineering am LS 1 und im DFG-Schwerpunktprogramm 1516: New Frameworks of Rationality beschäftige ich mich hautpsächlich mit folgenden Themen:
  • Formale Eigenschaften nichtmonotoner Logiken
  • Qualitative Inferenzrelationen
  • Rangfunktionen: mögliche Einsatzgebiete und Erzeugung
  • Graphbasierte Ansätze zur Wissensrepräsentation
  • Wissensänderung

Lehre

Vorlesungen und Seminare
  • WS 2015/16: Projektgruppe 596: Spielende kooperierende Agenten
  • WS 2014/15: Darstellung, Verarbeitung und Erwerb von Wissen (DVEW) (Übung zur Vorlesung)
  • WS 2011/12: Commonsense Reasoning in dynamischen Umgebungen (Seminarunterstützung)
  • SS 2011: Commonsense Reasoning (Übung zur Vorlesung)
Betreute Abschlussarbeiten
  • Possibilistische Netzwerke und OCF-Netzwerke als Mittel semi-quantitativer Wissensdarstellung — Vergleich und Implementation. Diplomarbeit. Janina Marks (2016)
  • Bayessche Propagationsmethoden für OCF-Netzwerke. Diplomarbeit. Elena Bernshteyn (2016)
  • Kausale Netzwerke in Informatik und Psychologie. Bachelorarbeit. Carolin Wiethoff (2014)
  • Wissensrevision in der Horn-Logik. Bachelorarbeit. Mikel Jedrusiak (2014)
  • Änlichkeitsbasierte Inferenzen für kontrafaktische Konditionale. Masterarbeit. Katharina Diekmann (2013)
  • Qualitative Semantiken für DAGs — ein Vergleich von OCF- und CP-Netzwerken. Bachelorarbeit. Matthias Fey (2013)
  • Sicherung der Konsistenz relationaler probabilistischer Wissensbasen durch syntaktische Constraints. Diplomarbeit. Karl Becker (2012)
  • Wissensänderung durch Aktionen. Bachelorarbeit. Stefan Gleibs (2011)

Veröffentlichungen

  • A semantics for conditionals with default negation., Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner. Accepted for the Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017). Upcoming conference.
  • A transformation system for unique minimal normal forms of conditional knowledge bases., Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. Accepted for the Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017). Upcoming conference.
  • On Transformations and Normal Forms of Conditional Knowledge Bases., Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017). Upcoming conference.
  • On the Ontological Modelling of Co-Medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System, Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Rals Georg Meyer, Matthias Nietzke. Accepted for the 30th IEEE International Symposium on Computer-Based Medical Systems (IEEE CBMS 2017). Upcoming conference.
  • Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning, Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner, Alice Ping Ping Tse. In: Mariarosaria Taddeo (Hrsg): Minds And Machines, Volume 27, Number 1, Special Issue: Reasoning with Imperfect Information and Knowledge. Springer Science+Business Media, Dordrecht, NL, 2017 (bibtex)
  • A Practical Comparison of Qualitative Inferences with Preferred Ranking Models, Christoph Beierle, Christian Eichhorn, Steven Kutsch. KI - Künstliche Intelligenz, Volume 31, Issue 1, Springer Science+Business Media, Berlin, DE, 2017. (bibtex)
  • Using Background Knowledge for AGM Belief Revision, Christian Eichhorn, Gabriele Kern-Isberner, Katharina Behring. In: Rudolf Seising, Héctor Allende-Cid: Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing, p. 275 - 294. Springer Science+Business Media, Berlin, DE, 2016. (bibtex)
  • Simulating Human Inferences in the Light of New Information: A Formal Analysis (Extended Abstract), Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. In Gerhard Friedrich, Malte Helmert, Franz Wotawa (Hrsg): KI 2016: Advances in Artificial Intelligence — 39th Annual German Conference on AI (Proceedings), Lecture Notes in Computer Science (LNAI) 9904, p. 297-302 Springer International Publishing, Cham, CH. 2016. (bibtex)
  • Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions, Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen (Hrsg): Frontiers in Artificial Intelligence and Applications, Volume 285: ECAI 2016, p.1149-1157. IOS Press, Amsterdam, NL. 2016. (bibtex)
  • Simulating Human Inferences in the Light of New Information: A Formal Analysis, Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. In Subbarao Kambhampati (Hrsg): Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16), p. 2604-2610. AAAI Press, Palo Alto, CA, USA. 2016. (bibtex)
  • CP- and OCF-networks – a comparison, Christian Eichhorn, Matthias Fey, Gabriele Kern-Isberner. Fuzzy Sets and Systems, Volume 298, Special Issue on Graded Logical Approaches and Their Applications, p. 109 - 127 Elsevier Science Publishers, Essex, UK. 2016. (bibtex)
  • Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem, Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. In: Guillermo R. Simari, Marc Gyssens: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016). Lecture Notes of Computer Science Volume 9616, Springer Science+Business Media, Berlin, DE, 2016. (bibtex)
  • Qualitative Probabilistic Inference with Default Inheritance, Paul Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz. In: Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg: Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), CEUR Workshop Proceedings, Volume 1444, 2015. (bibtex)
  • Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals, Christian Eichhorn, Gabriele Kern-Isberner. KI - Künstliche Intelligenz: Special Issue Cognition, Volume 29, Issue 3, p.279-289, DOI 10.1007/s13218-015-0376-x, 2015. (bibtex)
  • Using inductive reasoning for completing OCF-networks, Christian Eichhorn, Gabriele Kern-Isberner. Journal of Applied Logic, Volume 13 Number 4 Part 2, Special Issue dedicated to Uncertain Reasoning at FLAIRS, Edited by Christoph Beierle, Cory Butz and Soughila Kaci, p. 605-627, Elsevier Science Publishers, Essex, UK. DOI: 10.1016/j.jal.2015.03.006 , 2015. (bibtex)
  • LEG networks for ranking functions. Christian Eichhorn, Gabriele Kern-Isberner. In: Eduardo Fermé and Joāo Leite (Hrsg.), Lecture Notes in Computer Science (8761): Logics in Artificial Intelligence, p. 210-223, Springer International Publishing, 2014. (bibtex)
  • Structural Inference from Conditional Knowledge Bases. Gabriele Kern-Isberner, Christian Eichhorn. In Matthias Unterhuber and Gerhard Schurz (Hrsg.): Studia Logica Special Issue 102 (4), Logic and Probability: Reasoning in Uncertain Environments, p. 751-769, Springer Science+Business Media, Dordrecht, NL, OnlineFirst 2013, print 2014 DOI 10.1007/s11225-013-9503-6 (bibtex)
  • OCF-Networks with missing values. Gabriele Kern-Isberner, Christian Eichhorn. In Christoph Beierle, Gabriele Kern-Isberner (Hrsg.): Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013), 2013. (bibtex)
  • Intensional Combination of Rankings for OCF-Networks . Gabriele Kern-Isberner, Christian Eichhorn. In Chutima Boonthum-Denecke and Youngblood, Michael (Hrsg): Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference (FLAIRS-26), 2013. (bibtex)
  • A structural base for conditional reasoning. Gabriele Kern-Isberner, Christian Eichhorn. In: Human Reasoning and Automated Deduction (HRAD) – KI 2012 Workshop Proceedings (bibtex)
  • SemDupl: Semantic-based Duplicate Identification. Sven Hartrumpf, Hermann Helbig, Tim vor der Brück, Christan Eichhorn. Technischer Bericht, FernUniversität in Hagen, 2011. (bibtex)
  • Semantic Duplicate Identification with Parsing and Machine Learning. Sven Hartrumpf, Tim vor der Brück, Christan Eichhorn. In: Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010) (herausgegeben von Petr Sojka, Aleš Horák, Ivan Kopeček und Karel Pala), Band 6231 von Lecture Notes in Artificial Intelligence, p. 84-92. Brno, Czech Republic. 2010. (bibtex)
  • Detecting Duplicates with Shallow and Parser-based Methods. Sven Hartrumpf, Tim vor der Brück, Christan Eichhorn. Proc. IEEE International Conference on Natural Language Processing and Knowledge Engineering (NLP-KE), p. 142-149, Beijing, China. 2010. (bibtex)
  • Automatische Duplikatserkennung: Ähnliche Texte entdecken und erkennen. Christian Eichhorn. Der Andere Verlag, Tönning, 2009. (bibtex)
  • Measuring Flow as Concept for Detecting Game Fun in the Pac-Man Game. Nicola Beume, Holger Danielsiek, Christian Eichhorn, Boris Naujoks, Mike Preuss, Klaus Stiller, Simon Wessing. Proc. 2008 Congress on Evolutionary Computation (CEC 2008) within Fifth IEEE World Congress on Computational Intelligence (WCCI 2008), p. 3447-3454. IEEE Press, 2008. (bibtex)
  • PG511 - CI in Games - Final Report. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtić, Georg Neugebauer, Nico Piatkowski, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom, Simon Wessing. Reihe CI 252/08, SFB 531, Technische Universität Dortmund, 2008. (bibtex)
  • PG511 - CI in Games - Zwischenbericht. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtić, Georg Neugebauer, Nico Piatkowski, Michael Puchowezki, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom, Simon Wessing. Reihe CI 236/07, SFB 531, Technische Universität Dortmund, 2007. (bibtex)
  • Das Virtuelle Informatik-Labor VILAB – Konzeption, technische Realisierung und Einsatz in der Lehre. Rainer Lütticke, Hermann Helbig, Christan Eichhorn. Reihe Informatik- Berichte 321 — 8/2005, FernUniversität in Hagen, 2005 (bibtex)