Métodos para avaliar um sistema de regras escritas

Eu estava tentando criar um sistema que avaliasse os estatutos de uma organização para determinar sua lógica subjacente.

Penso que um sistema de predicado de primeira ordem funcionaria para representar as regras, que poderiam ser traduzidas do texto por meio de marcação por parte do discurso e outras técnicas de PNL.

Existe uma maneira sistemática de interpretar as regras lógicas de primeira ordem como um todo, ou algum tipo de arquitetura de ML que funcionaria como uma segunda camada para encontrar semelhanças entre os elementos.

Por exemplo,

Lista de atividades divertidas:

golfe

coffee break

pizza

Estatuto Social:

Na sexta-feira, jogamos golfe

Na sexta ou no sábado, fazemos um café rápido e, se for sábado, receberemos pizza

Conclusão: nosso grupo se diverte nos finais de semana

Parece muito buscado, mas estou curioso para saber se é possível. Também percebo que talvez mais lógica de primeira ordem seja mais adequada para conduzir as conclusões da segunda camada.

— jonsca
fonte

O PROLOG tem suas raízes na lógica de primeira ordem. Artigos sobre os fundamentos teóricos da linguagem podem ser úteis.

— Kramii

@ Kramii Sim, isso está na minha lista de tarefas por um bom tempo, ótima sugestão.

— jonsca

Predicados são apenas um passo. Você quer dizer que jogar golfe vinda sexta-feira, ou a cada sexta-feira, ou toda sexta-feira, exceto em feriados , ou toda sexta-feira, exceto quando temos algo mais importante para fazer , ou ... Quem é que , o mesmo conjunto de pessoas de cada vez? E se alguém estiver doente? Etc. etc. etc.

— reinierpost

Cerca de 20 anos atrás, ouvi uma palestra de alguém da Universidade de Tilburg que estava trabalhando nesse problema em um contexto jurídico. Acho que, se você pesquisar "sistema especialista", encontrará muita literatura relevante.

— Reinierpost

@reinierpost Eu sempre pensei em sistemas especialistas como uma maneira de colocar conhecimento específico de domínio em um sistema como esse. Eu acho que é um começo, mas também estou procurando uma maneira de fazer isso sem muita contribuição do lado de fora, eu acho.

— jonsca

O truque aqui é que isso funciona bem, desde que suas regras possam ser expressas em forma de predicado. O golfe ainda é divertido se está chovendo ou se você joga mal?

Se você precisar de algo mais flexível, convém procurar algumas ferramentas estatísticas / Bayseanas. Lá, você diria que o golfe tem uma alta probabilidade de ser divertido, não que sempre tenha sido divertido o tempo todo.

— jmite
fonte

Você conhece alguma ferramenta estatística / bayesiana específica, de imediato?

— jonsca

Aceitei a resposta, mas, como no comentário acima, qualquer informação adicional seria apreciada!

— jonsca

Não conheço muitos detalhes sobre o raciocínio probabilístico, você provavelmente quer ler sobre "Inferência Bayseana", mas não conheço pacotes que ofereçam essa capacidade.

— jmite