Proszę doradź. Jestem prawnikiem, pracuję w dziedzinie informatyki prawnej. Jestem programistą od dłuższego czasu (Basic, RPG, Fortran, Pascal, Cobol, VB.NET, C #). Obecnie interesuje mnie F #, ale chciałbym doradzić. Moim problemem jest to, że F # nadaje się do aplikacji matematycznych. A to, czego chcę, wymagałoby wielu boolowskich operacji matematycznych i przetwarzania tekstów w języku naturalnym oraz, jeśli się powiedzie, mowy. Martwię się o przetwarzanie tekstu.

Otrzymałem rewolucyjny kod źródłowy PROLOG (rewolucyjny w dziedzinie prawa, aw szczególności rozstrzygania sporów). Program rozwiązuje spory, oceniając argumenty Tak-Nie (prawda-fałsz) przedstawione przez dwie strony debatujące. Teraz uczę się PROLOG, dzięki czemu mogę przenieść program na inny poziom: ocenić siłę argumentów, gdy nie są one ani Tak, ani Nie, ale stanowią element przekonujący w procesie argumentacji.

Tak więc program obsługuje dialektyczny aspekt argumentacji, chcę, aby zaczął przetwarzać retoryczny aspekt argumentacji, a przynajmniej niektóre aspekty.

Obecnie program może zarządzać logiką formalną. Chcę zacząć zarządzać niektórymi aspektami nieformalnej logiki i do tego musiałbym wykonać parsowanie łańcuchów (długich ciągów, być może ms word) w celu wykrycia znaczników tekstowych, słów takich jak „ale” „dlatego” „jednak” „od” itd., itd., po prostu długa lista słów, które muszę wyszukać w każdej mowie (ustnej lub pisemnej) i zaznaczyć, a następnie ocenić lewą i prawą stronę znaku. W zależności od znaku boki są uważane za silne lub słabe.

Początkowo myślałem o przeniesieniu programu Prolog do C # i użyciu biblioteki Prolog. Wtedy przyszło mi do głowy, że może być lepiej w czystym F #.