2003. december 18.Gyires Béla Informatikai Nap1 Következtés tudás alapú rendszerekben Bognár Katalin Debreceni Egyetem Informatikai Intézet
2003. december 18.Gyires Béla Informatikai Nap2 Tudás alapú rendszerek Szabály alapú ismeretábrázolás és következtés Szemantikus hálók Leíró logikák Az eset alapú következtetőrendszer
2003. december 18.Gyires Béla Informatikai Nap3 A tudás alapú rendszerek felépítése
2003. december 18.Gyires Béla Informatikai Nap4 Szabály alapú rendszerek HA feltétel AKKOR következmény
2003. december 18.Gyires Béla Informatikai Nap5 nyomtató. szab-1: if éjszakai-nyomtatás=nem then sebesség=nagy. szab-2: if sebesség = nagy and then nyomtató = laser- printer. szab-3: if éjszakai-nyomtatás=igen then sebesség=kicsi. szab-4: if true then éjszakai-nyomtatás=nem. Tudásbázis cél tény
2003. december 18.Gyires Béla Informatikai Nap6 Szemantikus háló Irányított, címkézett gráf Csúcs: objektum, tulajdonság, érték Él: csúcsok közti reláció
2003. december 18.Gyires Béla Informatikai Nap7
2003. december 18.Gyires Béla Informatikai Nap8 Jumbó? vér
2003. december 18.Gyires Béla Informatikai Nap9 Leíró logika strukturált ismereteket kifejező eldönthető logika klasszikus szemantikával és hatékony következtető eljárásokkal
2003. december 18.Gyires Béla Informatikai Nap10 Következtetési eljárások Alárendelések ellen ő rzése Egy fogalom kielégíthet ő ségének ellen ő rzése Egy leíró ismeretbázis kielégíthet ő ségének vizsgálata Egyedesítés
2003. december 18.Gyires Béla Informatikai Nap11
2003. december 18.Gyires Béla Informatikai Nap12 Az eset alapú következtetés életciklusa
2003. december 18.Gyires Béla Informatikai Nap13
2003. december 18.Gyires Béla Informatikai Nap14 Köszönöm a figyelmet!