VFLP-l

vflp-l@cs.bme.hu

23 discussions

by Peter Szeredi

Kedves Demonstratorok, Prolog irant erdeklodok! Frissitettem a honlapon a TDK, diploma, stb. temak kiirasat. http://cs.bme.hu/~szeredi/oktatas/temak08s.txt Most mar tenyleg itt a nyar, de hatha valakit lazba hoz valamelyik tema, es szivesen foglalkozna vele nyaron, osszel, telen. Ha valakivel ez a fura esemeny megtortenik, kerem jelentkezzen! Vagy ha valakinek van olyan ismerose, akit ez erdekelhet, kerem tovabbitsa a linket. Az uj temakat (DLog rendszer) idemasolom az uzenet vegere is, hogy konnyebb legyen elolvasnotok. Udv, Peter --------------------------------------------------------------------------- Önálló labor, TDK és diploma-munka (egységesen: munka) témák Szeredi Péter, SZIT 2008. június 1. A DLog leíró logikai (LL) következtetõ rendszer fejlesztése A DLog egy SHIQ nyelvet támogató adatdoboz következtetõ rendszer, amely Prologban készült és a LL tudásbázist Prolog kódra fordítja. A SHIQ adatdoboz következtetõ rendszerek között -- a DLog szerzõi tudomása szerint -- számos szabványos tesztre a DLog leggyorsabb következtetõ rendszer. 1.1. A DLog kiterjesztése hatékony adatbázis interfészekkel A DLog rendszer egyik elõnye a többi LL adatboboz következtetõ rendszerhez képest az hogy a kérdések megválaszolásához szükséges adatállításokat (az adatdoboz tartalmát) elvben képes egy hagyományos relációs adatbázisból kinyerni. Ebben a megközelítésben az LL tudásbázis adatfüggetlen részébõl készítünk Prolog programot, amelynek futása során dinamikusan érjük el az adatbázis tartalmát. A munka során fel kell készíteni a DLog rendszert arra, hogy adatbázisokhoz tudjon kapcsolódni. Elsõ lépésként ki kell bõvíteni a különféle bementi interfészeket annak érdekében, hogy specifikálni lehessen melyik adatbázis tartalmazza az adatdoboz tartalmát és azt milyen módon (felhasználónév, jelszó, protokoll stb.) lehet elérni. Szükséges lehet egy leképezés megadása is, amely összerendeli az adatbázisban található táblaneveket az LL tudásbázis terminológiai részében szereplõ atomi fogalomnevekkel. Második lépésként át kell alakítani a generált Prolog programot annak megfelelõen, hogy bizonyos célok/célok csoportjai adatbázislekérdezésekké fognak fordulni. Ez az átalakítás alapvetõen klóztörzsek sorrendezését és az abban található célok megfelelõ összevonását jelenti, de kiterjedhet több klóz összevonására is. Végül létre kell hozni azt az interfészt, amelyen keresztül a generált Prolog program futása során eléri az adatbázis tartalmát. Egy-egy ilyen adatbázislekérdezés bonyolultsága a konkrét Prolog kérdéstõl függ: bizonyos esetekben, például Prolog célok egy csoportjának egyidejû lekérdezésekor, komplexebb joint tartalmazó kérdések generálása is szükséges lehet. 1.2. A DLog kiterjesztése táblázással A Leíró Logikai kérdések megválaszolása a DLog rendszerben egy hagyományos Prolog végrehajtás során történik. Ennek egyik jellemzõje az, hogy a futás során már bebizonyított részcélokat adott esetben újra megpróbáljuk bebizonyítani. A DLog rendszer jelenleg is alkalmaz számos technikát (tömörítés, projekció), amelyek orvosolják a fenti probléma bizonyos elõfordulásait. Számos esetben ugyanakkor még mindig feleslegesen foglalkozunk olyan célokkal, amelyek megoldását már korábban kiszámítottuk. Az általános Prolog megoldás, a táblázás, közvetlenül sajnos nem használható, mert a DLog végrehajtás során használt ún. õs-rezolúció eredményekébben egy cél végrehajtása nem környezetfüggetlen, hanem függ attól, hogy milyen õsei vannak a Prolog végrehajtási fában. A munka során meg kell ismerni a létezõ táblázási megoldásokat és adaptálni kell Prolog és DLog környezethez. 1.3. A DLog párhuzamos és elosztott megvalósításai A Prolog végrehajtás -- a klasszikus imperatív nyelvekkel ellentétben -- könnyen párhuzamosítható. Ráadásul ez _implicit módon_ is elvégezhetõ, azaz úgy, hogy a Prolog programozónak nem is kell tudnia arról, hogy több processzor hajtja végre a programot. Többféle módon is párhuzamosítható a Prolog: a legismertebbek az ún. vagy-párhuzamosság, amikoris a keresési tér különbözõ ágait egyszerre dolgozzuk fel, illetve az és-párhuzamosság, amikor egy célsorozat különbözõ részcéljait futtatjuk párhuzamosan. A munka során elsõsorban a vagy-párhuzamosság kiaknázásán dolgozunk a DLog rendszer által generált Prolog kód esetén. Mivel ez sokkal egyszerûbb, mint az általános Prolog programok, számos egyszerûsítésre van lehetõség az ismert Prolog technikákhoz képest. Célunk egy olyan DLog változat elkészítése amely több processzor/mag illetve hálozatba kapcsolt számítógépek felhasználásával lényegesen gyorsabban oldja meg az adatdoboz következtetési feladatokat, mint az egyprocesszoros rendszer. 1.4. A DLog T-doboz következtetõ komponensének továbbfejlesztése Ezen modul célja, hogy a T-dobozban szereplõ axiómákat minél egyszerûbb formájú szabályokká alakítsa. Tesszük ezt azért, hogy a késõbbi adatkövetkeztetés során már ne kelljen a T-doboz axiómái közötti összefüggésekkel foglalkozni, és fókuszált, lekérdezés-vezérelt következtetést tudjunk végezni. A munka során meg kell ismerkedni a DLog-ban mûködõ következtetési algoritmussal, mely bizonyos mértékben igényli az elsõrendû rezolúciós tételbizonyítással valamint a leíró logikákhoz kifejlesztett tabló algoritmussal való barátkozást is. Ezután közösen azon dolgozunk, hogy hatékonyabbá tegyük a következtetést: ideálisan úgy, hogy a gép nagyjából azt csinálja, amit egy ember is csinálna. Fontos az érdektelen következtetési ágak minél korábbi felismerése, de bátran elõ lehet állni radikálisan új módszerekkel is egyes részfeladatokhoz, vagy akár az egész következtetéshez. A munkának van egy elméleti, matematikai része valamint egy implementációs része, melyhez a Prolog nyelvet használjuk. Az egyetlen igazi követelmény a matematikai gondolkodás iránti hajlandóság és a lelkesedés.

