Metodi per valutare un sistema di regole scritte

Stavo cercando di escogitare un sistema che valutasse lo statuto di un'organizzazione in modo da determinare la sua logica sottostante.

Penso che un sistema di predicati del primo ordine funzionerebbe per rappresentare le regole, che potrebbero essere tradotte dal testo tramite tag di parte del discorso e altre tecniche di PNL.

Esiste un modo sistematico per interpretare le regole logiche del primo ordine nel loro insieme o un qualche tipo di architettura ML che funzionerebbe come secondo livello per trovare somiglianze tra gli elementi.

Per esempio,

Elenco di attività divertenti:

golf

pausa caffè

Pizza

Statuto:

Venerdì giochiamo a golf

Venerdì o sabato, facciamo una breve pausa caffè e, se è sabato, prendiamo la pizza

Conclusione: il nostro gruppo si diverte nei fine settimana

Sembra inverosimile, ma sono curioso di sapere se è possibile. Mi rendo anche conto che forse una logica più del primo ordine sarebbe più adatta per guidare le conclusioni del secondo livello.

— jonsca
fonte

PROLOG ha le sue radici nella logica del primo ordine. Gli articoli sulle basi teoriche della lingua potrebbero essere utili.

— Kramii,

@Kramii Sì, è stato nella mia lista "todo" per un bel po 'di tempo, ottimo suggerimento.

— jonsca,

I predicati sono solo un passo. Vuoi dire che giochiamo a golf provenienti Venerdì, o ogni Venerdì, o ogni Venerdì eccetto nei giorni , o ogni Venerdì tranne quando abbiamo qualcosa di più importante da fare , o ... Chi siamo , lo stesso gruppo di persone che di volta in volta? E se qualcuno fosse malato? Ecc. Ecc. Ecc.

— reinierpost il

Circa 20 anni fa ho ascoltato una conferenza di qualcuno dell'Università di Tilburg che stava lavorando a questo problema in un contesto legale. Penso che se fai una ricerca per "sistema esperto" troverai molta letteratura pertinente.

— reinierpost,

@reinierpost Ho sempre pensato ai sistemi esperti come a un modo per inserire conoscenze specifiche del dominio in un sistema come questo. Penso che sia un inizio, ma sto anche cercando un modo per farlo senza molti input dall'esterno, credo.

— jonsca,

Il trucco qui è che funziona bene a condizione che le tue regole possano essere espresse in forma predicata. Il golf è ancora divertente se piove o se giochi male?

Se hai bisogno di qualcosa di più flessibile, potresti voler esaminare alcuni strumenti statistici / bayseani. Lì, diresti che il golf aveva un'alta probabilità di divertirsi, non che fosse sempre divertente.

— jmite
fonte

Sei a conoscenza di strumenti statistici / bayesiani specifici, fuori mano?

— jonsca,

Ho accettato la risposta, ma come nel commento sopra, ogni ulteriore informazione sarebbe apprezzata!

— jonsca,

Non conosco troppi dettagli sul ragionamento probabilistico, probabilmente vorrai fare qualche lettura su "Baysean Inference", ma non conosco i pacchetti che offrono questa funzionalità.

— jmite,