Tussentijdse toets Expertsystemen
|
|
- Timo Peters
- 6 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Dit tentamen is in elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. A Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit tentamen. Tussentijdse toets Expertsystemen Datum: 27 mei 2004 Tijd: uur Zaal: EDUC-alfa U mag tijdens de toets geen literatuur of ander onderwijsmateriaal raadplegen. Mobiele telefoons dienen uitgeschakeld te zijn. Voorzie elk antwoordblad van uw naam en studentnummer. Schrijf leesbaar: onleesbare antwoorden worden niet nagekeken. Vroegste vertrek is om 13:30 uur. Laat bij het inleveren uw collegekaart / identiteitsbewijs zien. Succes! 1
2 Meerkeuzevragen De onderstaande tien meerkeuzevragen hebben betrekking op een productiesysteem met top-down inferentie waarin gebruik gemaakt wordt van objectattribuut-waarde tupels. Elke meerkeuzevraag heeft precies één goed antwoord. Met elke meerkeuzevraag zijn 3 punten te verdienen. 1. Een kennisbank bevat mogelijk: a. traceerfaciliteiten. b. een domeindeclaratie. c. een feitenverzameling. d. een inferentiemachine (inference engine). 2. Van de volgende problemen is een productiesysteem met top-down inferentie is het meest geschikt voor... a. het herkennen van eetbare paddestoelen. b. het herkennen van handgeschreven adressen. c. het positioneren van plaatsnamen op een landkaart. d. het maken van een werkrooster voor ziekenhuispersoneel. 3. Een consequent van een productieregel bevat... a. precies één conclusie. b. een disjunctie van conclusies. c. een conjunctie van conclusies. d. een conjunctie van disjuncties van conclusies. 4. In de standaard eerste-orde logica kan... wel uitgedrukt worden. a. modify b. remove c. notsame d. unknown 2
3 5. Een conflict set bestaat uit: a. alle productieregels die zijn toegepast. b. alle productieregels waarvan de condities slagen. c. alle productieregels waarvan tenminste één conditie het doelattribuut bevat. d. alle productieregels waarvan tenminste één conclusie het doelattribuut bevat. 6. Het markeren van productieregels voorkomt: a. het onnodig toepassen van regels. b. het onnodig traceren van object-attribuut paren. c. het onnodig toepassen van regels en het onnodig traceren van object-attribuut paren. d. het evalueren van een niet eerder toegepaste regel als al bij voorbaat bekend is dat deze zal falen. 7. Als bij het toepassen van het certainty factor model een hogere drempelwaarde wordt gehanteerd, dan worden voor de waarden van het doelattribuut... afgeleid. a. altijd precies dezelfde certainty factors b. altijd dezelfde of lagere certainty factors c. altijd dezelfde of hogere certainty factors d. dezelfde, hogere of lagere certainty factors 8. Hoeveel productieregels moet een kennisbank minimaal bevatten opdat alle combinatiefuncties van het certainty factor model tijdens de inferentie gebruikt worden? a. een. b. twee. c. drie. d. vier. 3
4 9. De why-faciliteit geeft de gebruiker de mogelijkheid te onderzoeken: a. waarom het systeem een bepaalde vraag stelt. b. waarom geen waarde voor een object-attribuut paar is afgeleid. c. waarom een bepaalde waarde voor een object-attribuut paar is afgeleid. d. waarom een bepaalde waarde niet voor een object-attribuut paar is afgeleid. 10. Een kennismodel dat tijdens het bouwen van een kennissysteem ontwikkeld wordt,... a. is vaak opgesplitst in deelmodellen. b. is altijd uitgedrukt in een kennisrepresentatieformalisme, zoals productieregels. c. bevat een analyse van de haalbaarheid van het project, gezien de beschikbare kennisbronnen. d. bevat een analyse van de achtergrondkennis die vereist is voor toekomstige gebruikers van het systeem. 4
5 Open vragen De onderstaande drie open vragen hebben eveneens betrekking op een productiesysteem met top-down inferentie. In de verschillende opgaven wordt nu echter van verschillende representaties en van verschillende varianten van het inferentiealgoritme gebruik gemaakt. Met de drie vragen zijn repectievelijk 30, 20 en 20 punten te verdienen. Vraag A Beschouw de volgende verzameling productieregels: {R 1 : if same(y, L) then add(w, E) with cf = 0.3 fi, R 2 : if same(x, G) or same(y, K) then add(w, E) with cf = 0.5 fi, R 3 : if same(t, A) then add(u, B) with cf = 0.3 fi, R 4 : if same(x, H) then add(u, C) with cf = 0.5 fi, R 5 : if same(x, G) then add(v, D) with cf = 0.7 fi, R 6 : if same(w, E) and known(u) then add(z, M) with cf = 1.0 fi} Met de conclusies van de productieregels zijn certainty factors geassocieerd. De variabele u is eenwaardig; de overige variabelen zijn meerwaardig. De variabele z is het doel van top-down inferentie met deze regels. Vraagbaar zijn de variabelen t, x en y. Degebruiker geeft voor de variabele t desgevraagd de waarde A met certainty factor cf = 1.0; voor de variabele x wordt desgevraagd de waarde G gegeven met certainty factor cf = 0.6 en de waarde H met certainty factor cf = 0.1; voor de variabele y wordt de waarde K gegeven met certainty factor cf = 0.8 en de waarde L met certainty factor cf = 1.0. De feitenverzameling is initieel leeg. Op de regelverzameling wordt het top-down inferentie algoritme toegepast waarin, als verfijning, variabelen en regels worden gemarkeerd; de regels en de condities in de regels worden in volgorde van specificatie geëvalueerd. Voor het redeneren met onzekerheid wordt gebruikgemaakt van het certainty factor model; in Bijlage I bij deze toets zijn de combinatiefuncties van dit model gegeven. Bij de evaluatie van de predikaten wordt door het certainty factor model een drempelwaarde van 0.2 gehanteerd. Geef de feitenverzameling die na afloop van de inferentie resulteert. Welke regels zijn tijdens de inferentie geslaagd, welke hebben gefaald en welke zijn niet toegepast? Motiveer uw antwoord. 5
6 Vraag B Beschouw het top-down inferentie algoritme waarin, als verfijning, regels worden gemarkeerd; er wordt niet met onzekerheid geredeneerd. Tijdens de inferentie wordt een variant van de look-ahead faciliteit toegepast. Met deze variant van de look-ahead faciliteit worden alleen de condities geëvalueerd die betrekking hebben op variabelen die reeds in de feitenverzameling voorkomen. a. Beschouw een consistente regelverzameling waarin alle variabelen meerwaardig zijn. Kan het gebruik van de beschreven variant van de look-ahead faciliteit er toe leiden dat productieregels ten onrechte niet worden toegepast? Motiveer uw antword. b. Beschouw nu een consistente regelverzameling waarin alle variabelen eenwaardig zijn. Beantwoord dezelfde vraag als bij onderdeel a. Vraag C In de ontwikkeling van een kennissysteem worden meestal zes fasen onderscheiden: de probleemanalyse, het ontwikkelen van het kennismodel, de formalisering, de implementatie, de evaluatie en tenslotte de fase van integratie en onderhoud. a. Bij het ontwikkelen van een regelverzameling voor een kennissysteem kan gebruik gemaakt worden van een consistentie-checker. In welke van de bovengenoemde fasen in de ontwikkeling van het systeem kan zo n consistentie-checker worden toegepast? Kan het gebruik van de consistentie-checker van invloed zijn op de eindproducten van de andere fasen? Motiveer uw antwoord. b. Bij het ontwikkelen van een regelverzameling voor een kennissysteem kan gebruik gemaakt worden van regelmodellen. In welke van de bovengenoemde fasen kunnen dergelijke modellen worden gebruikt? Kan het gebruik van regelmodellen van invloed zijn op de eindproducten van de andere fasen? Motiveer uw antwoord. 6
7 Bijlage I: De combinatiefuncties van het certainty factor model De vier combinatiefuncties van het certainty factor model zijn: CF(h, e )=CF(h, e) max{0, CF(e, e )} CF(e 1 and e 2,e )=min{cf(e 1,e ), CF(e 2,e )} CF(e 1 or e 2,e )=max{cf(e 1,e ), CF(e 2,e )} CF(h, e 1 co e 2 )= CF(h, e 1 )+CF(h, e 2 )(1 CF(h, e 1 )) als CF(h, e i ) > 0,i=1, 2 CF(h, e 1 )+CF(h, e 2 ) 1 min{ CF(h, e 1 ), CF(h, e 2 ) } als 1 < CF(h, e 1 ) CF(h, e 2 ) 0 CF(h, e 1 )+CF(h, e 2 )(1 + CF(h, e 1 )) als CF(h, e i ) < 0,i=1, 2 7
Opgaven bij Hoofdstuk 3 - Productiesystemen
Opgaven bij Hoofdstuk 3 - Productiesystemen Top-down inferentie In de opgaven in deze paragraaf over top-down inferentie wordt aangenomen dat de feitenverzameling alleen feiten bevat die als getraceerd
Nadere informatieExpertsystemen. Hoorcollege 9: Knowledge engineering en maintenance. Representatie van kennis. Verkrijgen en modelleren van kennis
Expertsystemen Hoorcollege 9: Knowledge engineering en maintenance Representatie van kennis Verkrijgen en modelleren van kennis Ondersteuning van modellering en onderhoud 1 Knowledge engineering Knowledge
Nadere informatieTerug naar regels. Redeneren met onzekerheid III. Voorbeeld. Kies een geschikte theorie Vind een invulling voor de combinatiefuncties f and, f or,
Redeneren met onzekereid III Onderwerpen: Regelgeassocieerde metoden voor redeneren met onzekereid Subjectieve Bayesiaanse metode Relatie met certainty-factor model en daarmee met Bayesiaanse netwerken
Nadere informatieKennisrepresentatie. Vormen van kennisrepresentatie. Geschiedenis productiesystemen. Productieregelformalisme
Kennisrepresentatie Vormen van kennisrepresentatie Formele taal die geschikt is voor het: vastleggen van kennis redeneren met kennis Eisen formalisme voor representatie domeinkennis: voldoe uitdrukkingskracht
Nadere informatieManipulatie van onzekerheid in regels
Redeneren met onzekerheid Onderwerpen: waarom speelt onzekerheid een belangrijke rol? hoe leggen we onzekere kennis vast? ontwikkelingen: jaren 1980 aanpak: representatie in regels (MYIN, Prospector) jaren
Nadere informatiep. 1/39 Voorbeeld: R = {R 1 : if same(x,a) and same(y,b) then R 2 : if same(x,b) then add(u,f) fi, R 3 : if same(z,c) and same(w,d) then
Bottom-up Inferentie Data-gestuurde inferentievorm: Vergelijking Top-down inferentie: selectie regels match (sub)doel conclusie Uiteindelijke Feiten Doelen Initiële feitenverzameling: F = {A} Regelverzameling:
Nadere informatieRedeneren met Onzekerheid II. Manipulatie van Onzekerheid. Kansverdeling. if E 2 then H y2 fi. if E 1 and E 2 then H z fi.
Redeneren met Onzekerheid II Classificatieregel-gebaseerd redeneren met onzekerheid: kies een geschikte theorie vind een invulling voor de combinatiefuncties implementeer de combinatiefuncties als onderdeel
Nadere informatieTentamen in2205 Kennissystemen
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen in2205 Kennissystemen 21 Januari 2010, 14:0017:00 Dit tentamen heeft 5 meerkeuzevragen in totaal goed voor 10 punten
Nadere informatieOefenopgaven Intelligente Systemen
Voorwoord Oefenopgaven Intelligente Systemen 2007 2008 Deze bundel opgaven sluit aan bij de stof van het college Intelligente Systemen. De stof waar de vraagstukken betrekking op hebben wordt groteels
Nadere informatieTentamen Kunstmatige Intelligentie (INFOB2KI)
Tentamen Kunstmatige Intelligentie (INFOB2KI) 30 januari 2014 10:30-12:30 Vooraf Mobiele telefoons dienen uitgeschakeld te zijn. Het tentamen bestaat uit 7 opgaven; in totaal kunnen er 100 punten behaald
Nadere informatieOefententamen in2205 Kennissystemen
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Oefententamen in2205 Kennissystemen 20 December 2007 Tijdens een echt tentamen is gebruik van boek of aantekeningen niet
Nadere informatieModel-gebaseerd Redeneren. Ervaringsregels. Medische diagnostiek: facialisparese. Gebruik van modellen. Probleemoplossen op grond van ervaringsregels:
Model-gebaseerd Redeneren Ervaringsregels Traditionele kennissystemen: regel gebaseerd (ervaringsregels) if conditions then actions/conclusions fi. gebruikte redeneermethoden: top-down inferentie: redeneer
Nadere informatieOpgaven bij Hoofdstuk 4 - Frames en Overerving
Opgaven bij Hoofdstuk 4 - Frames en Overerving Semantische netwerken Opgave 1 a. Een semantisch net S is een geëtiketteerde graaf S = (V (S), A(S), λ), met V (S) de verzameling knopen, A(S) V (S) V (S)
Nadere informatieTentamen TI1300 en IN1305-A (Redeneren en) Logica
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 21 Januari 2011, 8.30 11.30 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR
Nadere informatieAI Kaleidoscoop. College 6: Deel 1:Expert systemen Deel 2: Onzekerheid in redeneren. Deel II: Redeneren met onzekerheid. Redeneren met onzekerheid
AI Kaleidoscoop College 6: Deel 1:Expert systemen Deel 2: Onzekerheid in redeneren Leeswijzer: 8.0-7.1 + 5.2 + 9.2.1 AI6 1 Deel II: Redeneren met onzekerheid Onzekerheid is aanwezig in alle KBS systemen
Nadere informatieInformatiemaatschappij Aanvullende toets
Informatiemaatschappij Aanvullende toets Departement Informatica Faculteit Bètawetenschappen Universiteit Utrecht Woensdag 24 december 2008 09:00 12:00 uur BBL-513 Vooraf Vul je naam en collegekaartnummer
Nadere informatieCLIPS en het Rete-algoritme. Productieregels in CLIPS. Feiten. Productiesysteem (voorbeeld)
CLIPS en het Rete-algoritme CLIPS: acroniem voor C Language Integrated Production System Verwant aan OPS5 (Carnegie-Mellon University), en gebaseerd op ART (Artificial Reasoning Tool) Ontwikkeld door Lyndon
Nadere informatieExpertsystemen. Marco Wiering CGN A126 Tel. 030 2539209 marco@cs.uu.nl
Expertsystemen Marco Wiering CGN A126 Tel. 030 2539209 marco@cs.uu.nl Inleiding en inperking (1) Expertsystemen en Artificial Intelligence (AI) Wat is intelligentie? Inleiding en inperking (2) Inleiding
Nadere informatieArtificiële intelligentie: les van 21 november 2002
Artificiële intelligentie: les van 21 november 2002 Nys Wim, wim.nys@vub.ac.be Gybels Kim, kim.gybels@vub.ac.be Leuse Tom, tom.leuse@vub.ac.be Heyse Wouter, wouter.heyse@vub.ac.be Frank Joris, frank.joris@vub.ac.be
Nadere informatieArtificiële Intelligentie 1. Kennissystemen. 22 oktober 2002
Artificiële Intelligentie 1 Kennissystemen 22 oktober 2002 Deze oefeningenles gaat over kennissystemen, één van de grootste succesverhalen van de kunstmatige intelligentie. We zullen zien wat kennissystemen
Nadere informatieFaculteit der Geneeskunde
Faculteit der Geneeskunde Tentamen blok Datum Tijd : naam van blok : datum van afname tentamen : met RD: zonder RD: Op dit voorblad vindt u belangrijke informatie over het tentamen. Voordat u met het tentamen
Nadere informatieTentamen Kunstmatige Intelligentie (INFOB2KI)
Tentamen Kunstmatige Intelligentie (INFOB2KI) 12 december 2014 8:30-10:30 Vooraf Mobiele telefoons en dergelijke dienen uitgeschakeld te zijn. Het eerste deel van het tentamen bestaat uit 8 multiple-choice
Nadere informatieTentamen Databases. 18 december 2002. 09:00-12:00, Educatorium Gamma
Dit tentamen is in elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. A Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit tentamen. Tentamen
Nadere informatiebeeldende vakken CPE GL en TL tekenen, handenarbeid, textiele werkvormen, audiovisuele vormgeving
Examen VMBO-GL en TL 2016 gedurende 720 minuten beeldende vakken CPE GL en TL tekenen, handenarbeid, textiele werkvormen, audiovisuele vormgeving Naam kandidaat Kandidaatnummer Opgavenboekje Dit examen
Nadere informatieNaam:... INFO / WIS-INF / ASIB / IAJ. Theorie
Theorie Beantwoord onderstaande vragen (elke vraag staat op 3 punten) door de antwoordzinnen KORT aan te vullen. 1. Wat doe je wanneer je de risico's projecteert (afschat)? Welke categorieën van risico's
Nadere informatieImplementatie van Programmeertalen (IPT) 4 mei 2001
Informatica Instituut, Faculteit Wiskunde en Informatica, UU. In elektrosche vorm beschikbaar gemaakt door de TBC van A Eskwadraat. Het college IPT werd in 2000/2001 gegeven door Drs. A. Dijkstra en Drs.
Nadere informatieOntwerp van Algoritmen: opgaven weken 3 en 4
0 Ontwerp van Algoritmen: opgaven weken 3 en 4 Voor alle volgende opgaven over programmaatjes geldt de spelregel: formuleer altijd eerst alle bewijsverplichtingen. selectie 45. (tail distribution)(prima
Nadere informatieLogica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online)
Logica Les 1 Definities en waarheidstabellen (Deze les sluit aan bij les 1 van de syllabus Logica WD_online) Definities Een propositie is een bewering die waar of onwaar is (er is geen derde mogelijkheid).
Nadere informatiePracticumopgave 3: SAT-solver
Practicumopgave 3: SAT-solver Modelleren en Programmeren 2015/2016 Deadline: donderdag 7 januari 2016, 23:59 Introductie In het vak Inleiding Logica is onder andere de propositielogica behandeld. Veel
Nadere informatieOver Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding. G.J.E. Rutten
1 Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding G.J.E. Rutten Introductie In dit artikel wil ik het argument van de Amerikaanse filosoof Alvin Plantinga voor
Nadere informatieConstraint satisfaction. Computationele Intelligentie. Voorbeelden. Een constraint satisfaction probleem. Constraint Satisfaction
Constraint satisfaction Computationele Intelligentie Constraint Satisfaction Een constraint satisfaction probleem (CSP) bestaat uit: een verzameling variabelen; een domein van waarden voor elke variabele;
Nadere informatieVijfde college complexiteit. 21 februari Selectie Toernooimethode Adversary argument
Complexiteit 2017/05 College 5 Vijfde college complexiteit 21 februari 2017 Selectie Toernooimethode Adversary argument 1 Complexiteit 2017/05 Opgave 28 Gegeven twee oplopend gesorteerde even lange rijen
Nadere informatieVeel succes! 1. Gegeven is de volgende klasse:
Dit tentamen is in elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. A Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit tentamen. Derde deeltentamen
Nadere informatieFaculteit Economie en Bedrijfskunde
Faculteit Economie en Bedrijfskunde Op dit voorblad vindt u belangrijke informatie omtrent het tentamen. Voordat u met het tentamen t: lees dit voorblad! Tentamen: V&O IV: Programmeren Tentamendatum &
Nadere informatieTECHNISCHE UNIVERSITEIT EINDHOVEN. Faculteit Wiskunde en Informatica
TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Extra Tentamen Databases 1, 2M400, 8 oktober 2003. Alle uitwerkingen van de opgaven moeten worden ingevuld in de daarvoor bestemde vrije
Nadere informatieTentamen TI1300 en IN1305-A (Redeneren en) Logica
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 5 november 2010, 9.00 12.00 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR
Nadere informatieAanvullende toets Gameprogrammeren (INFOB1GP) Woensdag 24 december 2014, uur
Aanvullende toets Gameprogrammeren (INFOB1GP) Woensdag 24 december 2014, 13.30-15.30 uur Naam: Studentnummer: Het tentamen bestaat uit 4 opgaven. Opgaven 1 levert 8 punten op, opgave 2 levert 12 punten
Nadere informatieVOORBLAD SCHRIFTELIJKE TOETSEN
Technology, Innovation & Society Delft VOORBLAD SCHRIFTELIJKE TOETSEN OPLEIDING TOETSCODE GROEP : ELEKTROTECHNIEK : GESPRG-SC1 : EP11/EP12 TOETSDATUM : 23-01-2014 TIJD : 15.00 16.30 uur AANTAL PAGINA S
Nadere informatieInleiding. Inleiding. Artificiële Intelligentie 1. Waarschijnlijkheid en redeneren met waarschijnlijkheid. Omgaan met onzekerheid. Waarschijnlijkheid
Inleiding Voorbeeld van een actie: A t = vertrek t minuten voor mijn vlucht naar de luchthaven. Artificiële Intelligentie 1 Hoe kan je nagaan als A t je op tijd op de luchthaven brengt? Waarschijnlijkheid
Nadere informatieLogica voor Informatica
Logica voor Informatica 13 Programma verificatie Wouter Swierstra University of Utrecht 1 Programmeertalen en logica Bij logische programmeertalen hebben we gezien dat we rechstreeks met (een fragment
Nadere informatieUniversiteit Utrecht Faculteit Wiskunde en Informatica. Examen Optimalisering op maandag 18 april 2005, uur.
Universiteit Utrecht Faculteit Wiskunde en Informatica Examen Optimalisering op maandag 18 april 2005, 9.00-12.00 uur. De opgaven dienen duidelijk uitgewerkt te zijn en netjes ingeleverd te worden. Schrijf
Nadere informatieTI-2720 Operating System Concepten. 21 januari 2013, uur. docent: H.J. Sips. Dit is een tentamen met 9 open vragen
TECHNISCHE UNIVERSITEIT DELFT Faculteit EWI, Afdeling SCT Sectie Parallelle en Gedistribueerde Systemen Ty Delft TI-2720 Operating System Concepten 21 januari 2013, 14.00-17.00 uur. docent: H.J. Sips Dit
Nadere informatieNaam student. Examennummer. Handtekening
Business Administration / Bedrijfskunde Naam student Examennummer : : Handtekening : Schriftelijk Tentamen Algemeen Vak: Wetenschapsleer Groep: 1 Vakcode: BKB0016 Soort tentamen Gesloten boek (open of
Nadere informatiepublic boolean equaldates() post: returns true iff there if the list contains at least two BirthDay objects with the same daynumber
Tentamen TI1310 Datastructuren en Algoritmen, 15 april 2011, 9.00-12.00 TU Delft, Faculteit EWI, Basiseenheid Software Engineering Bij het tentamen mag alleen de boeken van Goodrich en Tamassia worden
Nadere informatieVOORBLAD SCHRIFTELIJKE TOETSEN
Technology, Innovation & Society Delft VOORBLAD SCHRIFTELIJKE TOETSEN OPLEIDING TOETSCODE GROEP : ELEKTROTECHNIEK : GESPRG : EP11/EP12 TOETSDATUM : 07-02-2014 TIJD : 13.00 14.30 uur AANTAL PAGINA S (incl.
Nadere informatieTentamen Objectgeorienteerd Programmeren TI februari Afdeling ST Faculteit EWI TU Delft
I ' Tentamen Objectgeorienteerd Programmeren TI 1200 1 februari 2012 9.00-12.00 Afdeling ST Faculteit EWI TU Delft Bij dit tentamen mag je geen gebruik maken van hulpmiddelen zoals boek of slides. Dit
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatieBeoordelingsformulier KET Een gezondheidsbevorderende interventie ontwikkelen inclusief evaluatieplan
Beoordelingsformulier KET 9 2019-2020 Een gezondheidsbevorderende ontwikkelen inclusief evaluatieplan Student: Titel : Datum: Beoordelaar 1: Beoordelaar 2: Voorwaarden voor beoordelen Het eindproduct is
Nadere informatieModelleren en Programmeren voor KI
Modelleren en Programmeren voor KI Practicumopdracht 4: SAT Solver Tomas Klos Het SAT probleem Parvulae Logicales: Propositielogica, Hoofdstuk 6 (Semantiek), p. 62: Het SAT probleem Ik geef je een propositielogische
Nadere informatieMondeling versus schriftelijk examen
Mondeling versus schriftelijk examen Omschrijving Een mondeling examen is een evaluatievorm waarbij aan de hand van een gesprek tussen de examinator en de student wordt nagegaan in welke mate de student
Nadere informatieDoel van college 2. College 2: CASNET systeem. Bestuderen van een concreet systeem dat model-gebaseerd redeneert. CASNET is een medisch expertsysteem:
College 2: CASNET systeem Doel van college 2 CASNET is een medisch expertsysteem: diagnose therapie selectie model gebaseerde methode toepassing in glaucoom domein Bestuderen van een concreet systeem dat
Nadere informatieIn deze les. Eerste orde logica. Elementen van EOL. Waarom eerste orde logica? Combinatie met logica. Variabelen en Kwantoren
In deze les Eerste orde logica Bart de Boer Waarom EOL? Syntax en semantiek van EOL Opfrisser Gebruik van EOL EOL in de Wumpus-wereld Waarom eerste orde logica? Eerste orde logica kan alles uitdrukken
Nadere informatieTechnology, Innovation & Society Delft
Technology, Innovation & Society Delft VOORBLAD SCHRIFTELIJKE TOETSEN OPLEIDING TOETSCODE GROEP : ELEKTROTECHNIEK : GESPRG-SC1 : EP11, EP12 TOETSDATUM : 22-01-2015 TIJD : 13.00u-14.30u AANTAL PAGINA S
Nadere informatieDatastructuren en Algoritmen
Datastructuren en Algoritmen Tentamen Vrijdag 6 november 2015 13.30-16.30 Toelichting Bij dit tentamen mag je gebruik maken van een spiekbriefje van maximaal 2 kantjes. Verder mogen er geen hulpmiddelen
Nadere informatie2DD50: Tentamen. Tentamen: 26 januari 2016 Hertentamen: 5 april 2016
2DD50: Tentamen Tentamen: 26 januari 2016 Hertentamen: 5 april 2016 Bij het tentamen mag een eenvoudige (niet grafische; niet programmeerbare) rekenmachine meegenomen worden, en 2 tweezijdige A4-tjes met
Nadere informatieSQL opgaven. Relationele model: Opgaven:
SQL opgaven Relationele model: Opgaven: 1. Selecteer de klanten die bij fabriek F1 of fabriek F4 een bestelling hebben geplaatst. 2. Selecteer de klanten die bij fabriek F1 en fabriek F4 een bestelling
Nadere informatieExamen Datastructuren en Algoritmen II
Tweede bachelor Informatica Academiejaar 2010 2011, tweede zittijd Examen Datastructuren en Algoritmen II Naam :.............................................................................. Lees de hele
Nadere informatieTentamen Wiskunde B CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE. Datum: 19 december Aantal opgaven: 5
CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE Datum: 19 december 2018 Tijd: 13.30 16.30 uur Aantal opgaven: 5 Tentamen Wiskunde B Lees onderstaande aanwijzingen s.v.p. goed door voordat u met het tentamen begint.
Nadere informatieLaag Vaardigheden Leerdoelen Formulering van vragen /opdrachten
Blooms taxonomie Laag Vaardigheden Leerdoelen Formulering van vragen /opdrachten Evalueren Evalueren = de vaardigheid om de waarde van iets (literatuur, onderzoeksrapport, presentatie etc) te kunnen beoordelen
Nadere informatieAdvies voor het verwijderen van Dimensions v1.0 van de pas toe of leg uit lijst en het wijzigen van het functioneel toepassingsgebied van XBRL v2.
Forum Standaardisatie Advies voor het verwijderen van Dimensions v1.0 van de pas toe of leg uit lijst en het wijzigen van het functioneel toepassingsgebied van XBRL v2.1 Concept ter openbare consultatie
Nadere informatieTentamen Objectgeorienteerd Programmeren IN1205 Voorbeeld
Tentamen Objectgeorienteerd Programmeren IN1205 Voorbeeld Afdeling ST Faculteit EWI TU Delft Bij dit tentamen mag u gebruik maken van: Barnes, Object-Oriented Programming with Java en de Notitie Algoritmiek
Nadere informatieTentamen Kunstmatige Intelligentie
Naam: Studentnr: Tentamen Kunstmatige Intelligentie Department of Information and Computing Sciences Opleiding Informatica Universiteit Utrecht Donderdag 2 februari 2012 08.30 10:30, EDUCA-ALFA Vooraf
Nadere informatieMededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig
Mededelingen TI1300: Redeneren en Logica College 5: Semantiek van de Propositielogica Tomas Klos Algoritmiek Groep Tip: Als ik je vraag de recursieve definitie van een functie over PROP op te schrijven,
Nadere informatieProject 2: LOTTO simulatie Programmeren I
Project 2: LOTTO simulatie Programmeren I K. van Assche - H. Gruyaert 1 Inleiding Schrijf een java programma dat het spel van de nationale loterij, de Lotto simuleert. De communicatie met de gebruiker
Nadere informatieOpgaven Kunstmatige intelligentie 4 mei 2012
Opgaven Kunstmatige intelligentie 4 mei 2012 Opgave 28. (opgave tentamen 12 augustus 2002) Stel dat we een handelsreizigersprobleem op willen lossen, en dat we dat met een genetisch algoritme willen doen.
Nadere informatieVoorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, , Technische Universiteit Delft, Faculteit EWI, Afdeling 2.
Voorbeeldtentamen Inleiding programmeren (IN1608WI), Oktober 2003, 14.00-15.30, Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Dit tentamen bestaat uit twee delen. Deel 1 (14.00-14.45, gesloten
Nadere informatieEventing. Introductie. Regel verwerking. Basis structuur
Eventing Eventing...1 Introductie...1 Regel verwerking...1 Basis structuur...1 Waar of Onwaar...2 AND en OR...2 Haakjes...3 Operatoren...3 Apparaten...3 Functies...4 Acties...4 Parameters van apparaten
Nadere informatieComputationale Intelligentie Dirk Thierens
Computationale Intelligentie Dirk Thierens Organisatie Onderwijsvormen: Docent: Topic: Collegemateriaal: Boek: Beoordeling: hoorcollege, practicum, werkcollege Dirk Thierens Deel : Zoekalgoritmen Toets
Nadere informatieWISKUNDETOETS FPP. Instructies
WISKUNDETOETS FPP 22 juni 2016 19.00 uur 21.30 uur Deze wiskundetoets bestaat uit 6 meerkeuzevragen en 3 open vragen Instructies Je mag het boek Wiswijs en eigen aantekeningen bij de toets gebruiken. Dit
Nadere informatieDe Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica
De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica College 7: Resolutie Tomas Klos Algoritmiek Groep De Resolutiemethode De resolutiemethode is een methode waarmee je
Nadere informatieFaculteit Economie en Bedrijfskunde studiejaar
Faculteit Economie en Bedrijskunde studiejaar 0-04 Op deze eerste pagina vindt u belangrijke inormatie met betrekking tot dit tentamen. Lees de hierna volgende inormatie aandachtig door voordat u begint
Nadere informatieBeoordeling: Parkinson
Projectgroep 1 Debby Aloserij 500618648 Hogeschool van Amsterdam Leon Borst 500643824 Januari 2014 Hellen Brakkee 500653051 HB- erpleegkunde Carolien Büdgen 500617279 Docent: Josanne Kers Joyce Stuijt
Nadere informatieUniversiteit Utrecht Departement Informatica. Examen Optimalisering op dinsdag 29 januari 2019, uur.
Universiteit Utrecht Departement Informatica Examen Optimalisering op dinsdag 29 januari 2019, 17.00-20.00 uur. ˆ Mobieltjes UIT en diep weggestopt in je tas. Wanneer je naar de WC wil, dan moet je je
Nadere informatieArtificiële intelligentie 1 ( ) Voorbeelden van examenvragen
Artificiële intelligentie 1 (2002-2003) Voorbeelden van examenvragen Tony Belpaeme, Bart de Boer, Bart De Vylder, Bart Jansen Vraag 1. Wat zal het effect zijn van een convolutiekernel a. Contrast wordt
Nadere informatieAutomaten. Informatica, UvA. Yde Venema
Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................
Nadere informatieLogica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani
Logica voor Informatica Propositielogica Normaalvormen en Semantische tableaux Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Literals Een literal is een propositieletter, of de
Nadere informatieMaster Software Engineering. Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor
Master Software Engineering Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor Thema Software Architectuur Design Patterns (DP) ir. Sylvia Stuurman, dr.ir. Harrie Passier en dr. Bastiaan
Nadere informatieAbstraheren van modellen
Abstraheren van modellen Geert Delanote 7 maart 2005 Geert.Delanote@cs.kuleuven.ac.be Software Development Methodology 1 Inhoudstafel Motivatie Denkpistes Software Development Methodology 2 Motivatie Verslag
Nadere informatieOplossingen Datamining 2II15 Juni 2008
Oplossingen Datamining II1 Juni 008 1. (Associatieregels) (a) Zijn de volgende beweringen juist of fout? Geef een korte verklaring voor alle juiste beweringen en een tegenvoorbeeld voor alle foute be-weringen:
Nadere informatieGegevens invullen in HOOFDLETTERS en LEESBAAR, aub. Belgische Olympiades in de Informatica (duur : maximum 1u15 )
OI 2010 Finale 12 Mei 2010 Gegevens invullen in HOOFDLETTERS en LEESBAAR, aub VOORNAAM :....................................................... NAAM :..............................................................
Nadere informatieVoorbeeld. TI1300: Redeneren en Logica. Skolemnormaalvorm. Voorbeeld. Wat is de Skolemnormaalvorm van. College 16: Resolutie en Prolog.
Wat is de Skolemnormaalvorm van TI1300: Redeneren en Logica College 16: Resolutie en Prolog Tomas Klos Algoritmiek Groep x y u v w zm(x,y,u,v,w,z)? x y u v w zm(x,y,u,v,w,z) y u v w zm(a,y,u,v,w,z) y v
Nadere informatieTentamen Inleiding Programmeren (IN1608WI), duur van de toets 2 uur Technische Universiteit Delft, Faculteit EWI, Afdeling 2.
Tentamen Inleiding Programmeren (IN1608WI), duur van de toets 2 uur Technische Universiteit Delft, Faculteit EWI, Afdeling 2. Gesloten boek examen: er mag geen gebruik worden gemaakt van het studieboek.
Nadere informatieDEZE PAGINA NIET vóór 8.30u OMSLAAN!
STTISTIEK 1 VERSIE MT15303 1308 1 WGENINGEN UNIVERSITEIT LEERSTOELGROEP MT Tentamen Statistiek 1 (MT-15303) 5 augustus 2013, 8.30-10.30 uur EZE PGIN NIET vóór 8.30u OMSLN! STRT MET INVULLEN VN NM, REGISTRTIENUMMER,
Nadere informatieVoorbeeldtentamen Wiskunde B
CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE Datum: Najaar 2018 Tijd: 3 uur Aantal opgaven: 6 Voorbeeldtentamen Wiskunde B Lees onderstaande aanwijzingen s.v.p. goed door voordat u met het tentamen begint.
Nadere informatieEvaluatierapport Module Ontwerp en Productie
Evaluatierapport Module 201600100 Ontwerp en Productie 201600100 ir. W. de Kogel -Polak Disclaimer Samenvatting Voor de samenvattingen per moduleonderdeel in dit rapport geldt het volgende: De samenvattingen
Nadere informatieTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN
TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN Vakcode: 8D020. Datum: Vrijdag 26 maart 2004. Tijd: 14.00 17.00 uur. Plaats: MA 1.41 Lees dit vóórdat je begint! Maak iedere opgave op een apart vel. Schrijf
Nadere informatieUniversiteit Utrecht Departement Informatica
Universiteit Utrecht Departement Informatica Uitwerking Tussentoets Optimalisering 20 december 206 Opgave. Beschouw het volgende lineair programmeringsprobleem: (P) Minimaliseer z = x 2x 2 + x 3 2x 4 o.v.
Nadere informatieToets Kunstmatige Intelligentie (INFOB2KI)
Toets Kunstmatige Intelligentie (INFOB2KI) 30 januari 2015 11:00-13:00 MC I II T Vooraf Mobiele telefoons en dergelijke dienen uitgeschakeld te zijn. Het eerste deel van het tentamen bestaat uit 10 multiple-choice
Nadere informatieGerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag. 3. Aggregeren van support op regelniveau (accrual)
Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag 1. Recapitulatie DOS en DOB 2. Verschil tussen locaal (regel-gebaseerd) en globaal (argument-gebaseerd) redeneren. 3. Aggregeren
Nadere informatieKosten. Zoekalgoritmen ( ) College 5: Zoeken met kosten. Een zoekprobleem met stapkosten. Een voorbeeld: het vinden van een route
Kosten Zoekalgoritmen (00 00) ollege 5: Zoeken met kosten Peter de Waal, Tekst: Linda van der aag Veel zoekproblemen omvatten kosten: een afstand in kilometers; een geldbedrag; een hoeveelheid tijd; ongemak;...
Nadere informatiebeeldende vakken CPE GL en TL tekenen
Examen VMBO-GL en TL 2013 gedurende 720 minuten beeldende vakken CPE GL en TL tekenen Naam kandidaat Kandidaatnummer Opgavenboekje Dit examen bestaat uit de onderdelen A, B, C, D, E en F. Je moet alle
Nadere informatieInleiding Logica voor CKI, 2013/14
Inleiding Logica voor CKI, 2013/14 Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 14 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 2 Overview 2 Overview 3 Wegens
Nadere informatieAchtste college algoritmiek. 8 april Dynamisch Programmeren
Achtste college algoritmiek 8 april 2016 Dynamisch Programmeren 1 Werkcollege-opgave Dutch Flag Problem Gegeven een array gevuld met R, W, en B. Reorganiseer dit array zo dat van links naar rechts eerst
Nadere informatieDatabases (INFODB) 24 januari 2007
Departement Informatica en Informatiekunde, Faculteit Bètawetenschappen, UU. In elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. Het college INFODB werd in 2006/2007 gegeven door Dhr.
Nadere informatieVierde college complexiteit. 26 februari Beslissingsbomen en selectie Toernooimethode Adversary argument
Complexiteit 2019/04 College 4 Vierde college complexiteit 26 februari 2019 Beslissingsbomen en selectie Toernooimethode Adversary argument 1 Complexiteit 2019/04 Zoeken: samengevat Ongeordend lineair
Nadere informatieTentamen in2205 Kennissystemen
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen in2205 Kennissystemen 21 Januari 2008, 14:00 17:00 Het gebruik van boek of aantekeningen tijdens dit tentamen is
Nadere informatieTentamen Data Mining
Tentamen Data Mining Algemene Opmerkingen Dit is geen open boek tentamen, noch mogen er aantekeningen gebruikt worden. Laat bij het uitvoeren van berekeningen zien hoe je aan een antwoord gekomen bent.
Nadere informatieVoorbeeldtentamen Wiskunde B
CENTRALE COMMISSIE VOORTENTAMEN WISKUNDE Datum: Najaar 2018 Tijd: 3 uur Aantal opgaven: 6 Voorbeeldtentamen Wiskunde B Lees onderstaande aanwijzingen s.v.p. goed door voordat u met het tentamen begint.
Nadere informatieSemantiek 1 college 10. Jan Koster
Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde
Nadere informatieExamen Formele Systeemmodellering voor Software
Examen Formele Systeemmodellering voor Software Eric Laermans 2014-01-31 13:00 Puntenverdeling: Het examen staat op 20 punten (tot zover is het eenvoudig). U zal echter merken dat er in totaal meer dan
Nadere informatie