Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

Resumen Técnico: Hacia la Implicación No Monotónica en la Lógica de Perspectivas Proposicionala Defeccionable

Planteamiento del Problema
Los avances recientes en el razonamiento defeccionable han aplicado con éxito la semántica preferencial y la implicación de estilo KLM a las lógicas modales, específicamente a la Lógica de Perspectivas Proposicionala Defeccionable (PDSL, por sus siglas en inglés). La PDSL permite la representación de puntos de vista conflictivos y creencias típicas dentro de un mismo marco utilizando modalidades como $❘∼∼❘_e \alpha$ (que significa "$\alpha$ se cumple en las comprensiones más típicas del punto de vista $e$"). Sin embargo, el trabajo existente en este dominio se ha centrado primordialmente en la comprobación de la satisfacibilidad y la implicación tarskiana (monotónica) ($\models_P$).

Los autores identifican una debilidad inferencial crítica en el enfoque monotónico actual. Bajo $\models_P$, una base de conocimiento a menudo no logra sustentar inferencias no monotónicas intuitivas. Por ejemplo, si un punto de vista $P$ cree típicamente $\alpha$, y $\alpha$ implica defeccionablemente $\beta$, el marco monotónico no puede concluir que $P$ cree típicamente $\beta$. Del mismo modo, los sub-puntos de vista (por ejemplo, Ingeniería) no pueden heredar creencias típicas de un super-punto de vista (por ejemplo, Física) si existe cualquier potencial de conflicto, incluso si no existe un conflicto específico. Esto limita la utilidad de la PDSL para el razonamiento prototípico donde se espera la herencia y la typicalidad.

Metodología
Para abordar estas limitaciones, el artículo propone elevar las relaciones de implicación racional no monotónica del razonamiento proposicional KLM tradicional a un fragmento de la PDSL. La metodología procede a través de cuatro etapas principales:

1. Extensión de la Expresividad mediante Condicionales Situados:
   Los autores introducen "condicionales de punto de vista situados" de la forma $\alpha \rightsquigarrow_e \beta$, que se lee como "dentro del punto de vista $e$, una creencia en $\alpha$ implica usualmente una creencia en $\beta$". Este constructo permite que las implicaciones defeccionables se sitúen específicamente dentro del contexto de un punto de vista, en lugar de ser globales. Los autores demuestran que esta nueva sintaxis es lo suficientemente expresiva como para recaracterizar todo el lenguaje PDSL, reemplazando efectivamente las modalidades y las implicaciones defeccionables estándar con estos condicionales situados y una modalidad de punto de vista universal ($\square_*$).

2. Traducción a la Lógica KLM Proposicional:
   El artículo define un fragmento específico de PDSL, denotado como $Cond(\tilde{\mathcal{L}}_S)$, que consiste en condicionales defeccionables positivos ($\alpha \rightsquigarrow_e \beta$) y refinamientos de punto de vista ($e \lesssim d$). Se define una función de traducción $T$ que mapea las fórmulas de este fragmento a bases de conocimiento condicionales de la lógica KLM proposicional tradicional.

• Las expresiones de punto de vista se traducen en átomos proposicionales o combinaciones booleanas de los mismos.
• Un condicional $\alpha \rightsquigarrow_e \beta$ se traduce como $(\alpha \land t(e)) \mid\sim \beta$.
• Un refinamiento de punto de vista $e \lesssim d$ se traduce como $t(e) \mid\sim t(d)$.
  Crucialmente, los autores prueban que esta traducción es fiel: una base de conocimiento PDSL es satisfacible si y solo si su traducción proposicional es satisfacible, y la satisfacción del modelo se preserva bajo la traducción ($M \models \varphi \iff T(M) \models T(\varphi)$).

