La implicación preferencial es una lógica no monótona basada en seleccionar únicamente los modelos que se consideran más plausibles. La plausibilidad de los modelos se expresa mediante un ordenamiento entre modelos denominado relación de preferencia, de ahí el nombre de implicación preferencial.
Formalmente, dada una fórmula proposicional y un ordenamiento sobre los modelos proposicionales , la implicación preferencial selecciona solo los modelos de que son mínimos según . Esta selección conduce a una relación de inferencia no monótona: se cumple si y solo si todos los modelos mínimos de según son también modelos de . [1]
La circunscripción puede ser vista como el caso particular de implicación preferencial cuando el ordenamiento se basa en la contención de los conjuntos de variables asignadas a verdaderas (en el caso proposicional) o en la contención de las extensiones de los predicados (en el caso de la lógica de primer orden). [1]
