Se implementa en PROLOG un sistema de revisión de creencias que realiza las siguientes operaciones:
- Expansión: agregar una creencia α a una base de conocimiento K.
- Contracción: contraer una base de conocimiento K con respecto a α.
- Revisión Priorizada: revisar una base de conocimiento K con respecto a α asegurando la propiedad de éxito.
- Consolidación: restaurar consistencia en una base de conocimiento K.
Se encuentra especificado el desarrollo realizado en el archivo 📃Proyecto final.pdf.
- 📁 doc: Documentos pdf del proyecto.
- 📄 doc/Proyecto_final.pdf: Guia con el detalle del desarrollo realziado.
- 📄 aplicación.php: Archivo PHP con vista.
- 📄 codigoFuente.php: Código fuente en PHP.
- 📄 favicon.ico: Ícono de la aplicación.
- 📄 home.php: Archivo PHP con vista.
- 📄 tnt.plp: Archivo Prolog con el agente desarrollado en prolog.