Artificiell intelligens
|
|
- Ingegerd Berglund
- för 7 år sedan
- Visningar:
Transkript
1 Introduktion Artificiell intelligens Vad är AI? Olika mål Intelligenta agenter Områden inom AI Arne Jönsson HCS/IA Vad är AI? Intelligens: Förmågan till tänkande och analys (Svenska ORboken) Artificial Intelligence is the study of how to make computers do things at which, at the moment, people are better. (Elaine Rich) Artificial Intelligence is the study of mental faculties through the use of computational models. (Eugene Charniak, rew Mcermott) Få fram intelligenta program som kan hantera oväntade situationer och kommunicera bättre. (Erik Sandewall) The branch of Computer Science that is concerned with the automation of intelligent behavior. (Luger & Stubblefield) Artificial Intelligence is the art of making computers work the way they do in the movies Turingtestet? Mål med AI System som kan: Tänka som en människa Tänka rationellt Handla som en människa Handla rationellt Exempel på turingtestdialog PC Therapist III S: En nyck är ett plötsligt och godtyckligt, ofta märkligt beteende. En solstråle i en grå och bister värld! F: I stil med en föraning? S: Alla börjar med att försöka göra någonting och alla gör någonting, men ingen gör vad han tänkte göra. F: Tja, men jag skulle i varje fall vilja föreställa mig att en nyckfull konversation är som springarens drag i schack - de går i sicksack, snarare än att följa en speciell linje. S: En nyckfull person uppvisar ett planlöst beteende och dess tankar är oförutsägbara tänk vad trevligt att vara oförutsägbar! F: Skämtar du? et är klart att total förutsägbarhet skulle göra världen till en trist plats, men oförutsägbarhet är knappast en dygd! Linköpings universitet 1
2 Artificiell Intelligens Intelligent agent Filosofi Matematik AI atavetenskap Neurovetenskap Lingvistik Kognitiv Psykologi Rationell Handla så bra som möjligt Mäta agentens utförande Mappa från varseblivningssekvenser till handlingar Vad agenten vet om omgivningen Varseblivningshistoria Handlingar Autonom ens handlingar beror bara på agentens kunskap samt vad den varseblir Intelligent agent Ex. ammsugaragent Percept typ Utförandemått Handlingar ammsugaragent Städa rent och gå hem, effektivt Rum, damm, hinder Suga, framåt, vänster, höger, stäng av Väggsensor, dammsensor, hemmasensor? Handlingar A Andra exempel på agenter Enkel reflexstyrd agent typ Utförandemått Medicinsk diagnos Satellitbildanalys Plockrobot Frisk patient min. kostnad Riktig kategorisering Antal delar i rätt låda Patient, sjukhus Bilder från satellit Rullband med delar, lådor Ställa frågor, tester, diagnoser, behandlingar Visa kategorisering Robotarm Symptom, patientsvar, datainmatning Bildpunkter Kamera, robotsensorer Raffinaderikontroll Interaktiv lärare Maximal renhet, avkastning, säkerhet Maximera studentens poäng Raffinaderi, operatörer Studenter Ventiler, pumpar, displayer, värmare Visa övningar, föreslå, rätta Temperatur, tryck, kemiska sensorer Tangentbord Villkors-handlingsregler Linköpings universitet 2
3 Problem Modellbaserad reflexstyrd agent en kan inte gå systematiskt Villkors-handlingsregler A Målstyrd agent Nyttobaserad agent Hur den blir om jag gör A Hur den blir om jag gör A Hur glad jag blir i det tillståndet Nytta Mål Områden inom AI Sökning Sökning Kunskapsrepresentation Planering Maskininlärning Tillämpningsområden: Språkteknologi Bildigenkänning Expertsystem Spel atautvinning etc srymd med: Initialtillstånd Operationer som beskriver effekten av en handling som en funktion av tillståndsförändringar Måltest Vägkostnad Sökstrategi som genererar en lösning på problemet Linköpings universitet 3
4 Exempel Sökträd 3 missionärer och 3 kannibaler skall korsa en flod i en båt som rymmer 2 personer. et får aldrig finnas fler kannibaler än missionärer för då äter kannibalerna upp missionärerna. Exempel på tillståndsformulering (2, 2, 0) (3, 3, 1) (3, 2, 0) (3, 1 0) Starttillstånd (3, 3, 0, 0, 1) eller hellre (3, 3, 1) Måltillstånd (0, 0, 0) Vägkostnad = 1 (3, 2, 1) (3, 2, 1) (3, 3, 1) (2, 2, 0) (2, 2, 0) (3, 2, 1) (3, 2, 1) (2, 2, 0) etc Sökstrategier Kunskapsrepreentation Blind sökning Utan kunskap om målet Heuristisk sökning Utnyttjar en gissning (heuristik) om hur långt från målet en nod är Sökning i spelförande program Mänsklig kunskap Representerad i en form som passar datorer Måste kunna representera Fakta Relationer mellan fakta Procedurell kunskap Satslogik Predikatlogik Enkel representation Varje symbol står för en sats som svarar mot ett tillstånd i världen Logiska konnektiv,, Inga variabler Kraftfullare Beskriver objekt, egenskaper hos objekt samt relationer mellan objekt Använder variabler Kvanifierare,, Ger mer kompakta representationer än satslogik Linköpings universitet 4
5 Predikatlogik, exempel som lär sig Kogvetare är glada typer Yttre standard x Kogvetare(x) Glad(x) Typ(x) et finns sura kogvetare x Kogvetare(x) Sur(x) etc Kritiserare Återkoppling Inlärningselement Mål Förändringar Kunskap Utförandeelement Problemgenerator Linköpings universitet 5
Linköpings universitet
2014-08-25 Översikt Kognitionsvetenskaplig introduktionskurs Föreläsning lgoritmer, Turingmaskiner, Programmering, rtificiell Intelligens mm lgoritmer Beräkningsbarhet Turingmaskiner Komplexitet atorer
Läs mer729G43 Artificiell intelligens. Introduktion. Introduktion. Kursöversikt. Kursens organisation. Arne Jönsson HCS/IDA
Introduktion 729G43 Artificiell intelligens Introduktion Kursöversikt Mål med AI Historia Intelligenta agenter Arne Jönsson HCS/IA Kursöversikt Intelligenta agenter 1 Fö, 2+3 Lab Problemlösning och sökning
Läs mer729G43 Artificiell intelligens Introduktion. Arne Jönsson HCS/IDA
729G43 Artificiell intelligens Introduktion Arne Jönsson HCS/IDA Introduktion Kursöversikt Mål med AI Historia Intelligenta agenter Kursöversikt Intelligenta agenter 1 Fö, 4 Lab Problemlösning och sökning
Läs merArtificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 1.a November 2011 Innan vi börjar R.I.P. John McCarthy (1924 2011) Grundare av ämnet artificiell
Läs merde var svåra att implementera och var väldigt ineffektiva.
OBS! För flervalsfrågorna gäller att flera alternativ eller inget alternativ kan vara korrekt. På flervalsfrågorna kan man bara ha rätt eller fel, dvs frågan måste vara helt korrekt besvarad. Totalt kan
Läs merAntag att följande träd genereras i ett spelförande program om vi applicerar evalueringsfunktionen
1. Komplexiteten hos en agent beror mycket på vilken omgivning den skall verka i. Vad innebär det att en omgivning är stokastisk, episodisk och dynamisk? Ge exempel på en omgivning som är stokastisk, episodisk
Läs merArtificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 4e november 2014 Intelligens Vad är det? ett mänskligt egenskap Kan det jämföras? Kan det mätas?
Läs merArtificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) Building Watson:! http://www.youtube.com/watch?v=3g2h3dz8rnc!! 29e oktober 2013 Intelligens Vad
Läs merArtificial Intelligence
Omtentamen Artificial Intelligence Datum: 2014-08-27 Tid: 09.00 13.00 Ansvarig: Resultat: Hjälpmedel: Gränser: Anders Gidenstam Redovisas inom tre veckor Inga G 8p, VG 12p, Max 16p Notera: Skriv läsbart!
Läs merFråga 5 (1 poäng) För att definiera ett sökproblem krävs...
OBS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervarlsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merVad behövs för att skapa en tillståndsrymd?
OBS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervarlsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merDatorer och intelligens
Datorer och intelligens (kapitel 4 och 8 av Winograd & Flores) Harko Verhagen Statement One cannot program computers to be intelligent Problem: vad är intelligens? Vad är intelligens? 1. Intelligens =
Läs merFråga 5 (1 poäng) För att definiera ett sökproblem krävs...
OBS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervarlsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merKunskapsrepresentation
Kunskapsrepresentation Hur representeras information? Representationer som bevarar strukturen perceptionsbaserad kunskapsrepresentation Representationer som bevarar innebörden meningsbaserad kunskapsrepresentation
Läs merAntag att b är förgreningsfaktorn, d sökdjupet, T (d) tidskomplexiteten och M(d) minneskomplexiteten.
OBS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervalsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merPROBLEMLÖSNING. ! GPS! Mål medel analys! Problemlösning i programmering. Lars-Erik Janlert 2007
PROBLEMLÖSNING! Problem & lösning! Sökträd, sökgraf! Automatisk problemlösning! Heuristik! Heuristisk sökning! GPS! Mål medel analys! Problemlösning i programmering 1 Problem (snäv mening)! Ett problem
Läs merLektion G43 Artificiell intelligens. Robin Keskisärkkä Ellinor Ihs Håkansson Cornelia Böhm
Lektion 1 729G43 Artificiell intelligens Robin Keskisärkkä Ellinor Ihs Håkansson Cornelia Böhm Dagens lektion Kort om laborationsserien Introduktion till laboration 1 Live-kodning Börja arbeta med laboration
Läs merTentamenskod: Inga hjälpmedel är tillåtna
Intelligenta och lärande system 15 högskolepoäng Provmoment: Ladokkod: Tentamen ges för: Tentamen (TEN1) Artificiell intelligens (AI) 5hp 21IS1C Systemarkitekturutbildningen Tentamenskod: Tentamensdatum:
Läs merAntag att b är förgreningsfaktorn, d sökdjupet, T (d) tidskomplexiteten och M(d) minneskomplexiteten.
OS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervalsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merSemantik och pragmatik
Semantik och pragmatik OH-serie 4 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Om barnet har svårt att andas eller har ont i bröstet
Läs merFuzzy Logic. När oskarpa definitioner blir kristallklara. Åsa Svensson. Linköpings Universitet. Linköping
Fuzzy Logic När oskarpa definitioner blir kristallklara Linköpings Universitet Linköping Sammanfattning I denna fördjupningsuppgift har jag fokuserat på Fuzzy Logic och försökt att beskriva det på ett
Läs merSV Förenade i mångfalden SV. Ändringsförslag. Beatrix von Storch för EFDD-gruppen
9.2.2017 A8-0005/9 9 Punkt 1a (ny) 1a. Europaparlamentet uppmanar kommissionen att föreslå följande gemensamma unionsdefinitioner: Artificiell intelligens: ett datoriserat system som kan simulera en del
Läs merKognitiv psykologi. Kognition / Tänaknde. Ett filosofiskt problem. Tänkande: Hur vi löser vi problem och representerar kunskap. Informationsteknologi
Kognitiv psykologi Tänkande: Hur vi löser vi problem och representerar kunskap Anders Jansson Kognition / Tänaknde Kognitionsmodeller IP-modellen, Konnektionistiska teorier, Prototypteori, Kognitiv semantik,
Läs merKognitionsvetenskapligt kandidatprogram
Utbildningsplan för Kognitionsvetenskapligt kandidatprogram Bachelor Programme in Cognitive Science 180 Högskolepoäng Kognitionsvetenskap är ett tvärvetenskapligt kunskaps- och forskningsområde som studerar
Läs merAI FÖR FRAMTIDENS VÄLFÄRD. Caroline Andersson
AI FÖR FRAMTIDENS VÄLFÄRD Caroline Andersson 2019-10-02 Dagens agenda Vad är det som händer? Vad är AI? Exempel på tillämpningar Konsekvenser av AI Hur långt har Sverige som land kommit och vad behöver
Läs merKognitionsvetenskapligt kandidatprogram Bachelor Programme in Cognitive Science 180 Högskolepoäng
Utbildningsplan för Kognitionsvetenskapligt kandidatprogram Bachelor Programme in Cognitive Science 180 Högskolepoäng Kognitionsvetenskap är ett tvärvetenskapligt kunskaps- och forskningsområde som studerar
Läs merAsymptotisk analys innebär att... man försöker uppskatta vad som händer för stora indatamängder.
OBS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervalsfrågorna kan man bara ha rätt eller fel, dvs frågan måste vara helt korrekt besvarad för att man skall
Läs merKandidatprogrammet i kognitionsvetenskap
DNR LIU-2013-00294; LIU-2018-00946 1(8) Kandidatprogrammet i kognitionsvetenskap 180 hp Bachelor s Programme in Cognitive Science F7KK Gäller från: 2018 HT Fastställd av Fakultetsstyrelsen för filosofiska
Läs merÄmnesområden. Examensarbete inom datavetenskap (1DV41E) Martin Fredriksson
Ämnesområden Examensarbete inom datavetenskap (1DV41E) Martin Fredriksson martin.fredriksson@lnu.se 1 Ämnesområden ÖVERSIKT 2 Översikt Dagens föreläsning Fokus Innehåll Relevans Presentation Ämnesområden
Läs merKognitiv psykologi. Kognition / Tänkande. Tänkande
Kognitiv psykologi Tänkande och resonerande som grund för problemlösning Anders Jansson Kognition / Tänkande Kognitionsmodeller IP-modellen, Konnektionistiska teorier, Prototypteori, Kognitiv semantik,
Läs merSemantik och pragmatik (Serie 3)
Semantik och pragmatik (Serie 3) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 37 Logik: språk tanke (Saeed kapitel 4.) Satser uttrycker (ofta) tankar. Uttrycksrikedom
Läs merKandidatprogrammet i kognitionsvetenskap
DNR LIU-2013-00294 1(9) Kandidatprogrammet i kognitionsvetenskap 180 hp Bachelor s Programme in Cognitive Science F7KK Gäller från: 2016 HT Fastställd av Fakultetsstyrelsen för filosofiska fakulteten Fastställandedatum
Läs merLinköpings universitet
Översikt Kognitionsvetenskaplig introduktionskurs Föreläsning 4 Informationsbearbetningsmodeller Vad är kognitionsvetenskap? Kort bakgrund/historik Representation och bearbetning av information Vetenskapliga
Läs merUtbildningsplaner för kandidat-, magister och masterprogram. 1. Identifikation. Avancerad nivå
1. Identifikation Programmets namn Omfattning Nivå Programkod Ev. koder på inriktningar Beslutsuppgifter Ändringsuppgifter Masterprogram i kognitionsvetenskap 120 hp Avancerad nivå HAKOG Fastställd av
Läs merel o;; Utbildningsplan för Kognitionsvetenskapligt kandidatprogram Bachefor Programmein Cognitive Science 180 Högskolepoäng
el o;; Utbildningsplan för Kognitionsvetenskapligt kandidatprogram Bachefor Programmein Cognitive Science 180 Högskolepoäng Kognitionsvetenskap är ett tvärvetenskapligt kunskaps- och forskningsområde som
Läs merMänniska-datorinteraktion och användarcentrerad design
Människa-datorinteraktion och användarcentrerad design Tisdagen den 7 februari 10-12, E33 Människa-datorinteraktion "HCI is a discipline concerned with the design, evaluation and implementation of interactive
Läs merAsymptotisk analys innebär att... man försöker uppskatta vad som händer för stora indatamängder.
OBS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervarlsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merProbabilistisk logik 1
729G43 Artificiell intelligens / 2016 Probabilistisk logik 1 Marco Kuhlmann Institutionen för datavetenskap Osäkerhet 1.01 Osäkerhet Agenter måste kunna hantera osäkerhet. Agentens miljö är ofta endast
Läs merGranskning av gränssnitt. Mattias Arvola
Granskning av gränssnitt Mattias Arvola 2 Att skapa interaktiva system Identifiera krav Utforma alternativ Ta fram prototyper (eller annan illustration av system) Utvärdera 3 Mål med utvärderingen Revidera,
Läs merAntag att b är förgreningsfaktorn, d sökdjupet, T (d) tidskomplexiteten och M(d) minneskomplexiteten.
OS! För flervalsfrågorna gäller att ett, flera eller inget alternativ kan vara korrekt. På flervalsfrågorna ges 1 poäng för korrekt svar och 0,5 poäng om skillnaden mellan antalet korrekta svar och antalet
Läs merSocionomen i sitt sammanhang. Praktikens mål påverkas av: Socialt arbete. Institutionella sammanhanget
Socionomen i sitt skilda förutsättningar och varierande Förstå och känna igen förutsättningar, underbyggande idéer och dess påverkan på yrkesutövandet. Att förstå förutsättningarna, möjliggör att arbeta
Läs merArtificiell Intelligens
Omtentamen Artificiell Intelligens Datum: 2014-02-20 Tid: 14.00 18.00 Ansvarig: Resultat: Hjälpmedel: Gränser: Anders Gidenstam Redovisas inom tre veckor Inga G 8p, VG 12p, Max 16p Notera: Skriv läsbart!
Läs merSemantik och pragmatik
Semantik och pragmatik OH-serie 5 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Så här långt Konjunktion (p q): att två enklare satser
Läs merAI utmaningar inom kvalitetssäkring. Henrik Emilsson Teststrateg, Nordic Medtest AB
AI utmaningar inom kvalitetssäkring Henrik Emilsson Teststrateg, Nordic Medtest AB Först lite om Artificiell intelligens General AI vs. Narrow AI Maskininlärning Supervised Learning Unsupervised Learning
Läs merVARFÖR FINNS DET INGA RIKTIGA
VARFÖR FINNS DET INGA RIKTIGA ROBOTAR? Peter Gärdenfors och Christian Balkenius Kognitionsforskning, Lunds Universitet, S 223 50 Lund e-mail: peter.gardenfors@fil.lu.se christian.balkenius@fil.lu.se Här
Läs merLogisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1
Läs merForskningsperspektiv inom MDI Vetenskap, mångvetenskap och tvärvetenskap Vad är forskning inom MDI?
Forskningsperspektiv inom MDI Vetenskap, mångvetenskap och tvärvetenskap Vad är forskning inom MDI? Monk & Gilbert: The common goal is, ultimately, to provide designers with insights that will allow them
Läs merDen intelligenta dammsugaren
Institutionen för Datavetenskap presenterar: Den intelligenta dammsugaren En laboration i fyra delar Laborationen utvecklad av KogVet- studenter Reviderad 2007: Jenny Dalenius 1 Hej och välkommen! Bilden
Läs merOperatörer och användargränssnitt vid processtyrning
Operatörer och användargränssnitt vid processtyrning Analyser av strategier och domänspecifik kunskap Uppsala universitet @ 2003 Anders Jansson Formativa analyser En struktur för hur man genomför en formativ
Läs merSemantik och pragmatik (Serie 4)
Semantik och pragmatik (Serie 4) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 30 Så här långt (satslogik) Konjunktion (p q): att två enklare satser båda är uppfyllda.
Läs merFrån ljusenergi till en kub som går att stå på Hur man får en dator att känna igen olika former i visuell information
ARTIFICIELL INTELLIGENS II INSTITUTUINEN FÖR DATAVETENSKAP LINKÖPINGS UNIVERSITET Från ljusenergi till en kub som går att stå på Hur man får en dator att känna igen olika former i visuell information Anna
Läs merSTRIPS. En planerares uppbyggnad. Emma Torensjö. Artificiell Intelligens II. Linköpings Universitet HT Emma Torensjö.
STRIPS En planerares uppbyggnad Artificiell Intelligens II Linköpings Universitet HT 2012 Innehållsförteckning Innehåll Innehållsförteckning... 3 Inledning... 4 1. Introduktion till STRIPS... 4 2. Operatorbeskrivning
Läs merVarför är logik viktig för datavetare?
Varför är logik viktig för datavetare? 1. Datavetenskap handlar ofta om att automatisera processer som tidigare styrts av människor. Intuition, intelligens och mänskliga resonemang ersätts av beräkningar.
Läs merHögre kognitiva funktioner
Högre kognitiva funktioner Sternberg & Sternberg 6:e upplagan Problemlösning (Kapitel 12) Beslutsfattande & Resonemang (Kapitel 11) Linnea Karlsson, IMB, Biologihuset Flygel C, 6 tr. (linnea.karlsson@physiol.umu.se)
Läs merKognitiv psykologi. Schema. Tentamen Introduktion.
Kognitiv psykologi Introduktion Tobias Johansson Tobias.Johansson@hkr.se Schema www.distans.hkr.se/joto/kognition.html 1-2 kapitel vid varje tillfälle, eller övning, laboration etc Var förberedd, viktigt
Läs merTommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3
Föreläsning 2 Semantik 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 27 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 2.1 Innehåll Innehåll 1 Lite mer syntax 1 2 Strukturer
Läs merCase-based resoning. och dess användning inom sjukvården. Linköpings universitet Artificiell intelligens II 729G11 HT 2011
Linköpings universitet Artificiell intelligens II HT 2011 Case-based resoning och dess användning inom sjukvården Sammanfattning Det här arbetet handlar om vad case-based resoning är, hur den funkar, vilka
Läs merGrundläggande behörighet och Matematik B eller Matematik 2a/2b/2c (områdesbehörighet 7/A7, undantag ges för Fysik A/1b1/1a).
Utbildningsplan Dnr GU 2019/1571 IT-FAKULTETEN Kandidatprogram i kognitionsvetenskap, 180 högskolepoäng Bachelor in Cognitive Science, 180 Programkod: N1KOG 1. Fastställande Utbildningsplanen är fastställd
Läs merKognitionsvetenskap Kandidatprogrammet
Kognitionsvetenskap Kandidatprogrammet Mattias Arvola Programansvarig 1 2 3 4 5 6 HUR TÄNKER FOLK EGENTLIGEN? 7 HUR TÄNKER FOLK EGENTLIGEN? VAD ÄR EN TANKE? HUR ÄR SPRÅK UPPBYGGT? VAD BETYDER BILDER? VAD
Läs merLOKAL EXAMENSBESKRIVNING
Dnr G 2017/412 IT-FAKULTETEN LOKAL EXAMENSBESKRIVNING Filosofie kandidatexamen med huvudområdet kognitionsvetenskap Degree of Bachelor of Science with a major in Cognitive Science 1. Fastställande Examensbeskrivning
Läs merVad säger forskningen om programmering som kunskapsinnehåll? Karin Stolpe, föreståndare NATDID liu.se/natdid
Vad säger forskningen om programmering som kunskapsinnehåll? Karin Stolpe, föreståndare NATDID liu.se/natdid 2017-10-19 2 Programmering i skolan 2017-10-19 3 Lgr 11 (rev. 2017) Arbetssätt för utveckling
Läs merARTIFICIELL INTELLIGENS
ARTIFICIELL INTELLIGENS www..se Så fungerar det Artificiell Intelligens (AI) är intelligens som uppvisas av maskiner. Uttrycket användes för första gången 1955 i ett forskningsförslag med syftet att hitta
Läs merPrototypbaserad Inkrementell Diagnos. Anders Holst SICS, Swedish Institute of Computer Science AB
Prototypbaserad Inkrementell Diagnos Anders Holst SICS, Swedish Institute of Computer Science AB Metoder för Industriell Diagnos Datadrivna metoder Träna in en mappning från symptom till diagnoser. Kräver
Läs merVad kan biologiskt plausibla modeller säga oss?
Förra föreläsningen Vad kan biologiskt plausibla modeller säga oss? Beräkningsmässig kognitiv neurovetenskap Simulering av modeller kan ge insikt i mänskligt tänkande Kognitiva fenomen Simulering beräkningsprinciper
Läs merHur kan man lyssna på den komplexa patienten?
Hur kan man lyssna på den komplexa patienten? (och förstå vad hon behöver..) Statens medicinsk-etiska råds konferens Patientautonomi till varje pris?, Tema: Patientautonomi, vackra ord eller verklighet?
Läs merElektronisk patientjournal
Elektronisk patientjournal Hippokrates Typer Tidsorienterad, problemorienterad samt källorienterad Varför? Stödja vården, legala skäl, forskning, utbildning. Data måste vara otvetydiga, strukturerade,
Läs merGrundläggande logik och modellteori
Modeller och uttrycksfullhet hos predikatlogik Department of mathematics Umeå university Föreläsning 10 Dagens föreläsning 1 Innehåll på resten av kursen 2 Varför verifikation? Formella metoder för verifikation
Läs mer729G43 Artificiell intelligens Sökning
729G43 Artificiell intelligens Sökning Arne Jönsson HCS/IDA Problemformulering Ø Ø Ex. Hitta bästa vägen från Arad till Bukarest Returnera en sekvens av handlingar till en intelligent agent Oradea 71 Neamt
Läs merHur får jag ut kraft och nytta av POWER?
Hur får jag ut kraft och nytta av POWER? TOP 25 ARTIFICIAL INTELLIGENCE SOLUTION PROVIDERS - 2017 Christoffer Göransson 0733-408700 Christoffer.goransson@inoviagroup.se Agenda Kort om oss Inovia/AI Hur
Läs merOntologier. Cassandra Svensson 2014-01-09
Ontologier Cassandra Svensson 2014-01-09 Sammanfattning Jag har läst Annika Flycht-Ericssons avhandling Design and Use of Ontoligies in information-providing Dialogue Systems. Med Annikas text som utgångspunkt
Läs merExtramaterial till Matematik Y
LIBR PROGRAMMRING OCH DIGITAL KOMPTNS xtramaterial till Matematik Y NIVÅ TT Geometri LÄRAR Desmos Geometry är ett matematikverktyg som bland annat kan hjälpa dig att avbilda geometriska figurer och göra
Läs merDatateknik B, Tillämpad datavetenskap, 30 högskolepoäng Computer Science, Applied Computer Science, Intermediate Course, 30 Credits
1(5) Kursplan Institutionen för naturvetenskap och teknik Datateknik B, Tillämpad datavetenskap, 30 högskolepoäng Computer Science, Applied Computer Science, Intermediate Course, 30 Credits Kurskod: DT2022
Läs merVirtuellt VA med digitala tvillingar
Virtuellt VA med digitala tvillingar Digitaliseringens möjligheter Praktisk tillämpning av digitala tvillingar Diskutera framtida digitaliseringen av VA-branschen Maria Bennet, sektionschef Vatten, ÅF
Läs merVindkraft och ML. - hur kan vindkraft dra nytta avml
Vindkraft och ML - hur kan vindkraft dra nytta avml AI och ML Intelligens: förmågan att utnyttja kunskap för att bättre lösa en klass av uppgifter Lärande: förmågan att förbättra sin förmåga att lösa uppgifterna
Läs merProblemlösning. Planering av program. Konstruktion. Programmeringsmetaforer. Problemlösning. Programmering = Problemlösning
Problemlösning Problemlösning Vad är problemlösning Hur ser ett problem ut? Programmering = Problemlösning Omformulering av ett problem kan i slutändan omsättas i ett program. Ett program består av en,
Läs merBeräkning med ord. -hur en dator hanterar perception. Linköpings universitet Artificiell intelligens 2 2010-10-03 Erik Claesson 880816-1692
Beräkning med ord -hur en dator hanterar perception 2010-10-03 Erik Claesson 880816-1692 Innehåll Inledning... 3 Syfte... 3 Kan datorer hantera perception?... 4 Naturligt språk... 4 Fuzzy Granulation...
Läs merElektroteknik. Louisa May Alcott. Elektroteknik 69
Elektroteknik I m not afraid of storms, for I m learning how to sail my ship. Louisa May Alcott Elektroteknik 69 Sabeen Nawaz Elektroteknik är ett samlingsnamn för teknik som utnyttjar elektricitet. I
Läs merProfil: Medicinsk informatik. Mikael Nyström Institutionen för medicinsk teknik
Profil: Medicinsk informatik Mikael Nyström Institutionen för medicinsk teknik 2 Medicinsk informatik Informationshantering i egen-, hälso- och sjukvården, omsorgen, life science -forskning och -utbildning
Läs merMatcha rätt hjärta till rätt patient med AI. Dennis Medved
Matcha rätt hjärta till rätt patient med AI Dennis Medved Översikt Introduktion IHTSA LuDeLTA Sammanfattning Framtida arbete Introduktion Hjärttransplantation Livräddande operation för patienter med hjärtsvikt
Läs merInteraktionsdesign, grundkurs (7,5 HP)
Interaktionsdesign, grundkurs (7,5 HP) Vem är jag? Mattias Wallergård Elektroteknik, PhD (LTH) Forskar och undervisar inom interaktionsdesign, Virtual Reality & Augmented Reality Det började med att farmor
Läs merLinköpings universitet 1
Universitetsstudier Kognitionsvetenskaplig introduktionskurs Föreläsning 1 Universitetsstudier Kursinformation Vad är kognitionsvetenskap? Historiska rötter 4 Kursinformation Innehåll och kursens roll
Läs merRegisterforskning Oktober 2018, Stockholm City Conference Centre. Möjligheter med Artificiell Intelligens inom registerforskningen
Registerforskning 2018 17 Oktober 2018, Stockholm City Conference Centre Möjligheter med Artificiell Intelligens inom registerforskningen Peter Funk Mälardalens Högskola Vem är Peter Funk? Artificiell
Läs merKandidatprogram i kognitionsvetenskap, 180 högskolepoäng
IT- fakultetsstyrelsen Ä8 ITFS 2013-09-26/bil 1 Kandidatprogram i kognitionsvetenskap, 180 högskolepoäng (Bachelor in Cognitive Science, 180 higher education credits) Grundnivå 1. Fastställande Utbildningsplan
Läs merImplementering - teori och tillämpning inom hälso- och sjukvård
Implementering - teori och tillämpning inom hälso- och sjukvård Siw Carlfjord Leg sjukgymnast, Med dr IMH, Linköpings universitet There are not two sciences There is only one science and the application
Läs merDD1350 Logik för dataloger. Vad är logik?
DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik
Läs merAnna: Bertil: Cecilia:
Marco Kuhlmann 1 Osäkerhet 1.01 1.02 1.03 1.04 1.05 Intelligenta agenter måste kunna hantera osäkerhet. Världen är endast delvist observerbar och stokastisk. (Jmf. Russell och Norvig, 2014, avsnitt 2.3.2.)
Läs merInteraktionsdesign, grundkurs (7,5 HP)
Interaktionsdesign, grundkurs (7,5 HP) Vem är jag? Christofer Rydenfält Forskar inom Human Factors, ofta med fokus på avancerad sjukvård Doktor i arbetsmiljöteknik Lärare på kursen Christofer Rydenfält:
Läs merIntroduktion programmering
Introduktion programmering 30.11.2017 Innehåll Introduktion (Vetenskapens hus, direktiv regering & skolverket) Varför är programmering viktigt! några välkända röster Praktik; lapp programmering & blue
Läs mer? sensornätverk, distans
Inför valet vt19 Kurser markerade med grått går sannolikt under hösten -19 eller går inte det här läsåret. Kurserna är på 7,5 högskolepoäng (hp) om inget annat anges. PrKu står för programkurs och brukar
Läs merBoken. Kap 2.1-2.4 Kap 11.3
Konceptuell design Boken Kap 2.1-2.4 Kap 11.3 Konceptuell design är helt grundläggande inom interaktionsdesign kan upplevas som abstrakt och svårt att förstå förstås bäst genom att man utforskar och upplever
Läs merÖresund: olycksfallsskador i betongelementfabrikerna Sverige
Skador/10 000 arbetsår 2013-09-03 Tar man risker - eller får man dem? Om individ, organisationsklimat och säkerhet Marianne Törner Forskningsledare Säkerhet, organisation och ledarskap, Arbets- och miljömedicin,
Läs merLinköpings universitet
2014-09-12 Kursens roll i programmet Ge en bred introducerande översikt Kognitionsvetenskaplig introduktionskurs Historisk bakgrund Grundläggande frågeställningar Föreläsning Kurssammanfattning Delämnen
Läs merOptimera, inte eliminera, den mänskliga hjärnan genom AI. Anna-Karin Edstedt Bonamy, MD, PhD Chief Medical Officer, Doctrin AB
Optimera, inte eliminera, den mänskliga hjärnan genom AI Anna-Karin Edstedt Bonamy, MD, PhD Chief Medical Officer, Doctrin AB En av sjukvårdens största utmaningar är ökande personalbrist 4 av 10 läkare
Läs merWittgenstein for dummies Eller hur vi gör det obegripliga begripligt. Västerås 15 februari 2017
Wittgenstein for dummies Eller hur vi gör det obegripliga begripligt Västerås 15 februari 2017 En värld är varje människa, befolkad av blinda varelser i dunkelt uppror mot jaget konungen som härskar över
Läs merMedicinsk Informatik VT 2005
Medicinsk Informatik VT 2005 Introduktion till Medicinsk Informatik Informationsteknologi Teknikgrad Information technology Datavetenskap Computer science Systemvetenskap System analysis and design Informatik
Läs merHandledare: Mikael Goldmann
2012-02- 23 Jacob Rydh Robert Hedin Sudoku Solver Projektspecifikation Handledare: Mikael Goldmann Introduktion Vi ska studera och utforma olika algoritmer för att lösa Sudoku puzzel. Vi kommer testa olika
Läs merMedicinsk Informatik VT 2004
Informatik VT 2004 Introduktion till Informatik Informationsteknologi Information technology Datavetenskap Computer science Informatik Teknikgrad Systemvetenskap System analysis and design Informatics
Läs mer7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner
Läs merDatorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik II 1 Predikatlogik, generella
Läs merProgrammeringspalett. Pr o gr a mvar a
Pr o gr a mvar a en innehåller alla programmeringsikoner du behöver för att göra dina program. Varje programmeringsikon innehåller instruktioner som din NXT-enhet kan tolka. Du kan kombinera ikonerna för
Läs mer