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...