1. Sorolja fel a számítástechnikának azokat a fejlődési jellemzőit, amik az autonóm rendszerek fejlesztésének igényét létrehozták!

Átírás

1 1. Sorolja fel a számítástechnikának azokat a fejlődési jellemzőit, amik az autonóm rendszerek fejlesztésének igényét létrehozták! 1. mindenütt jelen levőség (ubiquity) a számítási kapacitás árának csökkenése olyan helyeken is lehetővé teszi a feldolgozó egységek alkalmazását, ahol korábban nem volt gazdaságos ahogy a feldolgozó képesség terjed, az intelligencia és kifinomultság általánossá válik processzorok mindenütt, processzorok interakcióban 2. összeköttetés a számítógépes rendszerek nem egymagukban állnak, hanem nagy elosztott rendszereket képeznek internet, vállalati rendszerek komponensei, PDA - mobil telefon, mosógép, autó, stb. egyes kutatók szerint az elosztottság olyan fontos, hogy a számítást interakciók folyamataként modellezik 3. intelligencia a számítógépre bízott automatizált feladatok bonyolultsága folyamatosan növekszik ez nem feltétlen jelenti ugyanazt az intelligenciát, mint embereknél, de ebbe az irányba fejlődik 3. delegáció számítógépek helyettünk végeznek el feladatokat, anélkül, hogy beavatkoznánk átadjuk a vezérlést a számítógépeknek, még biztonsági szempontból kritikus feladatoknál is (pl. robot pilóta, ABS/ESP, távolságtartó) negatív példák: vírus, adware, spyware 4. felhasználó orientáltság eltávolodás a gép orientált programozástól olyan fogalmak és metaforák irányába, amik az emberi gondolkozáshoz közelebb állnak a programozók és a felhasználók másképp viszonyulnak a számítógéphez a programozók egyre inkább magasabb szintű (felhasználó orientált) absztrakciók segítségével fogalmazzák meg és implementálják a szoftvert 2. Sorolja fel a szemantikus együttműködés fejlődésének szintjeit a számítástechnikában, és írja le milyen szinten valósul meg az együttműködés! 1. TCP/IP protokollok és a szemantika Egyedi hálózatokból egységes hálózat adatsorozatok és állományok szintjén Magasabb szemantikai szinten szigetek maradtak 2. Hypertext protokollok és a szemantika Dokumentumok közötti hivatkozások és a megjelenítés egységesült Tartalom egyedi - emberi fogyasztásra - nem automatizálható 3. Web szolgáltatás protokollok és a szemantika XML, WSDL nyelven leírt adatok és szolgáltatások: géppel feldolgozható értelmezés és feldolgozás nem egységes 4. Szemantikus web és az alkalmazások Tudásreprezentáció, ontológia adatokkal együtt összefüggések, feldolgozási mód is RDF, OWL 3. Írja le az intelligens ágenseknek, mint a legfontosabb autonóm rendszereknek a legfontosabb tulajdonságait! (Intelligens ágens definíció és magyarázata.) 1. triviális (nem intelligens) ágensek 1. vezérlő rendszer (pl. termosztát) 2. UNIX daemon szoftver környezetben 2. az intelligens ágens olyan számítógépes rendszer, amelyik képes rugalmas autonóm cselekvésre valamilyen környezetben céljainak elérése érdekében 3. rugalmas: 1. reaktív ha a program végrehajtási környezete állandó, akkor a program vakon végrehajtható (pl. fordító program) a valós világ nem ilyen, a dolgok változnak, nem teljes az információ, a környezet dinamikus dinamikus környezetre nehéz programot fejleszteni, a programnak számítania kel

