Mesterséges Intelligencia MI
|
|
- Zsolt Orbán
- 8 évvel ezelőtt
- Látták:
Átírás
1 Mesterséges Intelligencia MI Logikai Emberi ágens tudás és problémái gépi reprezentálása Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437,
2 Miből áll az emberi tudás? Mik annak a feltételei, hogy az emberi tudást egy számítógépen reprodukálhassuk?
3 Miből áll az emberi tudás? Mik annak a feltételei, hogy az emberi tudást egy számítógépen reprodukálhassuk? Előzmény: racionalitás (intelligencia) számítási mechanizmussal a számításhoz szükséges a dolgok reprezentálása ( adatszerkezetek ) és manipulálási procedúrák ( eljárás ) A kérdések tehát: mi a tudás? (valahogy kapcsolatos a nyelvvel?) hogyan reprezentáljam? (nyilván matek?) hogyan manipuláljam? (nyilván matek ez is?)
4 Szemiotika (Ch. Pierce, , - a jelhasználat tudománya) A jelentés háromszöge (1) tényleges objektum (2) szimbólum = az objektum neve (3) a közvetítő fogalom = az objektum neurális benyomása
5 Miben rejlik a tudás? Melyik ezek közül egy kalapács? Mi valóban egy kalapács? Mi vethető be egy kalapács gyanánt? Hogyan ismernénk rá egy igazi kalapácsra?
6 Pierce-féle 5 jelentésformáló elem létezés (valami létezik) van egy kutya koreferencia (valami olyan, mint valami más) ez a kutya a kedvenc kutyám reláció (valami kapcsolatban van valami mással) a kutya bolhás konjunkció a kutya ugat és a kutya vakarózik negálás a kutya nem alszik
7 a kifejezés nyelve informális természetes nyelv formális kontrollált természetes nyelv i.e sz. görög, arab, latin, angol formális nyelv (szimb. jelölés) 18. sz. 21. sz. szimbolikus rendszerek Nagy kutyák sokat esznek. Ha a kutya nagy, akkor a kutya sokat eszik. Ha (obj tul1), akkor (obj tul2). a(z1) b(z1)
8 Logika fejlődése Arisztotelész ( ), Avicenna ( ), Ibn Taymiyyah ( ) William Ockham ( ), John Duns Scotus ( ) Gottfried Leibniz ( ), George Boole ( ), John Venn ( ) Augustus De Morgan ( ), Charles Dodgson ( ) Gottlob Frege ( ) 1879, Charles Peirce ( ) 1885 Giuseppe Peano ( ) 1887 Alfred North Whitehead ( ), Bertrand Russell ( ) 1900 David Hilbert ( ), 1900, Jacques Herbrand ( ), 1930, Gerhard Gentzen ( ) (1936) Kurt Gödel ( ), 1930 teljesség, 1931 nemteljesség Stanisław Leśniewski ( ) 1912, Jan Łukasiewicz ( ) Alfred Tarski ( ), 1940, Thoralf Skolem ( ) Alan Turing ( ), 1930, 1950, Alonso Church ( ) J. Alan Robinson, (1963) Saul Aaron Kripke, Jaakko Hintikka,
9 Logika fejlődése Arisztotelész ( ), Avicenna ( ),... William Ockham...
10
11 Tacit megmutatható, de nem leírható Taxonómia fogalmok rendszere, koncepciók közötti különbségek Hipotézis hasznos tudás Heurisztika métalogikai információ, amely a logikai folyamatot hasznos eredmények felé viszi. Következtetésnél: zárt világ = választás nyitott világ = fogalmi kreativitás
12 Taxonómia Ontológia CYC, D. Lenat, 1984-, Columbia Desk Encyclopedia (mint az emberi tudás) kódolása, 20 év, 700 emberév, 70 m$, fogalom, 2 millió axióma, 6000 mikro elmélet
13 Tudás "definiálása" - tudás reprezentálása - reprezentáció redukálása manipulálható formára, amely lehetővé teszi a célok elérését alkalmas következtetési mechanizmus révén. Lényegi kérdések Széles körben alkalmazható-e? Rugalmasan kiterjeszthető-e? Hol van a gyengéje/ korlátja? Tárolja-e hatékonyan a szükséges információt? Teljes? Megengedi a 'zárt világ' leírást? Hatékony következtetést ad? Emberi szemmel vizsgálható-e könnyen? Hatékony tudásbeszerzéssel párosul-e? Tartalmazza-e (tartalmazhatja-e) ellentmondásos vagy inkonzisztens információt? Gyakorlatban kezelhető-e? Integrálható? Gazdaságos?
14 Olvasmányok órai anyaghoz Almanach (MI könyv) 1. fejezet (1.1, 1.2, 1.3) Stanford Encyclopedia of Philosophy "Deduction, Induction, and Abduction", Ch. 3 in article "Charles Sanders Peirce", in the Stanford Encyclopedia of Philosophy.
Mesterséges Intelligencia MI
Mesterséges Intelligencia MI Tudásbázis építése Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade A tudásbázis építése
RészletesebbenLogika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
RészletesebbenAz irodalomtudomány alapjai. Anglisztika alapszak Germanisztika alapszak
Az irodalomtudomány alapjai Anglisztika alapszak Germanisztika alapszak Jel, nyelv, irodalom - irodalomtudomány tárgya: az irodalmi szöveg, az irodalom mint kulturális részrendszer - az irodalmi szövegek
RészletesebbenLogikai ágens, lehetőségek és problémák
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Mesterséges Intelligencia - MI Logikai ágens, lehetőségek és problémák Előadó: Hullám Gábor Pataki Béla Előadás
RészletesebbenSzakadát István, BME MOKK, i@syi.hu MEO. W3C Szemantikus Web. Műhelykonferencia. Budapest, 2006. április 13.
Szakadát István, BME MOKK, i@syi.hu MEO W3C Szemantikus Web Műhelykonferencia Budapest, 2006. április 13. MEO-adatlap - Magyar Egységes Ontológia, NKFP-2, 2004.12.01. - 2006.11.30., - BME MOKK, BME TMIT,
RészletesebbenOntológiák, 1. Kooperáció és intelligencia, BME-MIT
Ontológiák, 1. Elmélet Mechanizmusfeltáró elmélet prediktív (jósló) modell Tartalomelmélet deskriptív (leíró) modell - ontológia objektumok, objektumok tulajdonságai objektumok közötti relációk Arisztotelész
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Logikai ágens ügyesebben Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade Mit tudunk már?
RészletesebbenA LOGIKA ELEMEI. Bóta László
Bóta László MÉDIAINFORMATIKAI KIADVÁNYOK Bóta László Eger, 2011 Lektorálta: CleverBoard Interaktív Eszközöket és Megoldásokat Forgalmazó és Szolgáltató Kft. A projekt az Európai Unió támogatásával, az
RészletesebbenElektronikus Almanach
Mesterséges Intelligencia Elektronikus Almanach Mesterséges intelligencia modern megközel zelítésben 1 Miért éppen ez a könyv? Egy kis történelem BME: 1998-1999 - MI lekerül alapképzés szintjére, hallgatói
RészletesebbenÉ Ü ö Ü ú Ú ű Ó Ó ű ö Ó Ó ú ű Ü Ö Ó Ó ö Ó Ő ű Ó Ó ú Ü Ü Ó Ó Ó Ü Ó Í Í ö ö ö ö ö ú ú ö ű ú ö ö ö ú ö ú ű ö ö ű ö ö ö ű ö ö ö ú ö ö ú ö ö ö ö ö ú ö ö ö ö ú ö ú ö ö ö ö ö ö ú ö ö ö ö Í ö Ö ö ú ö ö ö ö Ó Í
Részletesebbenü ő ő ü ő ő ö ö ő ö í ü ő í ö ö í ő ö ő ű ú ő í ü ő ö ő Í ö ö ő ö ö ő ő ö ő í Í í ü ö ő í ü ü ú ü ö ö ő ü ő ö ő í ü ő í ö ö ő ő ő í í ő í ő ő Á Ó Í í í ő ű ú ő í í ő ő Í ő í ő í í Í í ő í ő í ő ő íí ő
RészletesebbenÍ Ő É Ó É é Ö Á Á Á Ó é Ó é ö é Ö ű ö é ö ű ö é ö é é é é é é é é é é é é é é é é é é ü é é é Í é é é é ü é ö ü é ü é é ö ö é ú é é ü é é ü é é ü é ü é é é ú é Ó é é ú é ü é é ö é ö é Á Á Á Ó é Ó Í é ö
Részletesebbenö í Ö Ó ü í ü ö Ö ö ü ü ö ö ö ö Ö ü ö ö Ö ü Ű Ö ö ü ú ű ö ö í ö ö í ü ö ö í í ö Á É ö Ö í ö Ö ü ö Ö ö ö ö ö ö ü í ü ö í ü ö ö ö Ö ü ö í ü í ö ö ö Ö ü ö Ö í í ö Ö ü ö Ö í ü ö Á É ö Ö í ü ö í ö ű ö ö ű ö
Részletesebbenő ő ű í ó ú í ó í ó Á Á Á É ű ő ó ó ő ó ő Á É ó Á É ú Á É É Á ó Á Á Á Á Á É É ó Á É í É É í É ú ú ú ó ó Ö ú É ú ó ő ú ó í É É É É Ö Ö É Á É É É Ő Ó É ő ó ó í ő ú ő ő ű í ó ú Ő Ö ú É ú ú ő ő É É ő ő ő ő
Részletesebbenö é é ü Ő Ö é ü ö é é ü é é ó é ü ü é é é é é í é ü é é é é é é ö é é ö ö é ü ö ö é ü í é ü ü é é é ü é ö é é é ó é é é é é ü ö é é ü ú ö é é é é ö é é ö é é ó é ó é é í é é ó é é ó é é í ó é é ü ü é ó
RészletesebbenKijelentéslogika, ítéletkalkulus
Kijelentéslogika, ítéletkalkulus Arisztotelész (ie 4. sz) Leibniz (1646-1716) oole (1815-1864) Gödel (1906-1978) Neumann János (1903-1957) Kalmár László (1905-1976) Péter Rózsa (1905-1977) Kijelentés,
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Problémamegoldás kereséssel lokális információval Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade
RészletesebbenBevezetés az informatikába Tételsor és minta zárthelyi dolgozat 2014/2015 I. félév
Bevezetés az informatikába Tételsor és minta zárthelyi dolgozat 2014/2015 I. félév Az informatika története (ebből a fejezetből csak a félkövér betűstílussal szedett részek kellenek) 1. Számítástechnika
RészletesebbenMatematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek
Matematikai logika A logika tudománnyá válása az ókori Görögországban kezd dött. Maga a logika szó is görög eredet, a logosz szó jelentése: szó, fogalom, ész, szabály. Kialakulása ahhoz köthet, hogy már
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Logikai Logikai ágens ágens cselekvésben ügyesebben - szituációkalkulustól tervkészítésig Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu,
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Racionalitás: a hasznosság és a döntés Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade
Részletesebben2019/02/11 10:01 1/10 Logika
2019/02/11 10:01 1/10 Logika < Számítástechnika Logika Szerző: Sallai András Copyright Sallai András, 2011, 2012, 2015 Licenc: GNU Free Documentation License 1.3 Web: http://szit.hu Boole-algebra A Boole-algebrát
RészletesebbenArról, ami nincs A nemlétezés elméletei. 8. Nemlétezőkre vonatkozó mondatok november 4.
Arról, ami nincs A nemlétezés elméletei 8. Nemlétezőkre vonatkozó mondatok 2013. november 4. Tanulságok a múlt óráról A modern szimbolikus logika feltárja a kifejezések valódi szerkezetét, ami nem azonos
RészletesebbenArról, ami nincs A nemlétezés elméletei. 7. A modern logika és a létezés október 21.
Arról, ami nincs A nemlétezés elméletei 7. A modern logika és a létezés 2013. október 21. Ismétlés Az ontológiai istenérv modern kritikája: a létezés nem tulajdonság nem lehet feltenni a kérdést, hogy
RészletesebbenMagyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László
MATEMATIKAI LOGIKA A gondolkodás tudománya Diszkrét matematika Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey,
RészletesebbenLOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.
MATEMATIKAI A gondolkodás tudománya Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey, Tarski, Ramsey, Russel,
RészletesebbenSzemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs rendszerek fejlesztését az elosztott információs környezetben.
RészletesebbenA logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.
LOGIKA A logika tudománnyá válása az ókori Görögországban kezdődött. Maga a logika szó is görög eredetű, a logosz szó jelentése: szó, fogalom, ész, szabály. Már az első tudósok, filozófusok, és politikusok
RészletesebbenMemo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.
Untitled 2 1 Theorema Predikátumlogika 1 3 Natural Deduction (Gentzen mag/alap kalkulus) Cél: a logikai (szematikai) következményfogalom helyett a (szintaktikai) levethetõség vizsgálata. A bizonyítási
RészletesebbenOntológiák, 2. Leíró logikák. Kooperáció és intelligencia, DT-MT, BME-MIT
Ontológiák, 2. Leíró logikák Célkitűzés egy jó logikai apparátus kategóriák, nem az a lényeges, hogy objektumokból állnak, amiket változókkal kellene követni (kvantor nem kell) lényeges a hierarchia, öröklődés,
RészletesebbenGÖDEL NEMTELJESSÉGI TÉTELEI
Torkel Franzén GÖDEL NEMTELJESSÉGI TÉTELEI ÉRTELMEZÉSEK ÉS FÉLREÉRTÉSEK TARTALOM Előszó 9 1. Bevezetés 11 1.1. A nemteljességi tétel 11 1.2. Gödel élete és műve 16 1.3. A könyv hátralévő része 20 2. A
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Problémamegoldás kereséssel ha sötétben tapogatózunk Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade
RészletesebbenModellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális vagy félformális tervek Informális követelmények Formális modell: KS, LTS, TA
RészletesebbenKaposi Ambrus. Informatikai Kar. Pannonhalmi Bencés Gimnázium november 24.
Bizonyítás és programozás Kaposi Ambrus Eötvös Loránd Tudományegyetem Informatikai Kar Pannonhalmi Bencés Gimnázium 2017. november 24. A tökéletes operációs rendszer (i) BeOS Plan9 2 / 22 A tökéletes operációs
RészletesebbenLogikai ágens, lehetőségek és problémák 2
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Mesterséges Intelligencia - MI Logikai ágens, lehetőségek és problémák 2 Előadó: Hullám Gábor Pataki Béla
RészletesebbenA logika története ott kezdődik, ahol elkezdenek gondolkodni a helyes következtetési formákról.
A MATEMATIKAI LOGIKA TÖRTÉNETE A logika eredetileg a filozófia részeként jelent meg a tudományok sorában. Az i. e. 5. századtól kezdtek terjedni a tisztán emberi gondolkodáson alapuló logikai bizonyítások.
RészletesebbenSzemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs rendszerek fejlesztését az elosztott információs környezetben.
RészletesebbenModellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális vagy félformális tervek Informális követelmények Formális modell: KS, LTS, TA
Részletesebben2. Fejezet : Számrendszerek
2. Fejezet : Számrendszerek The Architecture of Computer Hardware and Systems Software: An Information Technology Approach 3. kiadás, Irv Englander John Wiley and Sons 2003 Wilson Wong, Bentley College
Részletesebben1. előadás: Halmazelmélet, számfogalom, teljes
1. előadás: Halmazelmélet, számfogalom, teljes indukció Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető,
RészletesebbenGondolkodás, problémamegoldás
A megismerési folyamatok rendszere Gondolkodás, problémamegoldás Gondolkodás - elsajátított megoldásmódok, következtetések, problémamegoldás Képzelet - információ módosítása, átalakítása, alkotása Tanulás
RészletesebbenSzemantikus Technológia
Szemantikus Technológia Kornai András BME MOKK és MetaCarta Inc., Cambridge, MA HLT-PLATFORM 2008. december 2. Az előadás terve Mitől szemantikus egy technológia? A szemantikus web Eleve mi az a szemantika?
RészletesebbenMit tud nyújtani neked a Mesterséges Intelligencia?
Mit tud nyújtani neked a Mesterséges Intelligencia? És mit tud nyújtani neked a te természetes intelligenciád? Percepciós intelligencia Alakzatok felismerése Mozgásminták felismerése és elsajátítása Tájékozódás
RészletesebbenSZABAD BÖLCSÉSZET ALAPKÉPZÉSI SZAK
Indított specializációk: Képzési terület, képzési ág: Képzési ciklus: Képzési forma (tagozat): A szakért felelős kar: Képzési idő: SZABAD BÖLCSÉSZET ALAPKÉPZÉSI SZAK Filozófia, Esztétika, Etika, Vallástudomány,
RészletesebbenA NEVELÉSTUDOMÁNY NEMZETKÖZI MODELLJEI ÉS TUDOMÁNYOS IRÁNYZATAI. Németh András Eötvös Loránd Tudományegyetem, Neveléstudományi Intézet
MAGYAR PEDAGÓGIA 115. évf. 3. szám 255 294. (2015) DOI: 10.17670/MPed.2015.3.255 A NEVELÉSTUDOMÁNY NEMZETKÖZI MODELLJEI ÉS TUDOMÁNYOS IRÁNYZATAI Németh András Eötvös Loránd Tudományegyetem, Neveléstudományi
Részletesebbenmatematikus-informatikus szemével
Ontológiák egy matematikus-informatikus szemével Szeredi Péter Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi és Információelméleti Tanszék ➀ Mi az ontológia, mire jó, hogyan csináljuk?
RészletesebbenMatematikai logika. Jegyzet. Összeállította: Faludi Anita 2011.
Matematikai logika Jegyzet Összeállította: Faludi Anita 2011. Tartalomjegyzék Bevezetés... 3 Előzmények... 3 Augustus de Morgan (1806-1871)... 3 George Boole(1815-1864)... 3 Claude Elwood Shannon(1916-2001)...
RészletesebbenA mesterséges intelligencia alapjai, alapelvek
Források: Stanford University Artifical Intelligence course: www.ai-class.com Alison Cawsey: Mesterséges Intelligencia, Panem könyvkiadó 2002, ISBN 9635452853 Stuart Russel és Peter Norvig: Mesterséges
RészletesebbenFormális módszerek GM_IN003_1 Program verifikálás, formalizmusok
Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok Program verifikálás Konkurens programozási megoldások terjedése -> verifikálás szükséges, (nehéz) logika Legszélesebb körben alkalmazott
RészletesebbenA TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Történelem és Filozófia 1.3 Intézet Magyar Filozófiai Intézet 1.4 Szakterület Filozófia
RészletesebbenWittgenstein két fő műve
Szakdolgozat Eötvös Lóránd Tudományegyetem Bölcsészettudományi Kar Filozófia szak Írta: Szecsődy Kristóf Témavezető: Faragó-Szabó István egyetemi docens 2010. Tartalom 1. Bevezetés 3. o. 2. Wittgenstein
RészletesebbenFERENCZI MIKLÓS MATEMATIKAI LOGIKA
MATEMATIKAI LOGIKA FERENCZI MIKLÓS MATEMATIKAI LOGIKA MŰSZAKI KÖNYVKIADÓ BUDAPEST Megjelent az Oktatási Minisztérium támogatásával, a Felsőoktatási Pályázatok Irodája által lebonyolított Felsőoktatási
RészletesebbenBonyolultságelmélet. Monday 26 th September, 2016, 18:28
Bonyolultságelmélet Monday 26 th September, 2016, 18:28 A kurzus teljesítési követelményei 2 Gyakorlat Három kisdolgozat 6 6 pontért kb. a 4., 7. és 10. gyakorlaton Egy nagydolgozat 28 pontért utolsó héten
RészletesebbenLogikai ágensek. Mesterséges intelligencia március 21.
Logikai ágensek Mesterséges intelligencia 2014. március 21. Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok
RészletesebbenTUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA
TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi
RészletesebbenÓbudai Egyetem Neumann János Informatikai Kar. Intelligens Mérnöki Rendszerek Intézet
Óbudai Egyetem Neumann János Informatikai Kar Intelligens Mérnöki Rendszerek Intézet 1034 Budapest, Bécsi út 96/B Tel., Fax:1/666-5544,1/666-5545 http://nik.uni-obuda.hu/imri Az 2004-ben alakult IMRI (BMF)
Részletesebben1. A Hilbert féle axiómarendszer
{Euklideszi geometria} 1. A Hilbert féle axiómarendszer Az axiómarendszer alapfogalmai: pont, egyenes, sík, illeszkedés (pont egyenesre, pont síkra, egyenes síkra), közte van reláció, egybevágóság (szögeké,
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Valószínűségi hálók - alapok Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade A szükséges
Részletesebben2. A példahalmazban n = 3 negatív és p = 3 pozitív példa van, azaz a példahalmazt képviselő döntési fa információtartalma: I = I(1/2, 1/2) = 1 bit.
Példa 1. Döntési fa számítása/1 1. Legyen a felhasználandó példahalmaz: Példa sz. Nagy(x) Fekete(x) Ugat(x) JóKutya(x) X1 Igen Igen Igen Nem X2 Igen Igen Nem Igen X3 Nem Nem Igen Nem X4 Nem Igen Igen Igen
RészletesebbenKognitív módszerek a vallástudományban és a hebraisztikában
Kognitív módszerek a vallástudományban és a hebraisztikában Biró Tamás 2015. szeptember 16.: A hatvanas évek kognitív forradalma Praktikus dolgok: A kurzus honlapja: http://birot.web.elte.hu/courses/2015-csr/
RészletesebbenS0-02 Típusmodellek (Programozás elmélet)
S0-02 Típusmodellek (Programozás elmélet) Tartalom 1. Absztrakt adattípus 2. Adattípus specifikációja 3. Adattípus osztály 4. Paraméterátadás 5. Reprezentációs függvény 6. Öröklődés és polimorfizmus 7.
RészletesebbenMi a mesterséges intelligencia? Történeti áttekintés. Mesterséges intelligencia február 21.
Mi a mesterséges intelligencia? Történeti áttekintés Mesterséges intelligencia 2014. február 21. Bevezetés Homo sapiens = gondolkodó ember Gondolkodás mint az emberi faj sajátja Hogyan gondolkozunk? Hogyan
RészletesebbenONTOLÓGIA és TUDÁSREPREZENTÁCIÓ
ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ Szıts Miklós Alkalmazott Logikai Laboratórium szots@all.hu ONTOLÓGIA mi az? a formal specification of a shared conceptualization a logical theory which gives an explicit,
RészletesebbenÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai
RészletesebbenBudapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék. Neurális hálók. Pataki Béla
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Neurális hálók Előadó: Előadás anyaga: Hullám Gábor Pataki Béla Dobrowiecki Tadeusz BME I.E. 414, 463-26-79
RészletesebbenJaakko Hintikka filozófus. A finn születésű, Amerikában él, a Boston University filozófia tanszékén oktat.
Jaakko Hintikka A fogalom mint látvány: a reprezentáció problémája a modern művészetben és a modern filozófiában Jaakko Hintikka filozófus. A finn születésű, Amerikában él, a Boston University filozófia
RészletesebbenBEVEZETÉS A PSZICHOLÓGIÁBA
BEVEZETÉS A PSZICHOLÓGIÁBA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén, az ELTE Közgazdaságtudományi Tanszék, az
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Valószínűségi hálók - következtetés Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade Következtetés
RészletesebbenKurzuskód Kurzus címe, típusa (ea, sz, gy, lab, konz stb.) Tárgyfelelős Előfeltétel (kurzus kódja) típusa
Az Intézet minden előadás és gyakorlatból álló tárgyánál az előadás és a gyakorlat párhuzamos felvétele, az előadások vizsgáinak a gyakorlat teljesítettsége feltétel. Szak neve: Programtervező informatikus
Részletesebbení ö í í ú ű í í í ú í ű í Ü ö ö ö ü ö ö ö í ö ö ö ö Ö Á ö ö É ö ö ú ú ö ö ú ö í Á Á ö Ü Ú í ÁÁ ö í ö í í ú ű í ö ö í ú É í ű í ö ö É í í ű í ű í É í í ü ű ü ű í Á Á í ü í ü í ü ö ű ö É ü É ú Á Ó í í í
RészletesebbenÖ ü ö ü Ö Ö ü ú ó ü ö ö Ö ó Ö ö ú ö ó ö ö ó ö ö ö í í ö ö ü ü ö í ü ö ö í ö í ó ü ö ö í ü í ö í ü ú ü ö Ö ü ö ű ó í ó ó ó ö í ü ó ó ó ö ö ó ö í ó ü ó ó ö ö ü ó ö ö ó ó ó ü ü ó ó ö ö ü í ö ű ö ű ö ö ű í
RészletesebbenIntelligens Elosztott Rendszerek. Dobrowiecki Tadeusz és Eredics Péter, Gönczy László, Pataki Béla és Strausz György közreműködésével
Intelligens Elosztott Rendszerek Dobrowiecki Tadeusz és Eredics Péter, Gönczy László, Pataki Béla és Strausz György közreműködésével A mai előadás tartalma Mi is egy rendszer? Mit jelent elosztottnak lenni?
RészletesebbenA számolás és a számítástechnika története. Feladat:
A számolás és a számítástechnika története Kezdetektől, a huszadik század közepéig Feladat: Milyen eszközöket használtak a számoló/számítógépek megjelenése elo tt a számolás segítésére? Kik készítettek
RészletesebbenBonyolultságelmélet. Monday 26 th September, 2016, 18:27. Bonyolultságelmélet
Monday 26 th September, 2016, 18:27 A kurzus teljesítési követelményei Gyakorlat Három kisdolgozat 6 6 pontért kb. a 4., 7. és 10. gyakorlaton Egy nagydolgozat 28 pontért utolsó héten előadáson Pontszám:
RészletesebbenMYCIN. Szakértői rendszer
MYCIN Szakértői rendszer Általában mycin: gombafajból nyert antibiotikum (görög) Pl: kanamycin, tobramycin, streptomycin, stb Általában szakértői rendszer vér fertőzéseinek, gyógykezeléseknek meghatározását
RészletesebbenIntelligens beágyazott rendszer üvegházak irányításában
P5-T6: Algoritmustervezési környezet kidolgozása intelligens autonóm rendszerekhez Intelligens beágyazott rendszer üvegházak irányításában Eredics Péter, Dobrowiecki P. Tadeusz, BME-MIT 1 Üvegházak Az
RészletesebbenDiszkrét matematika I.
Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 2. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Matematikai logika Diszkrét matematika I. középszint
RészletesebbenA záró rendezvény programja
Mesterséges Intelligencia Elektronikus Almanach TÁMOP-4.1.2-08/2/A/KMR-2009-00260026 Projektzáró rendezvény 2011. november. 24., 9h-11h BME, Q. ép., QBF13 1 A záró rendezvény programja I. Mesterséges Intelligencia
RészletesebbenA JOGI NYELV NYELVÉSZETI MEGKÖZELÍTÉSE VINNAI EDINA
Sectio Juridica et Politica, Miskolc, Tomus XXVIII. (2010). pp. 145-171 A JOGI NYELV NYELVÉSZETI MEGKÖZELÍTÉSE VINNAI EDINA Ebben a tanulmányban arra vállalkozom, hogy bemutassam azt a nyelvészeti hátteret,
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Problémamegoldás kereséssel - lokális információval Pataki Béla Bolgár Bence BME I.E. 414, 463-26-79 pataki@mit.bme.hu, http://www.mit.bme.hu/general/staff/pataki Rugó tervezése
RészletesebbenÍtéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
Részletesebbené ö é Ö é ü é é ö ö ö ü é é ö ú ö é é é Ő ö é ü é ö é é ü é é ü é é é ű é ö é é é é é é é ö ö í é ü é ö ü ö ö é í é é é ö ü é é é é ü ö é é é é é é é é é é é é é é é ö é Í ö í ö é Í í ö é Í é í é é é é
RészletesebbenLogikai ágensek. Gyenge Csilla
Logikai ágensek Gyenge Csilla Tartalom Bevezetés az ágensek világába Az ágens szó eredete Az ágensekről általánosan A logikai ágens Átfogó ismertetés A Wumpus világ Reprezentáció, következtetés Ítélet-logika
RészletesebbenA nyelvészet története. 2007. okt. 15. Communicatio PhD, A nyelv rendszere
A nyelvészet története 2007. okt. 15. Communicatio PhD, A nyelv rendszere Ókor A nyelv romlása Ókori India: vallási szempontból elfogathatatlan a nyelv változása (eltérés a Védáktól) Nyelvészt célja: az
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenMesterséges Intelligencia Elektronikus Almanach. Konzorciumi partnerek
Mesterséges Intelligencia Elektronikus Almanach Konzorciumi partnerek 1 Konzorcium Budpesti Mőszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Méréstechnika és Információs Rendszerek
RészletesebbenRendszer szekvencia diagram
Rendszer szekvencia diagram Célkitűzések A rendszer események azonosítása. Rendszer szekvencia diagram készítése az eseményekre. 2 1.Iteráció Az első igazi fejlesztési iteráció. A projekt kezdeti szakaszában
RészletesebbenThe Architecture of Computer Hardware and Systems Software: An InformationTechnology Approach 3. kiadás, Irv Englander John Wiley and Sons 2003
. Fejezet : Számrendszerek The Architecture of Computer Hardware and Systems Software: An InformationTechnology Approach. kiadás, Irv Englander John Wiley and Sons Wilson Wong, Bentley College Linda Senne,
RészletesebbenHatékony technikák modellellenőrzéshez: Korlátos modellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Hatékony technikák modellellenőrzéshez: Korlátos modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Hol tartunk most? Alacsony szintű formalizmusok (KS, LTS, KTS)
RészletesebbenFILOZÓFIA I. FÉLÉV 1. ELŐADÁS SZEPT. 11. MI A FILOZÓFIA?
FILOZÓFIA 2014-15. I. FÉLÉV 1. ELŐADÁS 2014. SZEPT. 11. MI A FILOZÓFIA? MI A FILOZÓFIA? FILOZÓFIA - A BÖLCSESSÉG SZERETETE NEM A BIRTOKLÁSA, HANEM CSAK A SZERETETE. MIT JELENT ITT A BÖLCSESSÉG? 1. SZENT
RészletesebbenKurzus címe, típusa (ea, sz, gy, lab, konz stb.) Tárgyfelelős Előfeltétel (kurzus kódja) Előfeltétel típusa
Az Intézet minden előadás és gyakorlatból álló tárgyánál az előadás és a gyakorlat párhuzamos felvétele, az előadások vizsgáinak a gyakorlat teljesítettsége feltétel. Szak neve: Programtervező informatikus
RészletesebbenElsőrendű logika. Mesterséges intelligencia március 28.
Elsőrendű logika Mesterséges intelligencia 2014. március 28. Bevezetés Ítéletkalkulus: deklaratív nyelv (mondatok és lehetséges világok közti igazságrelációk) Részinformációkat is kezel (diszjunkció, negáció)
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Keresés ellenséges környezetben Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade Ellenség
RészletesebbenAlgoritmusok Tervezése. Fuzzy rendszerek Dr. Bécsi Tamás
Algoritmusok Tervezése Fuzzy rendszerek Dr. Bécsi Tamás Bevezetés Mese a homokkupacról és a hidegről és a hegyekről Bevezetés, Fuzzy történet Két értékű logika, Boole algebra Háromértékű logika n értékű
RészletesebbenAlternatív gyógyászat
Alternatív gyógyászat BEVEZETÉS 1 Nyugati orvostudomány Keletkezés: 200 éve (Jenner - himlő vakcina: 1798) Jellemzője: tudományos módszer az állítások kísérletes bizonyítása Hiányosságai: nem hatékony,
RészletesebbenInformáció megjelenítés Alapok
Információ megjelenítés Alapok Szavak és képek Duális kódolás elmélete (Paivio) Szerkezetek Vizuális Vizuális Rendszer Képi információ Imagens Nem-verbális válasz Szóbeli Halló Rendszer Információ beszédből
RészletesebbenMAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY
MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY Tantárgy neve: BBNMT00300 Fonetika 3 A tantárgy célja, hogy az egyetemi tanulmányaik kezdetén levő magyar szakos hallgatókat megismertesse
RészletesebbenMesterséges Intelligencia házifeladat. Programs with Common Sense (John McCarthy cikke)
Gruber Kristóf YCN70J Mesterséges Intelligencia házifeladat Programs with Common Sense (John McCarthy cikke) 2006.12.10. John McCarthy-ról A cikk leírása előtt mindenképpen érdemes pár szót ejtenünk a
Részletesebbenhttp://mobil.nik.bmf.hu/tantargyak/ire.html Felhasználónév: ire jelszó: IRE07 Követelmények
Intelligens Rendszerek Elmélete dr. Kutor László Az első óra anyaga: A biológiai és mesterséges intelligencia fogalom gyökerei, intelligencia elméletek. Az intelligencia mérése. A mesterséges intelligencia
Részletesebben