3. Elevación de las Relaciones de Implicación:
   Utilizando la traducción $T$, los autores elevan las relaciones de implicación racional defeccionable desde el caso proposicional al caso de la PDSL. Para un determinado esquema de clasificación $r$ (que asigna una función de clasificación a una base de conocimiento), la relación de implicación $| \approx_r$ en PDSL se define tal que $\mathcal{K} | \approx_r \varphi$ si y solo si la preimagen del modelo clasificado proposicional $r(T(\mathcal{K}))$ satisface $\varphi$.
   Este enfoque permite el uso de algoritmos proposicionales existentes (como DefeasibleEntail) para realizar la comprobación de la implicación en PDSL.

4. Instanciaciones Específicas:
   El marco se aplica a dos sistemas conocidos de implicación racional:

• Cierre Racional (Rational Closure): Definido mediante la función de clasificación mínima. El artículo muestra que el Cierre Racional en PDSL evita las debilidades inferenciales de la implicación monotónica, permitiendo la herencia de creencias típicas en ausencia de un conflicto directo.
• Cierre Lexicográfico (Lexicographic Closure): Introducido para resolver el "problema del ahogamiento" (donde una excepción en un atributo bloquea la herencia de creencias típicas no relacionadas). Los autores demuestran que el Cierre Lexicográfico en PDL de forma exitosa distingue entre creencias no relacionadas, permitiendo que un sub-punto de vista herede creencias que no están involucradas en la excepción específica.

Resultados Clave

• Expresividad: La introducción de condicionales situados permite a la PDSL expresar toda su sintaxis utilizando una estructura análoga a los condicionales proposicionales, facilitando su traducción a la lógica KLM.
• Fuerza Inferencial: La implicación no monotónica propuesta ($| \approx_r$) es estrictamente más fuerte que la anterior implicación monotónica ($\models_P$). Logra sustentar con éxito la herencia de creencias típicas para los sub-puntos de vista y la derivación de consecuencias a partir de creencias típicas, algo que $\models_P$ no podía hacer.
• Preservación de la Complejidad: La complejidad de la comprobación de la implicación en el fragmento de PDSL propuesto es idéntica a la del caso proposicional.
  • La comprobación del Cierre Racional es $P^{NP}_{||}$-completa.
  • La comprobación del Cierre Lexicográfico es $P^{NP}$-completa.
  • Esto se logra porque la traducción $T$ es lineal y los algoritmos proposicionales subyacentes pueden utilizarse directamente.
• Manejo de Modalidades de Diamante: El artículo introduce un operador de "negación como falla" (not) para manejar las modalidades de diamante ($\Diamond_e \alpha$) dentro del marco no monotónico. Esto permite el "razonamiento valiente" respecto a la posibilidad: si una posibilidad no es precluida por la base de conocimiento, se considera implicada.

Significancia y Reivindicaciones
El artículo afirma proporcionar un método sistemático para integrar el razonamiento no monotónico en las lógicas de perspectiva, abordando la naturaleza "inferencialmente débil" de los enfoques monotónicos previos. Al establecer una traducción fiel entre un fragmento de la PDSL y la lógica KLM proposicional, los autores permiten la aplicación directa de sistemas de implicación racional establecidos (Cierre Racional y Lexicográfico) al razonamiento de múltiples perspectivas.

La significancia reside en:

1. Resolver la Debilidad Inferencial: Permitir que la PDSL realice razonamiento prototípico donde los sub-puntos de vista heredan creencias típicas y las implicaciones defeccionables se propagan dentro de puntos de vista específicos.
2. Resolver el Problema del Ahogamiento: Demostrar que el Cierre Lexicográfico puede aplicarse a la PDSL para evitar que excepciones no relacionadas bloqueen la herencia de creencias típicas.
3. Eficiencia Computacional: Probar que estas inferencias no monotónicas avanzadas pueden computarse utilizando algoritmos proposicionales existentes sin aumentar la clase de complejidad computacional.

Los autores concluyen que su trabajo cierra la brecha entre la expresividad de las lógicas de perspectiva y las robustas capacidades de implicación de la lógica de estilo KLM, ofreciendo un marco práctico para razonar con puntos de vista conflictivos y típicos.