A következtetés szabályai
Tekintsük a logikus következtetés legrégebbi példáját - a szilogizmust:
"Minden ember halandó. Socrates ember. Következésképpen Socrates halandó. "
Az ilyen következtetések hivatalossá tétele: megtanítani a számítógépet annak helyességének ellenőrzésére és automatikusan létrehozni hasonlóakat? Példánk két helyet foglal el: "minden ember halandó", "a Sokrat ember" és a "Sokrat halandó" következtetés, amelynek igazsága a helyiség igazságából következik. Írjuk az első előteret a "predicate" nyelvben: "x ha x egy személy, akkor x halálos".
Ennek alapján általánosan érvényes képlet „XP (x) ® P (a) logikai lekonyuló a megnyilatkozás kvantor” helyettesítő x Szókratész: „Ha megvágja - az a személy, akkor a halandó Socrates”. Tegyük fel a kapott nyilatkozat mellé a szelogizmus második előfeltételét és kapjuk meg az eredményt, amely a következő formában készült:
Ha Socrates ember, akkor Socrates halandó. Socrates ember.
Általános esetben az A, B logikai képlet helyét a vonal felett helyezik el. amelynek igazsága garantálja a következtetés igazságát C:
A logikai következtetés szabályainak egyik szakasza: "A képletekből - A és B parcellákból a képlet C. következtetése." (Abbreviated: A ВB ® C). Ebben az esetben úgy tekintjük, hogy a következtetési képlet igaz legalább a predikátumok, tárgyak és kifejezési változók összes olyan értékére vonatkozóan, amelyek alapján az összes parcel-formula igazsággá változik. A matematikai indukció módszere, amelyet a következtetés szabályaként formalizáltak, a következő formában fog megjelenni:
Íme néhány következtetési szabály, amelyek a tudásbázisban működnek:
Fontolja meg a tudás automatizált feldolgozását. A mesterséges intelligencia rendszerekben a tudás olyan információ, amelynek alapján
egy logikai következtetési folyamatot hajtanak végre, amely lehetővé teszi különálló adatdarabok összekapcsolását, majd következtetéseket vonhat le a töredékek szekvenciájára.
Tekintsük a következő példát. Az adatbázis információt tárol Petrov intézmény alkalmazottai, Ivanovo, Kuznyecov, Jakovlev (a továbbiakban nevezzük őket, mint a P, I, K, H).
A munkahelyi hierarchiát kétpontos predikátumok segítségével írja le:
Puk (P, I) azt jelenti, hogy Petrov vezeti Ivanovot,
OTCH (Y, X) azt jelenti, hogy az Y jelentései az X előtt.
Az adatbázis három tényt tárol:
Az alábbi két következtetési szabályt ismertetik, amelyek a tárgykörben folynak:
Meg kell vizsgálnia a felhasználó kérését: amennyiben Yakovlev jelentést tesz Ivanovnak (vagyis a RES (I, I) következtetéseit).
Az adatbázisban nincs ilyen tény, de az érdekeltségi kapcsolatot leíró predikátum megtalálható az 1. és a 2. szabályban.
Az 1. szabályt a 3. tényre alkalmazva a következő képletet kapjuk:
A modus ponensek következtetése szabályára és tényére támaszkodunk:
mivel az eredeti kifejezések igazak voltak, akkor a TCH (R, R) következtetése új tény - ez is igaz.
A 2. szabályt a RES (I, K) és tény 2: HAND (II, K) szabályra alkalmazva a következő képletet kapjuk:
amely a RES (I, II) válaszára mutat, amelyet azonban még mindig ellenőrizni kell. Ehhez a 2-es és az OTCH (X, K) kapcsolatot az "összekapcsolódás bevezetésével" szabályozzuk:
és végül, a modus ponens használatával igazoljuk az eredményt
és igenlő választ adva a kérdésre, vajon Yakovlev tényleg beszámol Ivanovnak.