The main goal of the project is to develop novel techniques for the user-adaptive explication of knowledge-based reasoning, and to combine them with the explication generators developed in other projects. Within the first funding period, it will focus on explications for description logic (DL) reasoning since DLs are a very prominent family of knowledge representation formalisms, for which various sophisticated reasoning techniques and implemented reasoning systems are available. The project will build upon existing work on explication of DL and first-order reasoning, but needs to extend it in several directions.
Principal Investigators
Members
