Kogníció, koncepciók, modellek

Hasonló dokumentumok
A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom

Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István

Szoftverminőségbiztosítás

Szoftver tervezés és design

Fogalom- és tárgymutató

Méréselmélet MI BSc 1

A szoftverfejlesztés eszközei

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Az emberi információfeldolgozás modellje. Az emberi információfeldolgozás modellje. Alakészlelés. Más emberek észlelése.

Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK

Steps Towards an Ontology Based Learning Environment. Anita Pintér Corvinno Technologia Transzfer Kft

Szoftver követelmények meghatározása

Szoftver újrafelhasználás

Mérés és modellezés 1

Typotex Kiadó. Glosszárium

Rendszer-modellezés, modellezési technikák

Szoftver követelmények meghatározása

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

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

A mérés problémája a pedagógiában. Dr. Nyéki Lajos 2015

Rendszer-modellezés, modellezési technikák

Modellező eszközök, kódgenerálás

Mérés és modellezés Méréstechnika VM, GM, MM 1

Témaválasztás, kutatási kérdések, kutatásmódszertan

Formális módszerek GM_IN003_1 Bevezetés

Modellkiválasztás és struktúrák tanulása

Részletes szoftver tervek ellenőrzése

Logika es sz am ıt aselm elet I. r esz Logika 1/36

Bevezetés az SPSS program használatába

Operációs rendszerek. Az X Window rendszer

Szoftver-technológia II. Modulok és OOP. Irodalom

Formális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar

Név: Neptun kód: április

Emerald: Integrált jogi modellező keretrendszer

Parametrikus tervezés

Adatbázis rendszerek. dr. Siki Zoltán

A statisztika alapjai - Bevezetés az SPSS-be -

Kvantitatív módszerek

Modellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő

Programozási alapismeretek 1. előadás

CAD Rendszerek I. Sajátosság alapú tervezés - Szinkron modellezés

Kognitív megközelítés

Szemantikus világháló a BME-n

Térinformatikai algoritmusok Elemi algoritmusok

Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból

Magas szintű adatmodellek Egyed/kapcsolat modell I.

Komponens alapú fejlesztés

Alapszintű formalizmusok

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

A szemantikus világháló oktatása

Térinformatikai algoritmusok Elemi algoritmusok

Programozás. Bevezetés. Fodor Attila. Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék

Web-fejlesztés NGM_IN002_1

matematikus-informatikus szemével

Ungváry Rudolf: Tezauruszok mint kisvilágok. Kapcsoltság a fogalmak között

Autóipari vezérlőegységek aktív környezetállósági tesztelésének módszerei

Objektumorientált paradigma és a programfejleszté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

Kiterjesztések sek szemantikája

Tudásalapú információ integráció

A társadalomkutatás módszerei I. Outline. Most járunk, vagy nem járunk? Már úgy szeretném megtudnííí, hogy most já-runk-e, vagy nem já-runk?

stratégiai kutatási terve

A társadalomkutatás módszerei I.

GONDOLKODÁS ÉS NYELV

Szoftver architektúra, Architektúrális tervezés

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

IDENTIVISION ICR-E41/81/161 H.264 DVR

ADATBÁZIS-KEZELÉS. Adatbázis-kezelő rendszerek

Metamodellezés. Simon Balázs BME IIT, 2011.

Név: Neptun kód: május 23. Komplex MI alkalmazások vizsga Rendelkezésre álló idő: 75 perc 1. Vizsgálja meg a következő RDF leírást:

Szoftver-mérés. Szoftver metrikák. Szoftver mérés

Szoftverminőségbiztosítás

Intelligens adatelemzés

Tuesday, 22 November 11

pszichológiai háttere

Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon

Modellezési alapismeretek

Adatszerkezetek 1. előadás

Modellezési alapismeretek

STATISZTIKA. András hármas. Éva ötös. Nóri négyes. 5 4,5 4 3,5 3 2,5 2 1,5 ANNA BÉLA CILI 0,5 MAGY. MAT. TÖRT. KÉM.

Elosztott rendszer architektúrák

Miskolci Egyetem Gépészmérnöki és Informatikai Kar Informatikai Intézet Alkalmazott Informatikai Intézeti Tanszék

Utolsó módosítás:

A genetikus algoritmus, mint a részletes modell többszempontú és többérdekű "optimálásának" általános és robosztus módszere

- Adat, információ, tudás definíciói, összefüggéseik reprezentációtípusok Részletesebben a téma az AI alapjai című tárgyban

12.3. Az automatizált technológiai tervezés módszerei A variáns módszer

Több valószínűségi változó együttes eloszlása, korreláció

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom

DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

BEVEZETÉS A PSZICHOLÓGIÁBA

ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ

Mi legyen az informatika tantárgyban?

Széchenyi István Szakképző Iskola

3D tervezés az orvosi gyakorlatban

Teljesítménymodellezés

INFORMATIKA - VIZSGAKÖVETELMÉNYEK. - négy osztályos képzés. nyelvi és matematika speciális osztályok

Vállalati modellek. Előadásvázlat. dr. Kovács László

Software Engineering

A ÉVESEK TÉRSZEMLÉLETÉNEK VIZSGÁLATA ONLINE TESZTKÖRNYEZETBEN

Programok értelmezése

Átírás:

