körülírás

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
zárt világ feltételezés (CWA)
Rövid szöveges bemutatás: 
A körülírás fogalom jelentése egy kicsit eltér az MI területében és a hétköznapi értelemben használt jelentésével. Hétköznapi értelembe a körülírást akkor használjuk, amikor egy objektumot le akarunk írni, annak konkrét megnevezése nélkül. Ekkor általában a tulajdonságaira és a vele kapcsolatos dolgokra koncentrálunk. Az MI területében a körülírást az elsőrendű logikai formalizmusban alkalmazhatjuk a zárt világ feltételezés egy speciális eseteként. Ebben az esetben egy kivételként szolgáló predikátumot vezetünk be. Tehát van egy általánosan igaznak vélt állításunk de meg szeretnénk adni a kivételezés lehetőségét is. Például tudjuk, hogy (ember(x) -> kétlábú(x)), de megadjuk a lehetőséget és (ember(x) és /abnormális(x) -> kétlábú(x)) minden x-re. Tehát úgy tudjuk jobban körülírni, hogy tudjuk, hogy csak akkor teljesül az állítás ha az adott "x" nem abnormális. (Az "abnormális" kifejezést használtam, mert ez minden kijelentés mellé párosítható, általános jelentésű)