Egy formális rendszer tudásreprezentációs
Cím a munka: A formális rendszer tudásreprezentációs
Szakterület: Informatika, kibernetika és programozás
Leírás: A készlet képletek osztja részhalmazainak jól formált képletek PPF. Ez határozza meg egy hatékony eljárás, amely lehetővé teszi, hogy ezt a kifejezést, hogy megtudja, hogy ez egy PPF az FS. Adott egy bizonyos sor PPF nevezett axiómák FS. Ebben az esetben be kell építeni egy hatékony eljárást, amely lehetővé teszi tetszőleges PPF eldönteni, hogy ez egy axióma.
Fájl mérete: 36 KB
Job letöltve: 4 fő.
28. A formális rendszer a tudásreprezentációt.
A formális rendszer (FS), amely működik az egyik vagy más szimbólumok, ezek a szimbólumok észlelt egyszerűen elemeket, hogy a kezelt bizonyos szabályok szerint függően csak az alakja a kifejezések kialakított karaktereket.
Formai rendszerek - magától értetődő rendszerek, azaz rendszer jelenlétében egy bizonyos számú kezdeti előre kiválasztott és rögzített nyilatkozatok nevezett axiómák.
A formális rendszer tekinthető adható, ha a következő feltételek teljesülnek.
1. Adjuk meg egy sor, amely egy véges vagy végtelen számú elemek, amelyek úgynevezett szempontjából. Van egy másik véges halmaz, amelynek elemei vannak ínszalag vagy műveletek.
2. Bármely lineáris rendezett halmaza feltételek és műveletek nevezzük állításokat. A készlet képletek osztja részhalmazainak jól formált képletek (PPF). Mert NPF szabályainak meghatározása építése, azaz Ez határozza meg egy hatékony eljárást, amely lehetővé teszi, hogy ezt a kifejezést, hogy megtudja, hogy ez egy PPF az FS.
3. Jelöljön ki egy sor PPF, az úgynevezett axiómák FS. Ebben az esetben be kell építeni egy hatékony eljárást, amely lehetővé teszi tetszőleges PPF, annak eldöntése, hogy ez egy axióma.
4. Van egy véges halmaza R 1 R 2 R k közötti kapcsolatok PPF nevezett következtetési szabályokat. Az „output”, továbbá hatékony, azaz a ott kell lennie egy hatékony eljárás, amely lehetővé teszi, hogy eldönti, hogy minden tagja a sorozat egy tetszőleges véges PPF szekvencia levezetett egy vagy több korábbi PPF bizonyos fix következtetési szabályok. FS kimenet bármilyen sorrendben PPF A 1. A 2. A n olyan, hogy minden i (i = 1, n) A PPF i - az vagy FS axióma vagy közvetlen következménye bármely korábbi PPF szerinti egyik következtetési szabályok. *
Bármilyen FS határozza meg négy <Т, Н, А, R> ahol T - fogalomkészletet és műveletek; H - PPD építése több szabályok; A - a rendszert az axiómák; R - helyezze következtetési szabályokat. Formai rendszer önmagában sem a nyelvet, sem a tudás, a rendszer nem tartalmaz semmilyen kijelentéseket a tárgyak, és csak egy számítás - egyfajta fellépése bizonyos szabályokat tekintve a sorrend.
Két osztály formális rendszerek matematikai alapját az épület AI rendszer: ítéletlogika és az elsőrendű predikátum kalkulus.
Ítéletlogika mint formális rendszert.
A komplexum egy igazság értéke a nyilatkozat, amely egyértelműen meghatározza egyszerű mondatokat igazság értékeket, az azt alkotó.
Például: „Ha egy diák lefekszik későn kávézás reggel azt kapnánk fel a rossz hangulat, vagy a fejfájás.” Ez egy összetett mondat áll a következő egyszerű mondatokat:
„A hallgató maradni későn ágyba”
„Student kávézás éjjel”
„Reggel a hallgató felkelni a rossz hangulat”
„Reggel a hallgató kap egy fejfájás”
Jelölő összetett mondat egy egyszerű X. rendre Y, Z. U. V. felírható
Ha X = Y, és Z. jelentése U vagy V
Vagy X = (Y ^ Z) → (UVV)
Minden logikai művelet lehet tekinteni, mint egy tranzakciót, ami új nyilatkozata - egy komplex egyszerűbb.
Így, hogy bármilyen bonyolult mondat lehet írott formában egy képlet tartalmazó logikai művelet és szimbólumokat, hogy képviselje az egyszerű kijelentések, úgynevezett atomok. Ahhoz, hogy tudjuk, hogy igaz vagy hamis állítás kifinomult ahhoz, hogy tudja az igazi érték az összes atomot tartalmaz, amelyek összetétele.
A képlet a ítéletlogika, amely minden interpretációban igaz, az úgynevezett tautológia, vagy egy általánosan érvényes képlet.
A képlet a ítéletlogika nevezzük ellentmondás, ha hamis minden interpretációban.