16 years, 10 months

laptop

by Ringhofer Csaba

Szia! Tudsz holnap hozni laptopot? Prolog és C kéne rá. Csaba

17 years, 5 months

mult heti prezentacio

by Imre Kocsis

Szervusztok, a megbeszéltek szerint csatolva küldöm a múlt heti előadásom fóliáit. Üdv Imre --------------------------------------------------------------------------- Imre Kocsis PhD student Fault Tolerant Systems Research Group Department of Measurement and Information Systems Budapest University of Technology and Economics mail: ikocsis(a)mit.bme.hu phone: +36-1-463-2006 mobile: +36-20-514-6881 skype: kocsis_imre

17 years, 5 months

A szeminarium idobeosztasa

by Peter Szeredi

Kedves Mindnyajan! A tegnapi alkalommal a kovetkezo eloadasokat beszeltuk meg: nov 14 Edina vagy Kocsis Imre nov 21 Kocsis Imre vagy Edina nov 28 Mako Imre dec 5 Csaba dec 12 Zaro alkalom Edina, remelem mar jobban vagy, es a jovo vagy azutani heten meg tudod tartani a szeminariumi eloadasodat. Ha jovo hetre meg nem realis, hogy felepulj es felkeszulj, akkor halasszuk el nov 21-re. Kerlek minel elobb ird meg, hogy mikor szeretned megtartani az eloadast, hogy Imre tudja, hogy mikorra keszuljon. Udvozlettel, Peter

