Por favor informar. Sou advogada, trabalho no campo da Informática Jurídica. Eu tenho sido um programador por um longo tempo (Básico, RPG, Fortran, Pascal, Cobol, VB.NET, C #). Atualmente estou interessado em F #, mas gostaria de alguns conselhos. Minha preocupação é que o F # parece estar apto para aplicações matemáticas. E o que eu quero exigiria muitas operações matemáticas booleanas e processamento de linguagem natural de texto e, se bem-sucedido, fala. Estou preocupado com o processamento de texto.

Recebi um código fonte PROLOG revolucionário (revolucionário no campo do Direito e, em particular, na Resolução de Disputas). O programa resolve disputas avaliando os argumentos Sim-Não (verdadeiro-falso) adiantados por dois debatedores. Agora, estou aprendendo o PROLOG para que eu possa levar o programa para outro nível: avaliar a força dos argumentos quando eles não são nem um sim ou não, mas um elemento persuasivo no processo de argumentação.

Assim, o programa lida com o aspecto dialético da argumentação, quero que ele comece a processar o aspecto retórico da argumentação, ou pelo menos alguns aspectos.

Atualmente, o programa pode gerenciar a lógica formal. O que eu quero é começar a gerenciar alguns aspectos da lógica informal e para isso eu precisaria fazer a análise de strings (strings longas, talvez documentos em word) para a detecção de marcadores de texto, palavras como "mas" "portanto" "no entanto" "desde" etc, etc, apenas uma longa lista de palavras que eu tenho que procurar em qualquer fala (verbal ou escrita) e marcar e, em seguida, avaliar lado esquerdo e lado direito da marca. Dependendo da marca, os lados são considerados fortes ou fracos.

Inicialmente, pensei em portar o programa Prolog para C # e usar uma biblioteca Prolog. Então, ocorreu-me talvez pudesse ser melhor em F # puro.