2 a meghiúsulásra érdemes-e valamit végrehajtani a reaktív rendszer folyamatos interakcióban áll a környezetével és az abban bekövetkező változásokra reagál(kellő időben) 2. proaktív ha csak a környezetre reagál: inger válasz az ágenseknek a mi céljainkat kell elérniük célirányos cselekedetet várunk függvény (előfeltétel, eredmény) nem alkalmazható, ha a környezet változik proaktivitás: célok megállapítása és elérésükre irányuló tevékenység, nem külső események irányítják, kezdeményez lehetőségek felismerése 3. társas képességek a valós világ multi-ágens környezetet jelent: nem érhetjük el céljainkat mások figyelembe vétele nélkül vannak célok, amit csak másokkal együttműködve érhetünk el ez számítógépes rendszerekre is igaz: ld. Internet az ágens társas képessége azt jelenti, hogy képes más ágensekkel (és emberekkel) interakcióba lépni valamilyen ágens kommunikációs nyelven képes tárgyalni és együttműködni 4. Írja le az objektumok és az ágensek közötti legfontosabb különbségeket! 1. Objektum állapota van üzenetküldéssel kommunikál metódusai vannak, amik az állapotán végezhető műveleteknek felelnek meg 2. Ágensek autonómok:az ágensek az autonómia magasabb fokát testesítik meg, maguk döntik el, hogy a kérést végrehajtják-e intelligensek:rugalmas (reaktív, proaktív, társas) tevékenységre képesek, az objektum modell nem mond erről semmit aktívak:a multi-ágens rendszer többszálú, minden ágensnek legalább egy aktív vezérlési szála van 3. (az objektumok ingyen dolgoznak, az ágensek mert akarnak) 5. Írja le a szakértő rendszerek és az ágensek közötti legfontosabb különbségeket! 1. Szakértő rendszerek szabályok formájában tárolt tudás alapján kérdésekre válaszolnak valamilyen absztrakt terület szakértelmét formalizálják 2. Ágensek az ágensek a környezetükbe vannak beágyazva, a szekértő rendszernek nincs modellje a környezetről, csak kérdéseket tesz fel az ágens tevékenykedik, a szakértő rendszer nem változtatja meg a környezetét 6. Mikor és miért hasznos a számítógépes rendszereket célzatos rendszerként leírni? 1. akkor hasznos, ha ez segíti a gép struktúrájának, viselkedésének megértését, vagy a javítását 2. akkor a leghasznosabb, ha olyan entitások leírására használjuk, amiket csak részlegesen ismerünk 3. ahogy a számítógépes rendszerek egyre bonyolultabbak, egyre hatékonyabb absztrakciókra és metaforákra van szükség a leírásukhoz, az alacsony szintű leírás nem hasznos 4. a célzatos megközelítésű leírás ilyen absztrakció 5. a célzatos megközelítésű leírás egy absztrakciós eszköz lehetővé teszi, hogy könnyen tudjunk komplex rendszerekről beszélni, és megjósoljuk viselkedésüket anélkül, hogy részletesen megértsük működési mechanizmusukat 6. a számítástudomány folyamatosan keresi az absztrakciós mechanizmusokat 7. használjuk a célzatos megközelítésű leírást a számítógépes rendszerek megértésére, megmagyarázására, és

3 végül is a programozására 7. Mit érünk az alatt, amikor azt mondjuk, hogy az ágensek posztdeklaratív rendszerek, hogyan írjuk le a feladatot procedurális, deklaratív és ágens rendszerekben? 1. a procedurális programozásnál pontosanmegmondjuk, hogy a rendszer mit csináljon 2. a deklaratív programozásnál megmondjuk, hogy mit akarunk elérni, leírjuk a rendszernek az objektumok közötti összefüggéseket, és egy beépített vezérlési mechanizmusra bízzuk (pl. következtető rendszer) a vezérlést 3. ágenseknél egészen absztrakt módon írjuk le a rendszert, és ágens alapú vezérlési mechanizmusra bízzuk a vezérlést 8. Mit értünk ágens architektúra alatt? Sorolja fel milyen ágens architektúrákat tárgyaltunk! 1. Ágens architektúrák 1. absztrakt definíció: megadott feladatok moduláris dekomponálásának általános tervezési módszertana 2. egy meghatározott módszertan ágensek építésére, ami megadja, hogy milyen komponens modulokból áll az ágens ezek a modulok milyen kapcsolatban állnak egymással a modulok és a kapcsolataik meghatározzák, hogy az érzékelésből és az ágens belső állapotából hogyan áll elő a művelet és a következő állapot technológiák és algoritmusok a módszertan támogatására 2. Tárgyalt architektúrák szimbolikus/logikai deduktív érvelő gyakorlatias érvelő reaktív hibrid 9. Írja le a deduktív érvelő ágens architektúra alap algoritmusát! Az algoritmus ρ elmélet, D tények esetén megpróbál a tényekből az elmélet alapján elsősorban elvégzendő, másodsorban tiltott műveleteket keresni. function action(δ : D) returns an action Ac end for each α Ac do if Δ ρ Do(α) return α end end for each α Ac do if (Δ ρ Do(α)) return α end end return null

