alapértelmezett elmélet kiterjesztése

Kapcsolódó fogalmak: 
alapértelmezett logika
Rövid szöveges bemutatás: 
Az alapértelmezett elmélet kiterjesztése során, rendelkezésünkre állnak az bizonyos tények és szabályok. Majd ezekből vonjuk le a konklúzióhalmazt. Ezen halmazra igaz, hogy az alapértelmezett tényekből és szabályokból további konklúzió nem vonható le, és minden konklúziót igazolni lehet az alapértelmezetten rendelkezésre álló tényekből és szabályokból. Léteznek olyan változatok, ahol az egyes szabályoknak prioritást lehet adni, így oldva fel a nem egyértelmű helyzeteket.