F #: это нормально для разработки доказательств теорем?

Пожалуйста, порекомендуйте. Я юрист, работаю в области юридической информатики. Я был программистом в течение длительного времени (Basic, RPG, Fortran, Pascal, Cobol, VB.NET, C #). В настоящее время я интересуюсь F #, но мне бы хотелось посоветовать. Меня беспокоит, что F # подходит для математических приложений. И то, что я хочу, потребовало бы большого количества операций с булевой математикой и обработки текста на естественном языке и, в случае успеха, речи. Я беспокоюсь об обработке текста.

Я получил революционный исходный код PROLOG (революционный в области права и, в частности, разрешения споров). Программа разрешает споры, оценивая аргументы Да-Нет (истина-ложь), выдвинутые двумя участниками дискуссии. Сейчас я изучаю PROLOG, чтобы я мог вывести программу на другой уровень: оценить силу аргументов, когда они не являются ни «да», ни «нет», а являются убедительным элементом в процессе аргументации.

Итак, программа обрабатывает диалектический аспект аргументации, я хочу, чтобы она начала обрабатывать риторический аспект аргументации или, по крайней мере, некоторые аспекты.

В настоящее время программа может управлять формальной логикой. Я хочу начать управлять некоторыми аспектами неформальной логики, и для этого мне понадобится выполнить синтаксический анализ строк (длинные строки, возможно, документы MS Word) для обнаружения текстовых маркеров, таких слов, как & quot; но & quot; & Quot; следовательно, & Quot; & Quot, однако & Quot; & Quot; так & Quot; и т. д., и т. д., только длинный список слов, которые я должен найти в любой речи (устной или письменной) и отметить, а затем оценить левую и правую стороны знака. В зависимости от знака стороны считаются сильными или слабыми.

Сначала я подумал о переносе программы Prolog на C # и использовании библиотеки Prolog. Затем мне показалось, что в чистом F # могло бы быть и лучше.

Ответы на вопрос(6)

Ваш ответ на вопрос