4 10. A gyakorlatias érvelés ágens architektúra alábbi alap algoritmusa milyen elkötelezettség stratégiát tartalmaz? Sorolja fel és egy-egy mondatban írja le azokat az elkötelezettség stratégiákat is, amikkel foglalkoztunk! 1. Fanatikus elkötelezettséget tartalmaz. 2. Stratégiák 1. vak elkötelezettség (fanatikus) a vak elkötelezettségű rendszer addig tartja meg aszándékát, mígnem azt hiszi, hogy elérte 2. egyszerű beállítottságú elkötelezettség az egyszerű beállítottságú rendszer addig tartja meg szándékát, mígnem azt hiszi, hogy elérte, vagy hogy már nem tudja elérni (a terveivel) 3. nyílt beállítottságú elkötelezettség a nyílt beállítottságú rendszer addig tartja meg szándékát, amíg azt hiszi, hogy lehetséges 11. A gyakorlatias érvelés ágens architektúra alábbi algoritmusában jelölje meg, mely sorok valósítják meg a megfontolást, az egyszerű beállítottságú elkötelezettséget és a szándék újraértékelést! 1. Megfontolás (deliberate): 7-8. sor 2. Egyszerű beállítottságú elkötelezettség: 9. sor 3. Szándék újraértékelés: sor 12. Sorolja fel a Brooks féle reaktív ágens architektúra tervezési alapelveit! 1. intelligens viselkedést létre lehet hozni explicit szimbolikus reprezentáció nélkül is 2. intelligens viselkedést létre lehet hozni explicit szimbolikus érvelés nélkül is 3. az intelligencia egyes komplex rendszerek kibontakozó tulajdonsága 13. Mi a hibrid ágens architektúra két részrendszere? 1. egy érvelő/megfontoló részrendszer, amelyikben szimbolikus külvilág modell van, döntéseket hoz és terveket hajt végre a szimbolikus logika alapján 2. egy reaktív részrendszer, amelyik képes arra, hogy az eseményekre reagáljon összetett érvelés nélkül 14. Rajzolja fel a hibrid ágens architektúra tárgyalt rétegezési lehetőségeit! 1. Horizontal layering 2. Vertical layering (one pass control) 3. Vertical layering(two-pass control) 15. Két ágens multi-ágens mérkőzésében az s1 és s2 stratégiák mikor vannak Nash egyensúlyban? Az s 1 és s 2 stratégiák Nash egyensúlyban vannak, ha 1. feltéve, hogy i ágens s 1 stratégiát választja, j ágens legjobb választása s 2 stratégia, és 2. feltéve, hogy j ágens s 2 stratégiát választja, i ágens legjobb választása s 1 stratégia 16. Írja le mit neveztünk multi-ágens rendszerek hatékonysága szempontjából összeg, Hicks és Pareto optimalitásnak! 1. összeg optimális, ha a haszonfüggvények összege maximális

