Les fonctions suivantes sont prises en charge :

• Classement des contraintes (à l'aide de la rétrogradation des contraintes (Tesar et Smolensky 1993) et d'autres algorithmes)

• Diagnostic d'ensembles de contraintes défaillants
• Localisation des contraintes redondantes
• Argumentation de classement automatisée
• Préparation de tableaux standardisés
• Typologie factorielle
• Symboles phonétiques IPA

La version 2.1 d'OTSoft (toujours disponible sur ce site) supporte également :

• Diagrammes de Hasse (représentation graphique du classement)
• Classements a priori (spécifiés par l'utilisateur)
• Saisie automatique de certaines violations de contraintes par des descriptions structurelles
• "Tableaux stochastiques" dans la sortie de l'Algorithme d'apprentissage graduel

La version 2.3 (en bêta) supporte :

• Amélioration de l'argumentation du classement (algorithme de Prince et Brasoveanu)

• Une évaluation précise de "est nécessaire" pour les contraintes (correction bug)

• Grammaires maximales

• OTSoft a été programmé principalement par Bruce Hayes, avec des contributions de Bruce Tesar et Kie Zuraw.

  Pour plus d'informations, contactez l'auteur du logiciel