Welcome to Contratto project
Using NLP techniques to support contracts formal specifications generation.
The goal is making the translation process systematic and tool-supported. The translation process is realized with the following steps:
- Semantic and structural annotation of legal text;
- Discovery of relationships for concepts discovered in step;
- Formalization of terms used in the NL text and elements of the specification such as parameters and local variables;
- Generation of formal expressions that use variables and parameters and capture the conditions of the contract-at-hand.