5 2. Hicks optimális, ha minden ágens számára maximális a haszonfüggvény 3. Pareto optimális, ha minden más helyzetben, ahol legalább egy ágens haszonfüggvénye nagyobb, akkor legalább egy ágens haszonfüggvénye rosszabb 17. Mit jelent a multi-ágens rendszerekben a megegyezés elérésénél a mechanizmus, a mechanizmus tervezés és a stratégia? A tárgyalás mechanizmusok mentén történik (számítógépes protokollokhoz hasonlóan) 1. mechanizmus: a mérkőzés szabályait definiálja 2. mechanizmus tervezés: olyan mechanizmusok tervezése, amelyek bizonyos elvárt tulajdonságoknak megfelelnek 3. stratégia: adott mechanizmus mellett az egyes ágensek milyen viselkedést tanúsítsanak 18. Soroljon fel legalább öt olyan tulajdonságot (egy mondatos leírásukkal együtt), amit a multi-ágens rendszerekben a mechanizmus tervezés elvárt tulajdonságaként felsoroltunk! 1. garantált siker: eredményre vezet, megegyezést elérik 2. társasági szinten maximalizálja az eredményt: haszonfüggvények összege maximális, (vagy legalábbis közel ahhoz) 3. pareto hatékonyság: pareto optimális eredményre vezet, (egyik résztvevő sem érhet el jobb eredményt anélkül, hogy egy másiknak ne lenne rosszabb) 4. egyéni racionalitás: a résztvevőknek érdekük a mechanizmus szabályainak betartása, különben nem vennének részt benne 5. stabilitás: minden résztvevő érdekelt a mechanizmusban, Nash egyensúly 6. egyszerűség: a résztvevők egyszerűen meg tudják határozni az optimális stratégiát 7. elosztottság: nincs szűk keresztmetszetet jelentő pont a mechanizmusban, egy elem meghibásodása nem jelenti az egész rendszer meghibásodását 19. Sorolja fel a félév során tárgyalt multi-ágens megegyezési technikákat! 1. aukciók: angol; holland; legjobb árú egymenetes zárt; Vickrey 2. tárgyalás: feladat orientált; állapot orientált; érték orientált 3. érvelés 20. Írja le az általános második áras aukció (GSP) licitálási és fizetési szabályait! Angol aukció általánosítása 1. hirdetők kulcsszóra licitálnak, 2. licitjeiket gyakran módosíthatják, 3. kattintás után fizetnek, 4. K hirdetőből az N legjobb licitet adó jelenik meg, 5. i. hirdető az i+1. pozícióban levő ajánlatát fizeti 21. Töltse ki az alábbi táblázatot az aukciók típusának megfelelő paraméterekkel! nyertes és a nyertes által fizetendő ár meghatározás módja nyílt/zárt licitálási ár meghatározásának menete Angol aukció Legmagasabb ajánlatot adó; az ár az ajánlat nyílt Utolsó licitnél kicsit magasabb a rezervációs árig

6 Holland aukció Legelső licitáló; az ár az a csökkentett kikiáltási ár, amire a nyertes licitált nyílt Rezervációs ár alatt kevéssel megállítani Vickrey aukció Legjobb árat adó; a második legjobb ajánlatát fizeti zárt Saját rezervációs ár 22. Sorolja fel (egy mondatos meghatározásukkal együtt), a tárgyalásos megegyezési technika általunk felsorolt komponenseit! 1. tárgyalók halmaza: az összes résztvevő 2. tárgyalási halmaz: az összes lehetséges tárgyalási ajánlatok 3. protokoll: a résztvevők által adható tárgyalási ajánlatok a korábbi tárgyalási ajánlatok függvényében (pl. ajánlatot visszavonni nem lehet) 4. tárgyalási stratégia: a résztvevők hogyan határozzák meg következő ajánlatukat, nem nyilvános 5. megegyezési szabály: annak megállapítása, hogy mikor értek el egyezséget, és mi az egyezség 23. Írja le a feladat orientált tárgyalásos megegyezési technika definícióját! Monoton engedmény protokoll 1. a tárgyalás fordulók sorozata, minden fordulóban mindketten javasolnak egy kiosztást, 2. az első fordulóban mindketten választanak egy kiosztást a tárgyalási halmazból 3. egyezségre jutnak, ha az egyik úgy találja, hogy a másik javaslata legalább olyan jó számára, mint az övé (ekkor azt választják amelyiket az egyik jobbnak talál): utility i (δ j ) utility i (δ i ) 4. a következő fordulóban mindenki csak olyan kiosztást javasolhat, amelyik nem rosszabb a másiknak, mint az előző (és még nem szerepelt) 5. ha nincs több kiosztás, vagy egyikük sem enged, akkor a konfliktus kiosztásban egyeznek meg Vagy: 1. a résztvevőknek elvégzendő feladataik vannak 2. a tárgyalás célja a feladatok átrendezése 24. Sorolja fel egymondatos meghatározásukkal együtt a feladat orientált tárgyalásos megegyezési technikánál tárgyalt megtévesztési lehetőségeket! 1. álfeladatok: valamelyik fél betesz olyan feladatokat a feladatlistájába, amit valójában nem kell megcsinálnia 2. rejtett feladatok: valamelyik fél elrejt olyan feladatokat a feladatlistájában, amit valójában meg kell csinálnia 25. Írja le az állapot orientált tárgyalásos megegyezési technika definícióját! 1. a célokat az elfogadható végállapotokkal definiálják 2. mellékhatások lehetnek 3. a tárgyalás célja közös terv és ütemezés elfogadása 26. Sorolja fel a beszédcselekvési üzenet két komponensét! 1. egy végrehajtási ige: (például, kérés, tájékoztatás, ígéret, N) 2. állító tartalom: (például az ajtó zárva )