Kogníció, koncepciók, modellek A szoftver-technológia koncepcionális alapjai Irodalom Pléh Csaba: Bevezetés a megismeréstudományba, Typotex, 1998 Kognitív tudomány, Szerk.: Pléh Csaba, Osiris, 1996 M. Imaz, D. Benyon: Designing with blends, MIT Press, 2007 2

Leírások, reprezentációk A küls! valóság rögzítése valamilyen, az elme számára kezelhet! formában küls! reprezentáció bels! (mentális) reprezentáció analóg propozícionális Gondolatok, koncepciók leírása Gondolkodási alapkeret Modellek Entitások, jelenségek, folyamatok reprezentációja (komplex valóság) egyszer"sített, absztrakt nézet fizikai matematikai logikai 4

Cél: Tudományos modellezés megértés (kvalitatív) érvelés, következtetés predikció (kvantitatív) paraméter-szenzibilitás vizsgálat gondolkodási folyamat támogatása Formalizált interpretáció 5 Metamodellek Modellezési rendszerek modelljei keretek, szabályok, kényszerek modell transzformációk szemantika rögzítése 6

Formális modellek Modell reprezentáció formális (modellezési) nyelven konzisztens szabályoknak megfelel! leírás, értelmezés rögzített szintaxis és szemantika el!nyök: (formális, automatikus) modell validálás modell operacionalizálás (szimuláció) grafikus reprezentációk 7 Mérés Mennyiségek meghatározása leképezés Min!ségi jellemz!k mérése mérték (metrika) m: A! R mérési skála típusa mértékegység m(x, y) = 0 for x = y m(x, y) = m(y, x) for all x, y m(x, z) " m(x, y) + m(y, z) for all x, y, z 8

Mérési skálák Skálatípusok Nominális skála Ordinális skála Intervallum skála Arány skála Abszolút skála Relációs rendszer: (S, rel1,..., reln, op1,..., opm) Mérték: m:sa #SB Skála: (A, B, m ) ha relai (ai1,..., aik)! relbi (m(ai1),..., m(aik)) és m (a op!j b) = m(a) op"j m(b) 9 Mentális modellek (Koncepcionális, kognitív modell) Analóg mentális reprezentció nem teljes korlátozott m"ködtetés nem stabilak nincsenek éles határai takarékosak Idealizált kognitív modellek (ICM) mentális terek keretei elemek, tulajdonságok, relációk 10

Egyéb kognitív struktúrák minták -> jelentés Kognitív sémák (schema) Keretek (frame) adatszerkezetek sztereotipizált helyzetekre Scenáriók kiindulási állapot, esemény szekvencia, végállapot 11 Egyéb kognitív struktúrák (folyt.) Koncepciók definíciók (szükséges és elégséges feltételek) Kategóriák hasonlósági családok Kialakítás Absztrahálás Generalizálás Taxomómiák kategóriák kapcsolatai 12

Képzetek, kép-sémák nem propozícionális képzet prekoncepcionális koncepciók és konkrét képek között élmények és tapasztalatok néhány kép-séma forrás-út-cél séma konténer séma kapcsolat séma B A A X B A B 13 Metaforák Hasonlat (analógia) Mentális terek domének konnektorok struktúra ICM-ek által Domének közötti leképezés átvitel "A" mentális tér a b "B" mentális tér a' b' 14

Érintkezések leképezés, projekció Metonímia Integrációs hálózat Koncepcionális integráció topológikus vonatkoztatási kör egyszeres, dupla Inp. 1. Inp. 2. Inp. 1. Inp. 2. Input 1 Input 2 Generikus Integrációs hálózat Érintkezés 15 Összetett érintkezések Metafora kiterjesztése - szintézis hierarchikus konstrukciók alap metaforák SE példák desktop metafora magas szint" programozási nyelvek fekete doboz 16

Példa: Desktop metafora 17 Formális rendszerek és nem formális leírások Formális nyelv, logikai levezetési szabályok rögzített szintaxis és szemantika Leírások literális és figuratív nyelv fokozatos átmenet diagrammatikus jelölés -> vizuális probléma megoldás érvelés (eszköz), belátás (magyarázat) 18

Metafora használat Kulcs jellemz!k kifejez!, tömör, él! (fenomenológia,tapasztalatok) percepciós és szemantikus gondolkodási szintek összekötése agyféltekék m"ködésének integrációja Heurisztikus eszköz Comenius-funkció oktatás, szemléltetés Vélekedések, folk theory 19 Alap SE metaforák Kiindulási (mentális) hátterek szerkezetépítés architektúra, platform, frontend gyártás pipeline, toolkit, package üzleti élet kliens, bróker, export-import iroda fájl, mappa, csatolmány biológia öröklés, fa, vírus 20

Érintkezések használatban Rendszerelemzés kimenetei érintkezések Tervezési minták nevei HCI, mint közvetlen alkalmazási terület szocio-technológiai rendszerek szervezeti munkahelyi individuális szint" metaforák => szükségletek, követelmények 21 Vizuális problémamegoldás Externalizálás kognitív költségek (információfogyasztási modell) vizuális csatorna jellemz!i munkamemória, figyelem, hoszútávú memória aktiválása vizuális lekérdezés mintázat-keres! ciklus 22

Vizuális reprezentációk 23 Szoftver-technológia és modellek Módszerek -> leírások (jelölés rendszerek, notation) tervezés elemzés programozás Tervezési megközelítés Jelölések alkalmazása A modellezési keretek érintkezések való világ (szakterületek) a kiindulási vonatkozatatási terület az érintkezések SE ontológiát (episztemológia) képeznek 24