Mesterséges Intelligencia MI

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Mesterséges Intelligencia MI"

Á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 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észletesebben

Logika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?

Logika é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észletesebben

Az irodalomtudomány alapjai. Anglisztika alapszak Germanisztika alapszak

Az 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észletesebben

Logikai ágens, lehetőségek és problémák

Logikai á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észletesebben

Szakadá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. 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észletesebben

Ontológiák, 1. Kooperáció és intelligencia, BME-MIT

Ontoló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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

A LOGIKA ELEMEI. Bóta László

A 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észletesebben

Elektronikus Almanach

Elektronikus 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észletesebben

Kijelentéslogika, ítéletkalkulus

Kijelenté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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

Bevezeté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 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észletesebben

Matematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek

Matematikai 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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

2019/02/11 10:01 1/10 Logika

2019/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észletesebben

Arró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 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észletesebben

Arró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 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észletesebben

Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László

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 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észletesebben

LOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.

LOGIKA. 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észletesebben

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

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 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észletesebben

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

A 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észletesebben

Memo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.

Memo: 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észletesebben

Ontológiák, 2. Leíró logikák. Kooperáció és intelligencia, DT-MT, BME-MIT

Ontoló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észletesebben

GÖDEL NEMTELJESSÉGI TÉTELEI

GÖ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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

Modellellenő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 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észletesebben

Kaposi Ambrus. Informatikai Kar. Pannonhalmi Bencés Gimnázium november 24.

Kaposi 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észletesebben

Logikai ágens, lehetőségek és problémák 2

Logikai á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észletesebben

A logika története ott kezdődik, ahol elkezdenek gondolkodni a helyes következtetési formákról.

A 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észletesebben

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

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 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észletesebben

Modellellenő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 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észletesebben

2. Fejezet : Számrendszerek

2. 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észletesebben

1. előadás: Halmazelmélet, számfogalom, teljes

1. 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észletesebben

Gondolkodás, problémamegoldás

Gondolkodá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észletesebben

Szemantikus Technológia

Szemantikus 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észletesebben

Mit tud nyújtani neked a Mesterséges Intelligencia?

Mit 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észletesebben

SZABAD BÖLCSÉSZET ALAPKÉPZÉSI SZAK

SZABAD 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észletesebben

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 Intézet

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 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észletesebben

matematikus-informatikus szemével

matematikus-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észletesebben

Matematikai logika. Jegyzet. Összeállította: Faludi Anita 2011.

Matematikai 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észletesebben

A mesterséges intelligencia alapjai, alapelvek

A 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észletesebben

Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok

Formá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észletesebben

A TANTÁRGY ADATLAPJA

A 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észletesebben

Wittgenstein két fő műve

Wittgenstein 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észletesebben

FERENCZI MIKLÓS MATEMATIKAI LOGIKA

FERENCZI 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észletesebben

Bonyolultságelmélet. Monday 26 th September, 2016, 18:28

Bonyolultsá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észletesebben

Logikai ágensek. Mesterséges intelligencia március 21.

Logikai á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észletesebben

TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA

TUDOMÁ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 Ó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észletesebben

1. A Hilbert féle axiómarendszer

1. 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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

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

2. 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észletesebben

Kognitív módszerek a vallástudományban és a hebraisztikában

Kognití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észletesebben

S0-02 Típusmodellek (Programozás elmélet)

S0-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észletesebben

Mi 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 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észletesebben

ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ

ONTOLÓ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 (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észletesebben

Budapesti 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. 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észletesebben

Jaakko Hintikka filozófus. A finn születésű, Amerikában él, a Boston University filozófia tanszékén oktat.

Jaakko 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észletesebben

BEVEZETÉS A PSZICHOLÓGIÁBA

BEVEZETÉ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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

Kurzuskód Kurzus címe, típusa (ea, sz, gy, lab, konz stb.) Tárgyfelelős Előfeltétel (kurzus kódja) típusa

Kurzuskó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észletesebben

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

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 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észletesebben

A 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. 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észletesebben

Bonyolultságelmélet. Monday 26 th September, 2016, 18:27. Bonyolultságelmélet

Bonyolultsá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észletesebben

MYCIN. Szakértői rendszer

MYCIN. 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észletesebben

Intelligens beágyazott rendszer üvegházak irányításában

Intelligens 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észletesebben

Diszkrét matematika I.

Diszkré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észletesebben

A záró rendezvény programja

A 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észletesebben

A JOGI NYELV NYELVÉSZETI MEGKÖZELÍTÉSE VINNAI EDINA

A 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észletesebben

Logika és informatikai alkalmazásai

Logika é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észletesebben

Mesterséges Intelligencia MI

Mestersé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. 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észletesebben

Logikai ágensek. Gyenge Csilla

Logikai á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észletesebben

A 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 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észletesebben

Logika és informatikai alkalmazásai

Logika é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észletesebben

Mesterséges Intelligencia Elektronikus Almanach. Konzorciumi partnerek

Mestersé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észletesebben

Rendszer szekvencia diagram

Rendszer 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észletesebben

The Architecture of Computer Hardware and Systems Software: An InformationTechnology Approach 3. kiadás, Irv Englander John Wiley and Sons 2003

The 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észletesebben

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

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 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észletesebben

FILOZÓFIA I. FÉLÉV 1. ELŐADÁS SZEPT. 11. MI A FILOZÓFIA?

FILOZÓ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észletesebben

Kurzus címe, típusa (ea, sz, gy, lab, konz stb.) Tárgyfelelős Előfeltétel (kurzus kódja) Előfeltétel típusa

Kurzus 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észletesebben

Elsőrendű logika. Mesterséges intelligencia március 28.

Első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észletesebben

Mesterséges Intelligencia MI

Mestersé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észletesebben

Algoritmusok Tervezése. Fuzzy rendszerek Dr. Bécsi Tamás

Algoritmusok 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észletesebben

Alternatív gyógyászat

Alternatí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észletesebben

Információ megjelenítés Alapok

Informá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észletesebben

MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY

MAGYAR 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észletesebben

Mesterséges Intelligencia házifeladat. Programs with Common Sense (John McCarthy cikke)

Mestersé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észletesebben

http://mobil.nik.bmf.hu/tantargyak/ire.html Felhasználónév: ire jelszó: IRE07 Követelmények

http://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