7 27. Rajzolja le a FIPA ágens platform komponens ábráját és nevezze meg a komponenseket! 1. kötelező komponensek Agent Management System (AMS) Agent Communication Channel (ACC) 2. opcionális komponens Directory Facilitator (DF) 28. Adja meg az alábbi FIPA ACL paraméterek rövid leírását! performative sender receiver reply-to content language encoding ontology protocol conversation-id reply-with in-reply-to reply-by végrehajtási ige típusa küldő fél címzett fél küldő helyett kinek kell válaszolni üzenet tartalom üzenet tartalom nyelve üzenet tartalom kódolása üzenet tartalom ontológiája konverzációs protokoll konverzáció azonosítója válaszban az üzenet azonosítója legyen válaszban az üzenet azonosítója válasz határideje 29. Adja meg az alábbi FIPA ACL végrehajtási igék rövid leírását! inform, request, agree, refuse, call for proposal, propose, accept proposal, cancel, failure, subscribe inform a küldő értesíti a fogadót, hogy az állítás igaz request a küldő kéri a fogadót valamilyen művelet végrehajtására agree valamilyen művelet végrehajtásába beleegyezés, esetleg később refuse valamilyen művelet végrehajtásának visszautasítása, magyarázattal call for proposal felhívás valamilyen művelet végrehajtására propose javaslat beküldése valamilyen művelet végrehajtására accept proposal korábban beküldött végrehajtási javaslat elfogadása cancel értesítés arról, hogy a műveletet már nem akarja végrehajtani failure értesítés arról, hogy a művelet végrehajtási kísérlete nem sikerült subscribe a küldő kéri a fogadót, hogy értesítse valamilyen referencia érték változásáról

8 30. Az alábbi ábra melyik FIPA interakciós protokollt mutatja? FIPA Request Interaction Protocol 31. Az alábbi ábra melyik FIPA interakciós protokollt mutatja? FIPA Query Interaction Protocol 32. Az alábbi ábra melyik FIPA interakciós protokollt mutatja? FIPA Subscribe Interaction Protocol 33. Az alábbi ábra melyik FIPA interakciós protokollt mutatja? FIPA Contract Net Interaction Protocol 34. Sorolja fel (rövid magyarázattal) a kooperatív elosztott probléma megoldás fázisait! 1. probléma dekomponálás kisebb egységekre bontás tipikusan hierarchikus (további részproblémák) 2. részprobléma szétosztás allokálás végrehajtó rendszerekhez 3. részprobléma megoldás egyéni problémamegoldás rendszerek közötti kommunikáció 4. megoldás szintézis a részproblémák megoldásának integrálása tipikusan hierarchikus részeredmények integrálása különböző absztrakciós szinteken 35. Sorolja fel (rövid magyarázattal) a Contract Net feladat megosztási protokoll fázisait! 1. felismerés: a csomópont felismeri, hogy van egy kiadandó részfeladat 2. meghirdetés: a csomópont kiküldi a feladat meghirdetését, ami tartalmazza a végrehajtandó feladat specifikációját 3. ajánlattétel: a meghirdetést kapó csomópontok eldöntik, hogy adnak-e ajánlatot, majd ajánlatot adnak 4. odaítélés: a meghirdetést küldő csomópont kiválasztja az elfogadásra kerülő ajánlatot és visszaigazol 5. teljesítés: a nyertes ajánlatot tevő lesz a szerződő, aki végrehajtja a feladatot; további menedzser-szerződő kapcsolatokat építhet ki 36. Írja le, hogy multi-ágens rendszerekben mikor lehet a közös szándékot eltávolítani a rendszerből (befjezettnek tekinteni)! 1. ha egy ágens úgy véli a közös cél megvalósult, akkor az lesz a célja, hogy minden másik ágens is így vélje, és akkor tekinti befejezettnek a feladatot, ha ezt is elérte 2. ha egy ágens úgy véli a közös cél elérhetetlen, akkor az lesz a célja, hogy minden másik ágens is így vélje, és akkor tekinti befejezettnek a feladatot, ha ezt is elérte 3. ha egy ágens úgy véli a közös cél indoka megszűnt, akkor az lesz a célja, hogy minden másik ágens is így vélje, és akkor tekinti befejezettnek a feladatot, ha ezt is elérte

