Métodos para evaluar un sistema de reglas escritas.

16

Estaba tratando de encontrar un sistema que evaluara los estatutos de una organización para determinar su lógica subyacente.

Creo que un sistema de predicado de primer orden funcionaría para representar las reglas, que podrían traducirse del texto a través del etiquetado de parte del discurso y otras técnicas de PNL.

¿Existe una manera sistemática de interpretar las reglas lógicas de primer orden como un todo, o algún tipo de arquitectura ML que funcione como una segunda capa para encontrar similitudes entre los elementos?

Por ejemplo,

Lista de actividades divertidas:

  • golf
  • descanso
  • Pizza

Estatutos

  1. El viernes jugamos golf

  2. El viernes o el sábado, tomamos un breve descanso para tomar café, y si es sábado, obtenemos pizza

Conclusión: nuestro grupo se divierte los fines de semana

Suena descabellado, pero tengo curiosidad por saber si es posible. También me doy cuenta de que quizás una lógica más de primer orden sería una mejor opción para sacar las conclusiones de la segunda capa.

jonsca
fuente
3
PROLOG tiene sus raíces en la lógica de primer orden. Los artículos sobre los fundamentos teóricos del lenguaje pueden ser útiles.
Kramii
@Kramii Sí, ha estado en mi lista de "tareas pendientes" durante bastante tiempo, una gran sugerencia.
jonsca
Los predicados son solo un paso. Qué quiere decir que jugar al golf viene viernes, o todos los viernes, o todos los viernes excepto los días , o cada viernes, excepto cuando tenemos algo más importante que hacer , o ... ¿Quienes somos , el mismo grupo de personas cada vez? ¿Qué pasa si alguien está enfermo? Etc. etc. etc.
reinierpost
1
Hace unos 20 años escuché una conferencia de alguien en la Universidad de Tilburg que estaba trabajando en este problema en un contexto legal. Creo que si haces una búsqueda de 'sistema experto' encontrarás mucha literatura relevante.
reinierpost
@reinierpost Siempre pensé en los sistemas expertos como una forma de poner conocimiento específico del dominio en un sistema como este. Creo que es un comienzo, pero también estoy buscando una forma de hacerlo sin mucha información del "exterior", creo.
jonsca

Respuestas:

2

El truco aquí es que esto funciona bien siempre que sus reglas se puedan expresar en forma de predicado. ¿Sigue siendo divertido el golf si está lloviendo o si juegas mal?

Si necesita algo más flexible, es posible que desee ver algunas herramientas estadísticas / Baysean. Allí, diría que el golf tenía una alta probabilidad de ser divertido, no que siempre fue divertido todo el tiempo.

jmite
fuente
¿Conoces alguna herramienta estadística / bayesiana específica, por casualidad?
jonsca
Acepté la respuesta, pero como en el comentario anterior, cualquier otra información sería apreciada.
jonsca
No conozco demasiados detalles sobre el razonamiento probabilístico, probablemente quiera leer un poco sobre "Inferencia Bayseana", pero no conozco los paquetes que brindan esa capacidad.
jmite