Contracciones kernel: funciones de incisión cuantitativas

Abstract

Las operaciones de cambio de tipo partial meet fueron introducidas en el modelo AGM (Alchourrón, Gärdenfors y Makinson [AGM85]) y se basan en dos items: un conjunto de restos y una función de selección. Por su parte, las operaciones de cambio de tipo kernel fueron introducidas por Hansson [Han94] y también se basan en dos items: un conjunto de kernels y una función de incisión. Las operaciones del modelo AGM son mayormente analizadas y estudiadas cuando se representan los estados epistémicos mediante conjuntos de creencias, esto es conjuntos clausurados lógicamente. Por su parte, las operaciones de tipo kernel son mayormente estudiadas cuando los estados epistémicos se representan mediante conjuntos de sentencias finitos y no clausurados. Por este motivo, sus algorimos son de mayor aplicación en ciencias de la computación. En este trabajo, presentaremos una tipo de funciones de incisión plausible de aplicar en sistemas interactivos basados en conocimiento con el usuario con el objeto de minimizar la cantidad de información a ser descartada en una operación de contracción de tipo kernel.