Ulrich Furbach



More About Me?

Ulrich Furbach is a retired Professor of Artificial Intelligence at the University of Koblenz and Adjunct Professor at Vellore Institute of Technology in India. He is co-owner of wizAI solutions GmbH. His research interests include knowledge management, automated reasoning, multiagent systems, and cognitive science.

After his officer training in the German Federal Armed Forces he served as an lieutenant in the tank forces. Ulrich Furbach obtained his Diploma and Habilitation in informatics from the Technical University of Munich and his PhD from the University of Bundeswehr.

He directed the Automated Reasoning Group at the TU Munich from 1987 to 1990 and the Institute for Knowledge Media in Koblenz from 2000 to 2003. He was president of CADE Inc., he was a board member of the European Coordinating Committee for Artificial Intelligence and he was speaker of the German AI Society.

He is co-founder and owner of the spin-off company wizAI (www.wizai.com), which develops knowledge management systems, information systems and solutions for digital signage.

He is also teaching yoga in the tradition of Prof. Rocque Lobo as a sort of Marma-Yoga.
Ulrich Furbach is ECCAI- and GI-Fellow and Chair of IFIP TC 12 on Artificial Intelligence.

Projects

Cognitive Reasoning (CoRg)
The DFG-project CoRg addresses problems characterized by ambiguity and uncertainty, meaning that it is used to handle problems humans are confronted with in everyday life. When developing a cognitive computing system which is supposed to act human-like one cannot rely on automated theorem proving techniques alone, since humans performing commonsense reasoning do not obey the rules of classical logics. This causes humans to be susceptible to logical fallacies, but on the other hand to draw useful conclusions automated reasoning systems are incapable of. Humans naturally reason in the presence of incomplete and inconsistent knowledge, are able to reason in the presence of norms as well as conflicting norms and are able to quickly reconsider their conclusions when being confronted with additional information. The versatility of human reasoning illustrates that any attempt to model the way humans perform commonsense reasoning has to use a combination of many different techniques. This project aims at the construction of a cognitive computing system by modeling aspects of human reasoning like emotions and human interactions. For this, we will extend classical logical reasoning with non-monotonic reasoning like defeasible logic and normative reasoning and combine it with machine learning techniques. This will not only be carried out on a theoretical level. Different components important to model the commonsense reasoning process will be developed and combined to a cognitive computing system which will be tested using benchmarks from commonsense reasoning.
Operational time: März 2018 - Feburar 2021
Projectpage

Teaching

Computer Science and AI
only at special events.
Yoga
Ulrich Furbach is teaching Yoga. He follows the school of Prof. Rocque Lobo for Marma Yoga.

Activities

