„Következtető alrendszer” változatai közötti eltérés

A Miau Wiki wikiből
(Ajánlott irodalmak modulja)
 
(29 közbenső módosítás, amit 3 másik szerkesztő végzett, nincs mutatva)
1. sor: 1. sor:
'''Angol megnevezés:''' ...
+
'''Angol megnevezés:''' Inference Engine
 
__TOC__
 
__TOC__
 
== Történeti modul ==
 
== 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." [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20578]
+
* '''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." [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20578]
* '''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."[http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20594]
+
* '''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."[http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20594]
 
* '''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." [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20588]
 
* '''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." [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20588]
* '''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." [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20596]
+
* '''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." [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20596]
  
 
== Ontológiai modul ==
 
== Ontológiai modul ==
 
* '''"ez egy" kapcsolattípus:'''
 
* '''"ez egy" kapcsolattípus:'''
** szabályok között alkalmazható, szabályt kereső
+
** előre haladó (jelző)
** szabályt végrehajtó
+
** visszafelé haladó (jelző)
** végkövetkeztetést levonó
 
 
* '''"van neki, része a címszónak" kapcsolattípus:'''
 
* '''"van neki, része a címszónak" kapcsolattípus:'''
 
** adatvezérelt következtetés
 
** adatvezérelt következtetés
17. sor: 16. sor:
 
** frame - alapú következtetés
 
** frame - alapú következtetés
 
** modell - alapú következtetés
 
** modell - alapú következtetés
** [[eset - alapú következtetés]]
+
** [[esetalapú következtetés]]
 
** monoton következtetés  
 
** monoton következtetés  
 
** nem - monoton következtetés
 
** nem - monoton következtetés
 
** hipotetikus következtetés
 
** hipotetikus következtetés
 
* '''"a címszó része valaminek (a címszóval egyenrangú fogalmak)" kapcsolattípus:'''  
 
* '''"a címszó része valaminek (a címszóval egyenrangú fogalmak)" kapcsolattípus:'''  
** [[szakértői rendszer]]
+
** [[szakértői rendszer]] ( indukció, következtetőgép, [[magyarázó alrendszer]], WAM-TXT, ... )
** [[mesterséges intelligencia alkalmazások]]
+
** mestertséges intelligencia alkalmazások ( [[szakértői rendszer]], mesterséges élet, természetes nyelvek kezelése, robotika )
** [[dönéstámogató rendszer]]
 
  
 
==  Ellentmondások és vitatott kijelentések modulja ==
 
==  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 ==
 
== 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.
 
* 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 ==
 
== 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.)
 +
 
 
== Ajánlott irodalmak modulja ==
 
== Ajánlott irodalmak modulja ==
 
* Borgulya István: Szakértői rendszerek, technikák és alkalmazások [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20594]
 
* Borgulya István: Szakértői rendszerek, technikák és alkalmazások [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20594]
 
* dr. Kovács Gábor: Gazdasági Informatika Mezőgazdasági Alkalmazásokkal [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20578]
 
* dr. Kovács Gábor: Gazdasági Informatika Mezőgazdasági Alkalmazásokkal [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20578]
* dr Sárközy Ferenc: A GIS és a szakértői rendszerek
+
* dr Sárközy Ferenc: A GIS és a Szakértői rendszerek [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=20596]
 +
* dr. Bognár Katalin [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=21052]
 +
* Angol definíció [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=21258]
 +
* Gazdasági Informatika jegyzet (1999): [http://miau.gau.hu/levelezo/2003osz/l2003_id.php3?string=14635]
 +
[[Kategória:Lexikon_(special)]]

A lap jelenlegi, 2008. február 1., 13:08-kori változata

Angol megnevezés: Inference Engine

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:

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.)

Ajánlott irodalmak modulja

  • Borgulya István: Szakértői rendszerek, technikák és alkalmazások [5]
  • dr. Kovács Gábor: Gazdasági Informatika Mezőgazdasági Alkalmazásokkal [6]
  • dr Sárközy Ferenc: A GIS és a Szakértői rendszerek [7]
  • dr. Bognár Katalin [8]
  • Angol definíció [9]
  • Gazdasági Informatika jegyzet (1999): [10]