17 years, 5 months

eloadas

by Varga Edina

Nem tudtam felkeszulni az eloadasra, szuksegem van meg egy hetre.

17 years, 6 months

Udvozlet

by Peter Szeredi

Sziasztok! Udvozollek a VFLP levlistan. A temalistat csatolom. A fordito kodja letoltheto innen: http://dp.iit.bme.hu/prolog/compiler.zip A megbeszelt szerdai idopontok (best first): 10-12 12-14 16-18 Mako Imre, kerlek valaszd ki a neked is megfelelot es ird meg a listara. Varom as izgalmas kerdeseket, megjegyzeseket a levlistan. Peter

17 years, 7 months

[Off topic] Munka ill. allaslehetoseg

by Peter Szeredi

Kedves Mindnyajan! Tovabbitom az alabbi levelet, ha valakit erdekel, keresse Langer Tamas muszaki igazgatot. Az Alerantot jo szivvel tudom ajanlani, Tamast 40 eve ismerem. Udv, Peter --------------------------------------------------------------------------- From: Langer Tamás [mailto:langer.tamas@alerant.hu] Sent: Monday, April 02, 2007 11:09 AM To: 'szeredi(a)cs.bme.hu' Subject: RE: Jo diak Kedves Péter! 1, Mst webservice-ek dokumentálására és egyéb kisebb, végzõs diák által végezhetõ érdekes és esetlegesen hosszabb kifutású munkára keresünk április 10-tõl kb. június 5-ig valakit. Persze nem hátrány ha a jelölt már hallott SOA-ról vagy valamilyen nagyvállalati alkalmazásintegrációs környezetrõl, és használt már J2EE-t, XML-t, modellezési formalizmust, de ennél is fontosabb az agilitás, önállóság, jó kommunikáció és csapatmunka, valamint a lelkes érdeklõdés. És ebbõl kinõhet hosszabb távú kapcsolat. 2, Megjelenünk a Mûegyetemi állásbörzén. Mellékelem az Állásbörze kiadványban megjelenõ oldalunkat, illetve az alábbi linken vagyunk megtalálható http://www.allasborze.bme.hu/kiallitok/info.php?id=56 és természetesen www.alerant.hu --------------------------------------------------------------------------- Az Állásbörze kiadványban megjelenõ oldal letoltheto innen: http://www.cs.bme.hu/~szeredi/depo/ALERANT.PDF

18 years

[hanak@inf.bme.hu (Hanak Peter)] dp07s: modositott kovetelmenyek, konzulensek, demonstratorok kerestetnek

by Peter Szeredi

Kedves Mindnyajan! Demonstratorokat keresunk a DP targyhoz, a kovetkezo es az azt koveto felevekre. Orulnenk, ha tudnatok ebben segiteni nekunk. Kerem, hogy fontoljatok meg, es pozitiv valasz eseten irjatok Hanak Peternek. Udv, Szeredi Peter Ui. Elnezest, ha valaki tobbszor kapja meg ezt a levelet.

18 years, 3 months

Jegyek beirasa

by Peter Szeredi

Kedves mindnyajan! En nem latom a VFLP targyat a Neptunon :-(. Ti latjatok? -Peter

18 years, 3 months

nov 30.-i szeminarium elmarad

by Peter Szeredi

Kedves Mindnyajan! Balazs keresere a most csutortoki szeminarium elmarad. Balazs dec 7-en beszel majd a parhuzamos Prologokrol, Csaba pedig dec 14-en a termeszetesnyelv-feldolgozasrol. Majd megbeszeljunk, hogy hogyan potoljuk az elmaradt orat. -SzP

18 years, 5 months

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

VFLP-l