El mecanismo de extraer conclusiones defeasibles a partir de información típica o presuntiva en ausencia de evidencia contraria; las conclusiones se mantienen por defecto hasta que son contradichas.

Principio

Las reglas por defecto expresan normalidad con una condición de aplicabilidad y una consiguiente; la resolución de conflictos se logra por especificidad, ordenación o comprobaciones de consistencia para que las excepciones bloqueen la aplicación del defecto.

Demostración

Dada la regla por defecto «Normalmente, los pájaros vuelan», un agente infiere que un pájaro p vuela cuando solo se sabe que p es un pájaro; si luego se informa que p es un pingüino, el defecto se bloquea y la inferencia se retira.

Aplicación incorrecta

Aplicar defectos cuando existe información explícita sobre excepciones, o encadenar indiscriminadamente defectos incompatibles sin mecanismos de resolución de conflictos, lo que conduce a conclusiones erróneas o irrelevantes.

Consecuencia

Permite representaciones de conocimiento compactas e inferencia plausible con información incompleta, haciendo que los sistemas actúen de forma sensata en situaciones rutinarias sin listar todas las excepciones.

Inversión

Inferencia estricta sin reglas por defecto: solo se aceptan conclusiones que siguen deductivamente de las premisas; las asunciones basadas en tipicidad están prohibidas.

Límite

Cubre marcos formales que codifican defectos (lógica por defecto estilo Reiter, sistemas de reglas defeasibles, defectos priorizados); no equivale a la generalización estadística o a la asignación de probabilidades, aunque puede combinarse con ellas.

Tensión semántica

Tensión entre conclusiones por defecto (categóricas pero retractables) y generalizaciones probabilísticas (probabilidades graduadas); también tensión con sistemas normativos basados en reglas donde las excepciones son obligaciones explícitas en lugar de hechos defeasibles.

Síntesis

El razonamiento por defecto es la aplicación de reglas cargadas de typicalidad para derivar conclusiones plausibles en ausencia de contraevidencia, reguladas por prioridades y condiciones de bloqueo para gestionar excepciones.