Bitte beraten. Ich bin Rechtsanwalt und arbeite auf dem Gebiet der Rechtsinformatik. Ich war lange Zeit Programmierer (Basic, RPG, Fortran, Pascal, Cobol, VB.NET, C #). Ich interessiere mich derzeit für F #, würde mich aber gerne beraten lassen. Mein Anliegen ist, dass F # für mathematische Anwendungen geeignet zu sein scheint. Und was ich will, würde eine Menge boolescher mathematischer Operationen und natürlicher Sprachverarbeitung von Text und, falls erfolgreich, Sprache erfordern. Ich mache mir Sorgen um die Textverarbeitung.

Ich habe einen revolutionären PROLOG-Quellcode erhalten (revolutionär auf dem Gebiet des Rechts und insbesondere der Streitbeilegung). Das Programm löst Streitigkeiten, indem es die von zwei Debattierern vorgebrachten Ja-Nein-Argumente (wahr-falsch) bewertet. Jetzt lerne ich PROLOG, um das Programm auf eine andere Ebene zu heben: Bewerten Sie die Stärke von Argumenten, wenn sie weder ein Ja noch ein Nein sind, sondern ein überzeugendes Element im Argumentationsprozess.

Das Programm behandelt also den dialektischen Aspekt der Argumentation. Ich möchte, dass es den rhetorischen Aspekt der Argumentation oder zumindest einige Aspekte behandelt.

Derzeit kann das Programm formale Logik verwalten. Ich möchte damit beginnen, einige Aspekte der informellen Logik zu verwalten. Dazu müsste ich Zeichenfolgen (lange Zeichenfolgen, möglicherweise MS-Word-Dokumente) analysieren, um Textmarkierungen zu erkennen. Wörter wie "aber" "daher" "jedoch" "seit" etc, etc, nur eine lange Liste von Wörtern, die ich in jeder Sprache (mündlich oder schriftlich) nachschlagen und markieren und dann die linke und rechte Seite der Marke auswerten muss. Je nach Marke gelten die Seiten als stark oder schwach.

Anfangs dachte ich daran, das Prolog-Programm nach C # zu portieren und eine Prolog-Bibliothek zu verwenden. Dann ist mir aufgefallen, dass es in reinem F # vielleicht besser sein könnte.