Következtető alrendszer
A Miau Wiki wikiből
Angol megnevezés: Inference Engine
Tartalomjegyzék
Történeti modul
- 1994: "Feladata, hogy a szakértői ismeretből és a tényanyagokból következtetéseket vezessen le. Szabályok között keres egy alkalmazható szabályt, majd a kiválasztott szabályt értelmezi és végrehajtja. Ha a megfelelő végkövetkeztetést megtalálta a rendszer, a feldolgozás befejeződik, egyébként újrakezdődik a ciklus." [1]
- 1995: "Konzultáció közben a Szakértői Rendszer következtetések sorozatát hajtja végre, hogy eljusson a probléma megoldásához. A következtető mechanizmus e folyamatot vezérli. Sorra kijelöli a munkamemória és a tudásbázis tényei alapján a következtetéshez felhasználható szabályokat és eljárásokat. Ha például egy szabály feltétel része teljesül, a következmény, mint új tény a munkamemóriába kerül. Ha ez a tény nem a keresett megoldást adja, további szabályok feltételrészét kezdi el vizsgálni."[2]
- 2003: "A következtetés (és a következtetőgép) az MI több kutatási területéhez kapcsolódó jelenségkör. Az elnevezés a levezetéssel rokonértelmű, de nem azonos jelentésű gyűjtőkategória; összefüggések, törvényszerűségek, következmények (konklúziók) ismert tények, kiindulási tételek (premisszák) alapján történő feltárása." [3]
- 2005: "A szabályok és tények kombinálását konklúziók levezetése érdekében következtetésnek hívjuk. A folyamatot grafikusan gyakran a lehetőségek fája segítségével ábrázoljuk. A fák csomópontjai a szabály-mondatok, a csomópontokat összekötő ágak pedig ezeket kapcsolják össze. Az összekapcsolás történhet logikai szorzással, ilyenkor ÉS csomópontról beszélünk és logikai összeadással, mely VAGY csomópontot eredményez. A fa struktúra alkalmazásával sok esetben jól tudjuk modellezni a következtetés dinamizmusát a fa ágain történő haladás segítségével. ÉS csomópont esetén a csomópont alatti valamennyi feltételt meg kell vizsgálnunk, míg VAGY csomópont esetén elég az egyik alsó csomópont vizsgálata. A fa gyökerében az az alapcél helyezkedik el, melyet a következtetési folyamatban bizonyítani kívánunk." [4]
Ontológiai modul
- "ez egy" kapcsolattípus:
- előre haladó (jelző)
- visszafelé haladó (jelző)
- "van neki, része a címszónak" kapcsolattípus:
- adatvezérelt következtetés
- célvezérelt következtetés
- frame - alapú következtetés
- modell - alapú következtetés
- esetalapú következtetés
- monoton következtetés
- nem - monoton következtetés
- hipotetikus következtetés
- "a címszó része valaminek (a címszóval egyenrangú fogalmak)" kapcsolattípus:
- szakértői rendszer ( indukció, következtetőgép, magyarázó alrendszer, WAM-TXT, ... )
- mestertséges intelligencia alkalmazások ( szakértői rendszer, mesterséges élet, természetes nyelvek kezelése, robotika )
Ellentmondások és vitatott kijelentések modulja
- Fejlesztés nélkül újonnan felmerülő problémák megoldására nem alkalmas (önfejlődési hiányosságok). Ettől függetlenül a diagnosztika területén meghatározó szerepet játszik.
Definíciós modul
- A szakértői rendszer olyan alrendszere, amely a tudásbázis és tényadatok alkalmazásával konklúziókat vezet le. Tény és szabályábrázolási séma figyelembevételével a mindennapi életben megszokott módon sokféle algoritmussal következtetéseket von le. A következtetőgép működése során egyik konfliktushalmazból halad a másikba, és attól függően, hogy melyik szabályt alkalmazza, más és más állapotokba kerül, amit következtetési gráf segítségével lehet leírni.
Tesztkérdések modul
- Mi a következtető alrendszer lényege? (A Szakértői rendszer azon része, amely szabályok alapján értelmez és végrehajt egy feladatot valamint következtetést is von le.)
- Mi alapján von le következtetéseket? (Megadott adatok, kijelölt cél, egy megadott eset alapján.)
- Mi a következtetési gráf? (A következtetőgép működési folyamatát lehet vele grafikusan szemléltetni.)