9 37. Írja le, hogyan definiáltuk multi-ágens rendszerekben a társasági szabályokat! 1. korlát: E ', α ( E ' E a környezeti állapotok egy halmaza; α Ac egy művelet) 2. ha a rendszer e E ' állapotban van, akkor az α művelet tilos. 38. Sorolja fel az ágens paradigma alkalmazásának új aspektusait a szoftver fejlesztési módszertanban! 1. új dimenzió: vezérlésre is alkalmazza a modularitást és magába zárást (encapsulation) 2. komponensek közötti interakció futási időben 3. aktív aktorok és passzív erőforrások megkülönböztetése 39. Sorolja fel a GAIA módszertan szervezeti absztrakcióit! 1. környezet 2. szerepek 3. interakciók 4. szervezeti szabályok 5. szervezeti struktúrák 40. Rajzolja fel a GAIA módszertan blokkábráját és jelölje be a fázisokat! 41. Írja le mit tartalmaz a GAIA módszertan környezeti modellje! 1. grafikus reprezentáció a környezeten belüli információ áramlás megragadására 2. ha a környezet olyan aktív elemeket tartalmaz, amikkel a rendszernek interakcióba kell lépnie: ha lehet, akkor próbáljuk meg erőforrásként modellezni (például ha adatforrásról van szó) ha összetett műveleteket végző elem (például ember), akkor ne a környezet részeként kezeljük, hanem, a rendszer egyik elemeként modellezzük

10 42. Rajzolja fel a GAIA módszertan szerep modell sémáját és röviden írja le az egyes elemeket! Role Schema Description Protocols and Activities Permissions Responsibilities Liveliness Safety A szerep neve A szerep rövid leírása Protokollok és tevékenységek, amelyekben a szerep részt vesz Engedélyek (mit használhat és mit nem); mit állít elő Kötelességek A fenntartandó állapotok Az elfogadható állapotok fenntartása; nem elfogadható állapotok kerülése 43. Rajzolja fel a GAIA módszertan interakciós modell sémáját és egy-egy mondatban írja le az egyes elemeket! protokoll név kezdeményező partner bemenetek kimenetek leírás szöveges név a kezdeményező szerep a válaszoló szerep a kezdeményező által használt adatok a partner által szolgáltatott adatok a protokoll és a hozzá tartozó feldolgozási tevékenység szöveges leírása 44. Írja le röviden a GAIA módszertan szervezeti szabály modelljét! 1. liveness szabályok: a szervezet dinamikus fejlődését definiálják pl. bizonyos szerep csak akkor tölthető be, ha már egy másikat korábban betöltött pl. bizonyos protokoll csak másik protokoll után hajtható végre szabályozhatja a szerepek liveness tulajdonságait, pl. bizonyos szerepek csak bizonyos tevékenységet végezhetnek 2. biztonsági szabályok: a szervezetnek az időtől független globálisinvariánsai, amiket állandóan kell tartani pl. bizonyos szerepeket egyszerre csak egy példányban lehet betölteni hivatkozhatnak a szerepek biztonsági szabályaira, vagy környezeti változókra 45. Írja le mit tartalmaz a GAIA módszertan szervezeti struktúra modellje! Adjon példákat! Topológia (függőleges tengely) Irányítási rendszer (vízszintes tengely) Szervezeti szabályok Példák??? 46. Írja le mit tartalmaz a GAIA módszertan ágens modellje! A GAIA megközelítésében az ágens olyan aktív szoftver entitás, amelyik ágens szerepek egy halmazát tölti be. Ágens modell: 1. ágens osztályok definiálása bizonyos szerepek betöltésére 2. a megvalósított rendszerben az egyes ágens osztályokból hány példányt kell készíteni

11 47. Írja le mit tartalmaz a GAIA módszertan szolgáltatás modellje! A szolgáltatás modell azonosítja az ágens osztályokhoz tartozó szolgáltatásokat. Szolgáltatás tulajdonságai: 1. Bemenet 2. Kimenet 3. Előfeltétel 4. Utófeltétel