„Következtető alrendszer” változatai közötti eltérés
A Miau Wiki wikiből
(→Történeti modul) |
(→Ontológiai modul) |
||
8. sor: | 8. sor: | ||
== Ontológiai modul == | == Ontológiai modul == | ||
− | * ... | + | * '''"ez egy" kapcsolattípus:''' |
+ | ** szabályok között alkalmazható, szabályt kereső | ||
+ | ** szabályt végrehajtó | ||
+ | ** végkövetkeztetést levonó | ||
+ | ** ... | ||
+ | * '''"van neki, része a címszónak" kapcsolattípus:''' | ||
+ | |||
== Ellentmondások és vitatott kijelentések modulja == | == Ellentmondások és vitatott kijelentések modulja == | ||
* ... | * ... |
A lap 2005. november 18., 19:56-kori változata
Angol megnevezés: ...
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:
- szabályok között alkalmazható, szabályt kereső
- szabályt végrehajtó
- végkövetkeztetést levonó
- ...
- "van neki, része a címszónak" kapcsolattípus:
Ellentmondások és vitatott kijelentések modulja
- ...
Definíciós modul
- ...
Tesztkérdések modul
- ...
Ajánlott irodalmak modulja
- ...