F #: ¿está bien para el desarrollo de los probadores de teoremas?

Por favor avise. Soy abogada, trabajo en el área de Informática del Derecho. He sido programador durante mucho tiempo (Básico, RPG, Fortran, Pascal, Cobol, VB.NET, C #). Actualmente estoy interesado en F #, pero me gustaría un consejo. Mi preocupación es que F # parece ser adecuado para aplicaciones matemáticas. Y lo que quiero requiere una gran cantidad de operaciones matemáticas booleanas y procesamiento del lenguaje natural del texto y, si tiene éxito, el habla. Estoy preocupado por el procesamiento de texto.

Recibí un código fuente revolucionario de PROLOG (revolucionario en el campo del Derecho y, en particular, de la Resolución de Disputas). El programa resuelve las controversias evaluando los argumentos de Sí-No (verdadero-falso) presentados por dos partes en debate. Ahora, estoy aprendiendo PROLOG para poder llevar el programa a otro nivel: evaluar la fuerza de los argumentos cuando no son un Sí o un No, sino un elemento persuasivo en el proceso de argumentación.

Entonces, el programa maneja el aspecto dialéctico de la argumentación, quiero que comience a procesar el aspecto retórico de la argumentación, o al menos algunos aspectos.

Actualmente el programa puede gestionar la lógica formal. Lo que quiero es comenzar a administrar algunos aspectos de la lógica informal y para eso tendría que hacer un análisis de cadenas (cadenas largas, tal vez documentos de Word más) para la detección de marcadores de texto, palabras como "pero" "por lo tanto" "sin embargo" "Desde", etc., etc., solo una larga lista de palabras que tengo que buscar en cualquier discurso (verbal o escrito) y marcar, y luego evaluar el lado izquierdo y el lado derecho de la marca. Dependiendo de la marca, los lados se consideran fuertes o débiles.

Inicialmente, pensé en trasladar el programa Prolog a C # y usar una biblioteca Prolog. Entonces, se me ocurrió que tal vez podría ser mejor en F # puro.

Respuestas a la pregunta(6)

Su respuesta a la pregunta