Resumen: La teoría de la aproximación Fixpoint (AFT) es una teoría poderosa que cubre diversos semánticos de formalismos de razonamiento no monotónico en la representación del conocimiento, como la programación lógica y la programación del conjunto de respuestas. Muchas semánticas de tales formalismos no monotónicos pueden caracterizarse como puntos fijos adecuados de un operador no monotónico en una red adecuada. En lugar de trabajar en la red original, AFT opera en intervalos en dicha red para aproximar o construir los puntos fijos de interés. Si bien la popa se ha aplicado con éxito en una amplia gama de formalismos de razonamiento no monotónicos, se enfrenta a sus limitaciones en otros ejemplos relativamente simples. En este documento, superamos esas limitaciones al extender la popa consistente para lidiar con aproximaciones que son más refinadas que los intervalos. Por lo tanto, presentamos una noción más general de espacios de aproximación, mostramos la mejor expresividad e investigamos las relaciones entre diferentes espacios de aproximación.
Publicado Originalme en export.arxiv.org El 22 de junio de 2025.
Ver Fuente Original
