Fysikkbygningen øst (kart)
Sem Sælands vei 24
In this project one must develop a restricted form of natural language to be used for writing legal contracts. This is supposed to be used by both machine and human. This will make it possible that the computer reads a legal contract and interprets it in some form of contracts logic. This is a first step to automate the processing of legal contracts. In this way the computer can read and communicate human-understandable legal contracts. It cannot understand these contracts though. For this a contracts logic is needed (see topic Extend and improve the existing logics of contracts).
You could interact with researchers from Chalmers, and build on or work with the tool that they developed (see this document).