Formalization of legal content
As part of the ALMANAC-project, we are currently developing new MMT-modules to deal with conflict-laden content. These include context graphs (theory graphs with attack relations), formalizations of nonmonotonic logics and argumentation theories (as context graphs or in classical MMT) and computation and visualization components (Embedding of argumentation semantic solvers, TGView graph viewer).
The goal of this project is a first application of these developments in an effort to formalize paradigmatic documents (rulings, example cases) in law. Legal content involves a plethora of interesting formalization challenges such as defeasible reasoning, ambibuity, precedence and argumentation. There for it provides an ideal arena to gain a sense of the current capabilities of our systems as well as the open requirements.
The project would entail choosing a suitable document (or collection of documents) and flexiformalizing it. The final document will include content of various formalization levels which can be visualized and processed by ALMANAC's graphical and computational tools. The undertaking would be closely supervised jointly by members of the ALMANAC-project and our Legal-Tech cooperation partner Prof. Dr. Axel Adrian.