Professur für Wissensrepräsentation und -verarbeitung


Beschreibung:

Die Fähigkeit, Wissen zu Repräsentieren und daraus logische Schlüsse zu ziehen ist eine der zentralen Komponenten intelligenten Verhaltens. Daher haben viele Systeme der Künstlichen Intelligenz irgendeine Form von Inferenzkomponenten an zentraler Stelle.

Die Arbeitsgruppe zur Wissensrepräsentation und -Management an der FAU führt Grundlagen- und Anwendungsorientierte Forschung durch. Wir erweitern Techniken aus den Formalen Methoden so dass sie in Situationen angewendet werden können in denen Formalisierung entweder unmöglich oder zu kostspielig ist, z.B. durch Auszeichnungssprachen für die strukturelle Semantik technischer Dokumente. Diese Ebene der Auszeichnung unterstützt interessante Wissensmanagement-Services ohne dass die volle Semantik formalisiert werden müßte. 

Hauptanwendungsgebiet der Gruppe ist die Repräsentation und Management mathematischen Wissens. In der Mathematik treten die Wissensstrukturen besonders deutlich zutage, und (im Gegensatz zu anderen Wissensgebieten) sind die Eigenschaften der untersuchten Objekte nahezu vollkommen verstanden.

Adresse:
Martensstraße 3
91058 Erlangen


Forschungsprojekt(e)


ALMANAC: Argumentationslogik-Manager & Argumentkontext-Graph
Prof. Dr. Michael Kohlhase
(01.09.2018 - 31.08.2021)


(RATIO: Robust Argumentation Machines (SPP 1999)):
ALMANAC: Argumentation Logics Manager & Argument Context Graph
Prof. Dr. Michael Kohlhase
(01.01.2018 - 31.12.2021)


RATIO: Schwerpunktprogramm „Robust Argumentation Machines“ (SPP 1999)
Prof. Dr. Michael Kohlhase
(01.01.2018 - 31.12.2020)


OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics
Prof. Dr. Michael Kohlhase
(01.09.2015 - 31.08.2019)


OAF: Ein Offenes Archiv für Formalisierungen
Prof. Dr. Michael Kohlhase; PD Dr. Florian Rabe
(01.01.2014 - 30.06.2020)



Publikationen (Download BibTeX)

Go to first page Go to previous page 1 von 10 Go to next page Go to last page

Müller, D., & Rabe, F. (2019). Structuring Theories with Implicit Morphisms.
Müller, D., Kohlhase, M., Koprucki, T., Tabelow, K., & Rabe, F. (2018). Model pathway diagrams for the representation of mathematical models. Optical and Quantum Electronics, 50(2). https://dx.doi.org/10.1007/s11082-018-1321-7
Pollinger, T., Kohlhase, M., & Köstler, H. (2018). Knowledge amalgamation for computational science and engineering. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 232-247). Springer Verlag.
Kohlhase, M. (2018). Towards context graphs for argumentation logics. In Proceedings of the 2018 Conference "Learning, Knowledge, Data, Analytics", LWDA 2018 (pp. 203-214). CEUR-WS.
Kohlhase, M., & Betzendahl, J. (2018). Translating the IMPS theory library to MMT/OMDoc. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 7-22). Springer Verlag.
Bercic, K., & Vidali, J. (2018). DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. In Proceedings of the ICMS (pp. 36-44). Notre Dame, USA.
Kohlhase, M., Kohlhase, A., & Ouypornkochagorn, T. (2018). Discourse phenomena in mathematical documents. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 147-163). Springer Verlag.
Wiesing, T., & Kohlhase, M. (2018). A proposal for an openMath JSON encoding. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation. CEUR-WS.
Rabe, F. (Ed.) (2018). Intelligent Computer Mathematics. Springer.
Müller, D., Kohlhase, M., & Rabe, F. (2018). Theories as Types. In Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 (pp. 575-590). Springer Verlag.
Müller, D., Kohlhase, M., & Rabe, F. (2018). Automatically finding theory morphisms for knowledge management. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 209-224). Springer Verlag.
Schaefer, J.F., & Kohlhase, M. (2018). Syntactic/semantic analysis for high-precision math linguistics. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation, CME-EI 2018, Formal Mathematics for Mathematicians, FMM 2018, Computer Algebra in the Age of Types, CAAT 2018, Formal Verification of Physical Systems, FVPS 2018, Mathematical Models and Mathematical Software as Research Data 2018, M3SRD 2018 and 29th OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS 2018. CEUR-WS.
Kohlhase, A., Kohlhase, M., & Ouypornkochagorn, T. (2018). Discourse phenomena in mathematical documents. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 147-163). Springer Verlag.
Kohlhase, M. (2017). Notation-based semantification. In Proceedings of the MathUI 2016 (pp. 73-81). CEUR-WS.
Wiesing, T., Kohlhase, M., & Rabe, F. (2017). Virtual theories – A uniform interface to mathematical knowledge bases. In Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 (pp. 243-257). Springer Verlag.
Rabe, F. (2017). A Modular Type Reconstruction Algorithm. ACM Transactions on Computational Logic.
Litak, T.M., Polzer, M., & Rabenstein, U. (2017). Negative Translations and Normal Modality. In Dale Miller (Eds.), (pp. 27:1--27:18). Oxford, GB: Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
Kohlhase, M. (2017). Math object identifiers - Towards research data in mathematics. In Lernen, Wissen, Daten, Analyse - 2017 Learning. Knowledge. Data. Analytics, LWDA 2017 (pp. 241-252). Rostock, DE: CEUR-WS.
Kohlhase, M., Müller, D., Owre, S., & Rabe, F. (2017). Making PVS accessible to generic services by interpretation in a universal format. (pp. 319-335). Springer Verlag.
Kohlhase, M., Müller, D., Pfeiffer, M., Rabe, F., Thiery, N., Vasilyev, V., & Wiesing, T. (2017). Knowledge-Based Interoperability for Mathematical Software Systems. In Johannes Blömer and Temur Kutsia and Dimitris Simos (Eds.), MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences (pp. 195-210). Springer.

Zuletzt aktualisiert 2019-08-04 um 14:06