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:

  1. Semantic and structural annotation of legal text;
  2. Discovery of relationships for concepts discovered in step;
  3. Formalization of terms used in the NL text and elements of the specification such as parameters and local variables;
  4. Generation of formal expressions that use variables and parameters and capture the conditions of the contract-at-hand.

Details...