alapértelmezett logika

Rövid szöveges bemutatás: 
Az alapértelmezett logika egy olyan kifejező eszköz, ahol alapértelmezett szabályokat lehet leírni feltételes következtetések generálásához. Egy ilyen szabály általános képe: P : J1, …, Jn/C. Ahol P az előfeltétel, C a konklúzió, Ji-ket pedig igazolásnak nevezzük. Ha Ji-k közül bármelyik beláthatóan hamis, akkor a konklúziót levonni tilos. A C-ben és Ji-ben előforduló minden változónak P-ben is meg kell jelennie. Egy konkrét példa: Emlős(x) : Úszik(x) /Úszik(x), tehát ha Emlős(x) bekövetkezik, vagyis igazzá válik, és ha az Úszik(x) a tudásbázissal konzisztens, akkor az Úszik(x)-et kikövetkeztethetjük.