LINGUIST List 31.1880
Mon Jun 08 2020
Software: OT Solver: An Automated Optimality Theory Solver
Editor for this issue: Everett Green <everettlinguistlist.org>
Eugenio Vigo <emvigo
OT Solver: An Automated Optimality Theory Solver E-mail this message to a friend
I have written a small tool that I think can be of interest to the Linguistics community: OT Solver. The project can be found at: https://sr.ht/~emvigo/ot-solver/
OT Solver automatically calculates the optimal candidate in an Optimality Theoretic grammar framework (Prince & Smolensky, 1994). The user provides an OT tableau specifying the violations of each candidate for each constraint and OT Solver outputs which candidate Eval predicts as grammatical.
This is a tool meant for two distinct use cases in the Theoretical Linguistics community:
1. For easing the calculus of the optimal candidate in big tableaux that might be confusing to calculate by hand.
2. For students learning the OT Eval algorithm, as they can compare the results of their manual calculations with the result shown by this tool.
The program is written in POSIX compliant C99, licensed under the Apache Public License 2.0. It has only been tested under Linux, but POSIX compliance should guarantee it works under OS X and the BSDs.
Eugenio M. Vigo
Linguistic Field(s): Computational Linguistics
Page Updated: 08-Jun-2020