Organisation
  • IFIP TC 12 Chair and German Representative
  • Vice-president of Association of Automated Reasoning (AAR)
  • Board of IFCoLog
  • Co-founder and shareholder of wizAI solutions GmbH
  • Editorial Boards
  • LNAI
  • DISKI
  • IEEE Intelligent Systems
  • Journal of Applied Logics
  • Guest Editor of Informatik Spektrum
  • Guest editor of Journal of Automated Reasoning
  • AICOM
  • Latests Works

    What keeps me busy

    My main interest in research is in automated reasoning and knowledge representation. Since many years my focus is on applying dedution systems to real world problems. One of my major projects to this end is the Loganswer/Ratiolog project which aims at a natural language open domain question answering system. Nowadays IBM calls the technique we are using "cognitive computing".

    In cognitive science there is a lot of work to desrcibe and to model human reasoning. Recently we found out, that our 1st order theorem prover Hyper is able to process Deontic Logic, which can be used very naturally to describe norms and policies.

    With my partner Ulrike Barthelmess we are working on a second book project on "Künstliche Intelligenz - von Bergson über Proust zu Nabokov".

    Loganswer

    Human Reasoning

    Knowledge

    Writings


    Springer allowed me to put it on the website:
    Download the pdf

    Science

    Recent publications

    U. Furbach, C. Schon. Reasoning and Consciousness. Teaching a Theorem Prover to let its Mind Wander. In The Third Conference on Artificial Intelligence and Theorem Proving, AITP2018. http://aitp- conference.org/2018/aitp18-proceedings.pdf, 2018.

    W. Bibel, U. Furbach. Formierung einer Forschungsdisziplin — Künstliche Intelligenz und Intellektik an der Technischen Universität München Deutsches Museum Preprint 15 To appear. 2018

    U. Barthelmess, U. Furbach. Körper, Geist und Künstlich Intelligenz, Eulenfisch, Limburger Magazin für Religion und Bildung, 19, 2017

    U. Furbach, A. Gordon, C. Schon. Tackling Benchmarks for Common Sense Reasoning.In:

    U. Furbach, C. Schon. Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning A workshop of the 25th International Conference on Automated Deduction (CADE-25). CEUR Vol-1412

    U. Furbach, B. Pelzer, C. Schon. Automated Reasoning in the Wild. In: A.P. Felty, A. Middeldorp ( eds): Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Lecture Notes in Computer Science 9195, Springer 2015,

    U. Furbach, C. Schon, F. Stolzenburg, K-H. Weis, C-P. Wirth. The RatioLog Project: Rational Extensions of Logical Reasoning. KI 29(3): 271-277 (2015). Arxiv

    U. Furbach, C. Schon, F. Stolzenburg. Automated Reasoning for Robot Ethics.2015. Arxiv

    M. P. Bonacina, U. Furbach, V. Sofronie-Stokkermans. On First-Order Model-Based Reasoning. 2015. Arxiv

    U. Furbach, C. Schon, F.Stolzenburg. Automated Reasoning in Deontic Logic. MIWAI 2014, Springer LNCS 8875, 57-68. Arxiv

    U. Furbach, C. Schon, F.Stolzenburg. Cognitive Systems and Question Answering. In: Industriemanagement 2.2015. Arxiv

    U. Furbach (ed.) Representation and Reasoning. [Guest editor's introduction]. IEEE Intelligent Systems 29(1): 2-3 (2014)

    U. Furbach, C. Schon. Deontic Logic for Human Reasoning. In: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015 Springer LNAI. Arxiv

    U. Barthelmess, U. Furbach. Do we need Asimov’s laws? In Matthias Horbach, editor, Proc. INFORMATIK 2013, volume P-220 of Lecture Notes in Informatics. Köllen Verlag, 2013. Arxiv

    U.Furbach, C. Schon. Semantically guided Evolution of SHI Aboxes. In Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, volume 8123 of LNAI. Springer, 2013. Arxiv

    For a full list of publications

    please visit DBLP via this Link
    or
    Google Scholar via this Link.

    Other

    A non-fiction book, which I co-authored with my partner:
    U. Barthelmeß and U. Furbach. IRobot– uMan. Springer, 2011.

    Some reports from conference and research trips are here.

    For a down-under trip upside down please follow this Link.

    Contact Me

    Get in touch


    Prof. Dr. Ulrich Furbach, Universität Koblenz-Landau
    Universitätsstr.1, D 56070 Koblenz. Germany

    Campus Koblenz, B 214

    uli@'nachname'.de | +49 261 287 2728 | www.furbach.de



    Project Overview

    Ratiolog and his predecessor Loganswer are finished projects about deep question answering based on Computer Linguistic and Automated Deduction. In Rationlog the main goal was to incorporate models for human rationality.

    For more see:The RatioLog Project



    Project Overview

    This is an approach to model human reasoning as it is investigated in cognitive psychology by means of symbolic logic and automated deduction. A very typical example for this is the well researched Wason selection task. There are publication to this topic and there is workshop series:

    Bridging the Gap between Human and Automated Reasoning



    Project Overview

    In this book project we are aiming at a combination of cultural and literary treatments of knowledge and remembering with modern computer science and artificial intelligence work. An example is the depicted cookie, a Madelaine, about which Marcel Proust wrote, that the taste of it triggered the memories about a certain episode of his life.