Merlin Humml

Theoretical computer science, Friedrich-Alexander-University Erlangen-Nürnberg (FAU)

Brief description of the doctoral project

I’m working on formal argumentation for automated argument analysis in social media. More specifically I am building custom modal logics for representing every day argumentation. I utilize colgebraic modal logic as unifying framework enabling tractable reasoning to aid in argument graph reconstruction and synthesis. In this argument mining process the automated resoner takes the place of the human reader filling in the common knowledge (potentially from a knowledge base) and bridging the gaps in incomplete arguments.

Bildcredits: Jonas Scharf