Metody oceny systemu pisemnych reguł

Próbowałem wymyślić system, który oceniałby regulaminy organizacji w celu ustalenia ich podstawowej logiki.

Myślę, że system predykatów pierwszego rzędu działałby w celu reprezentowania reguł, które mogłyby być przetłumaczone z tekstu za pomocą tagowania części mowy i innych technik NLP.

Czy istnieje systematyczny sposób interpretacji reguł logicznych pierwszego rzędu jako całości lub jakiegoś rodzaju architektury ML, która działałaby jako druga warstwa w celu znalezienia podobieństw między elementami.

Na przykład,

Lista zabawnych zajęć:

golf

przerwa na kawę

Pizza

Regulamin:

W piątek gramy w golfa

W piątek lub sobotę robimy szybką przerwę na kawę, a jeśli jest sobota, dostajemy pizzę

Wniosek: nasza grupa dobrze się bawi w weekendy

Brzmi to zbyt naciągane, ale jestem ciekawy, czy to możliwe. Zdaję sobie również sprawę, że być może więcej logiki pierwszego rzędu lepiej pasowałoby do wyciągania wniosków z drugiej warstwy.

— jonsca
źródło

PROLOG ma swoje korzenie w logice pierwszego rzędu. Przydatne mogą być artykuły na temat teoretycznych podstaw języka.

— Kramii

@Kramii Tak, to już od dłuższego czasu na mojej liście „do zrobienia”, świetna sugestia.

— jonsca

Prognozy to tylko jeden krok. Czy masz na myśli, że gramy w golfa w najbliższy piątek, w każdy piątek lub w każdy piątek, z wyjątkiem świąt lub w każdy piątek, z wyjątkiem sytuacji, gdy mamy coś ważniejszego do zrobienia lub ... Kim jesteśmy , ta sama grupa ludzi za każdym razem? Co jeśli ktoś jest chory? Itd. Itp. Itd.

— Ponownie cierpią

Jakieś 20 lat temu usłyszałem wykład kogoś z uniwersytetu w Tilburgu, który pracował nad tym problemem w kontekście prawnym. Myślę, że jeśli szukasz „systemu eksperckiego”, znajdziesz mnóstwo odpowiedniej literatury.

— reinierpost

@reinierpost Zawsze uważałem systemy ekspertowe za sposób na umieszczenie wiedzy specyficznej dla domeny w takim systemie. Myślę, że to początek, ale myślę też, że mogę to zrobić bez dużego wkładu z „zewnątrz”.

— jonsca

Sztuczka polega na tym, że działa to dobrze, pod warunkiem, że Twoje reguły mogą być wyrażone w formie predykatów. Czy golf jest nadal fajny, jeśli pada deszcz lub źle grasz?

Jeśli potrzebujesz czegoś bardziej elastycznego, możesz przyjrzeć się narzędziom statystycznym / Baysean. Można by rzec, że golf ma duże szanse na dobrą zabawę, nie że zawsze była fajna.

— jmite
źródło

Czy znasz jakieś konkretne narzędzia statystyczne / bayesowskie?

— jonsca

Przyjąłem odpowiedź, ale jak w powyższym komentarzu, wszelkie dalsze informacje będą mile widziane!

— jonsca

Nie znam zbyt wielu szczegółów na temat probabilistycznego rozumowania, prawdopodobnie chcesz przeczytać „Baysean Inference”, ale nie znam paczek, które zapewniają taką możliwość.

— jmite