Regresar

Some operators for iterated revision

Abstract:

We propose a construction that allows to define operators for iterated revision from "classical" AGM revision operators. We call those operators revision with memory operators. We show that the operators obtained have nice logical properties.We illustrate this construction with the well-known Dalal revision operator. We also give two new particular revision operators based on the revision operators on OTP proposed by Ryan [20]. His operator do not satisfy a lot of logical properties. The two operators we give based on OTP satisfy all wanted revision properties.

Año de publicación:

2001

Keywords:

    Fuente:

    scopusscopus

    Tipo de documento:

    Conference Object

    Estado:

    Acceso restringido

    Áreas de conocimiento:

    • Modelo matemático
    • Lógica

    Áreas temáticas:

    • Programación informática, programas, datos, seguridad
    • Educación
    • Funcionamiento de bibliotecas y archivos

    Contribuidores:

    Ramón Pino-PérezRamón Pino-Pérez
    Konieczny S.E.Konieczny S.E.