Metody oceny systemu pisemnych reguł

16

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:

  1. W piątek gramy w golfa

  2. 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
3
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ą
1
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

Odpowiedzi:

2

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