INTELIGENCIA ARTIFICIAL - SA26-2

Un equipo de desarrolladores está diseñando un sistema de inteligencia artificial para la validación automática de contratos legales. Para garantizar la coherencia lógica pen las cláusulas del contrato, deciden utilizar cálculo proposicional y cálculo de predicados.

Sin embargo, en la fase de pruebas, detectan que el sistema acepta contratos con contradicciones internas. Por ejemplo, un contrato puede contener las siguientes afirmaciones:

"Si el pago se realiza antes del 10 de cada mes, no se aplicarán recargos."

"Todos los pagos realizados después del 5 de cada mes generan un recargo."

Los desarrolladores sospechan que hay un error lógico en la interpretación de las reglas y deben corregirlo utilizando métodos formales.

Explica cómo aplicar reglas de inferencia para determinar si el sistema está razonando correctamente. ¿Qué método utilizarías para verificar la validez de las cláusulas?

Fecha de Entrega: 19 de Septiembre de 2026

Valor: 10 puntos.