2003. december 18.Gyires Béla Informatikai Nap1 Következtés tudás alapú rendszerekben Bognár Katalin Debreceni Egyetem Informatikai.

Slides:



Advertisements
Hasonló előadás
Távhő, használati melegvíz Szakmai Nap1 Szakmai Nap Időpontja: március 7. Pécs Megyei Jogú Város közgyűlési terme „Lágyszárú biomassza blokk energetikai.
Advertisements

Diagnosztika szabályok felhasználásával, diagnosztikai következtetés Modell alapú diagnosztika diszkrét módszerekkel.
Alapképzések a Debreceni Egyetem Informatikai Karán
K-Chat Dr. Szepesvári Csaba Kutatási Alelnök mindmaker.
Szervezetfejlesztési Program
MAJ’NEM keretmese-. Általános tudnivalók IV. Béla kora 1241 – tatárjárás után Országépítés – készülődés az esetleges tatártámadásra Altáborok/altáborvezetők.
BIZONYTALANSÁG (UNCERTAINTY)
EE/R adatmodell (Extended E/R) 1 Az objektum orientált szemlélet elterjedésével egyre nőtt az igény az olyan SDM (Semantic Data Model) modellek iránt,
GoldWorks III.
Determinisztikus programok. Szintaxis: X : Pvalt program változók E : Kifkifejezések B : Lkiflogikai kifejezések C : Utsutasítások.
Problémafa modell Ez a táblázat segít képileg megjeleníteni a probléma elemzést. A második oldal egy példát mutat be, a harmadik oldal pedig egy kitöltetlen.
Címkézett hálózatok modellezése
Erősen összefüggő komponensek meghatározása
Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő
DAG topologikus rendezése
Bayes hálók október 20. Farkas Richárd
Számítógépes nyelvészeti alkalmazások Farkas Richárd szept 7.
MI 2003/5 - 1 Tudásábrázolás (tudásreprezentáció) (know- ledge representation). Mondat. Reprezentá- ciós nyelv. Tudás fogalma (filozófia, pszichológia,
A munka világával kapcsolatos tudás
Az informatika oktatása a Debreceni Egyetem Informatikai Karán
A projekt az Európai Unió támogatásával, az Európai Szociális Alap társfinanszírozásával valósul meg. TÁMOP-4.2.1/B-09/1/KONV „A felsőoktatás.
Az informatika oktatása a Debreceni Egyetem Informatikai Karán
Vizsga- és versenyfeladatok patológiája és diagnosztikája
TUDÁSALAPÚ RENDSZEREK Tudnivalók ILCV441 Előadó: Kovács Zita 2013/2014. I. félév.
ILCV441, ILDV443 Előadó: Kovács Zita 2013/2014. I. félév TUDÁSALAPÚ RENDSZEREK december 7.
Előadó: Kovács Zita 2013/2014. II. félév TUDÁSALAPÚ RENDSZEREK Leíró logikák.
4. Gyires Béla Informatikai Nap május 6.1 Márton Ágnes Debreceni Egyetem Informatikai Kar Informatikai Rendszerek és Hálózatok Tanszék A Virtual.
Szoftver bonyolultsági mértékek alkalmazási területei Király Roland 2011.
Bizonytalanság A teljesen megbízható következtetést lehetővé tevő tudás hiánya Egy esemény bizonytalansága  objektív  szubjektív Módszerek  numerikus.
Miskolci Egyetem Informatikai Intézet Általános Informatikai Tanszé k Pance Miklós Adatstruktúrák, algoritmusok előadásvázlat Miskolc, 2004 Technikai közreműködő:
Miskolci Egyetem Informatikai Intézet Általános Informatikai Tanszé k Pance Miklós Adatstruktúrák, algoritmusok előadásvázlat Miskolc, 2004 Technikai közreműködő:
A virtuális technológia alapjai Dr. Horv á th L á szl ó Budapesti Műszaki Főiskola Neumann János Informatikai Kar, Intelligens Mérnöki Rendszerek.
Modellezés és tervezés c. tantárgy Óbudai Egyetem Neumann János Informatikai Kar Alkalmazott Matematikai Intézet Mérnöki Informatikus MSc 9. Előadás és.
Sulyok Dénes Debreceni Egyetem Földművelési és Területfejlesztési Tanszék DÖNTÉSTÁMOGATÓ RENDSZER ALKALMAZÁSA A NÖVÉNYTERMESZTÉSBEN.
Bevezetés a robotok döntéshozatalának folyamatába és módszereibe Készítette : Fodor Bence II. Éves Programtervező Informatikus Nyíregyházi Főiskola V2.
Gazdasági modellezés,döntési modellek
Információ típusok.
ISMERETALAPÚ RENDSZEREK SZAKÉRTŐ RENDSZEREK
Intelligens irányító rendszerek Adat és tudás, adatábrázolás, tudásábrázolás.
Ismeretalapú rendszerek alaptechnikái I. Szabályalapú rendszerek.
Ismeretalapú rendszerek alaptechnikái
Ismeretalapú rendszerek alaptechnikái I. Szabályalapú rendszerek.
4. Gyires Béla Informatikai Nap Debreceni Egyetem Informatikai Kar Új eredmények a Chomsky-féle (formális) nyelvtípusokkal kapcsolatban Dr. Nagy Benedek.
Orvosi alkalmazások grafikus megjelenítése
Előadó: Kovács Zita 2013/2014. II. félév TUDÁSALAPÚ RENDSZEREK Az osztályozás fogalmának háló alapú bevezetése.
Fejmozgás alapú gesztusok felismerése Bertók Kornél, Fazekas Attila Debreceni Egyetem, Informatikai Kar Debreceni Képfeldolgozó Csoport KÉPAF 2013, Bakonybél.
Az IKT-metria mérőeszköz
Budapest, június 28. Ontológia kezelő modul tervezése szöveges információt kezelő informatikai rendszer számára Förhécz András BME Méréstechnika.
 mesterséges intelligencián alapuló szoftver rendszer  a felhasználó által szolgáltatott adatok alapján képes viszonylag bonyolult problémákat megoldani,
Védekezés és alkalmazkodás az agrárterületeken III. Magyarországi Klímacsúcs Szentendre, január 19. Jolánkai Márton Szent István Egyetem.
1 Tudásalapú információ-kereső rendszerek elemzése és kifejlesztése Célkitűzés: Információk téma-specifikus, különböző típusú forrásokból (internet, intranet.
Peremhelyzetű és kirekesztett csoportokkal végzett szociális és közösségi munka Kunbábony, Civil Kollégium Képzési Központ április május.
Színházi Nap Budapest, Andrássy út Fényképezte: Szedő Iván.
Tóth Máté Tudásbázisok, szakértői rendszerek Könyvtári szolgáltatások menedzselése I. Tóth Máté
Szabó-Bartha Anett Szabó-Bartha Anett A KRÓNIKUS BETEGSÉGGEL VALÓ MEGKÜZDÉS VIZSGÁLATA A BETEGSÉG-REPREZENTÁCIÓ JELENSÉGÉN KERESZTÜL Debreceni Egyetem.
ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ Szőts Miklós Alkalmazott Logikai Laboratórium
Fogalom-rendszerek - bevezetés -. Minden fogalom az emberi gondolkodás terméke Mindazok a dolgok, amelyek alapján a fogalom létrehozható, az emberi gondolkodástól.
Kompetensek lettünk? június 27..
Új technológiák elterjedésének modellezése
Bizonytalanság A teljesen megbízható következtetést lehetővé tevő tudás hiánya Egy esemény bizonytalansága  objektív  szubjektív Módszerek  numerikus.
Az informatika logikai alapjai
MI 2003/6 - 1 Elsőrendű predikátumkalkulus (elsőrendű logika) - alapvető különbség a kijelentéslogikához képest: alaphalmaz. Objektumok, relációk, tulajdonságok,
Dag Toplogikus rendezés
Bevezetés a szemantikus technológiákba. Szemantikus technológiák  Rendszerelemek – jelentés – logikai formula  Elvárások – logikai formula  Az elvárások.
Ontológia Avagy, ez meg mi?. Tartalom Az ontológia definíciói Az ontológia-kutatás céljai Szakterületi ontológiák fejlesztésének céljai Az információrendszerek.
13. Gyires Béla Informatikai Nap 1 Adott görbületű Hermite-ívek előállítása és térbeli általánosításuk SCHWARCZ TIBOR Debreceni Egyetem, Informatikai Kar,
PÁRHUZAMOS ARCHITEKTÚRÁK – 13 INFORMÁCIÓFELDOLGOZÓ HÁLÓZATOK TUDÁS ALAPÚ MODELLEZÉSE Németh Gábor.
Példa: Dinteger = {..., -1,0,1,...}; Dboolean = {true, false};
Tudásalapú rendszerek
Kódduplikációk a forráskódban
Előadás másolata:

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!