PAGE (Perception, Actions, Goals, Environment)
|
|
- Hugo Verhoeven
- 8 jaren geleden
- Aantal bezoeken:
Transcriptie
1 SAMENVATTING HOORCOLLEGE 17/10/2002 Daniel Kucharski, Jeroen Schaeken, Matti Roloux, Sara De Decker, Vicky De Neyer, Wouter Van den Broeck, Een agent is een systeen dat quasi-autonoom in een omgeving (= environment) 'leeft' en een bepaald doel (= goal) nastreeft. De agent interageert met zijn omgeving d.m.v. waarnemingen (= perceptions) enerzijds en handelingen (= actions) anderzijds. PAGE (Perception, Actions, Goals, Environment) Environment Agent Perception Actions Goals Opmerking: wij mensen zijn volgens deze definitie dus ook agents, maar uiteraard betreft het hier vooral artefacten zoals robots of stukken slimme software die bijvoorbeeld op het internet leven, en de mens bijstaan in allerhande welomschreven taken.! Waarnemen is het opnemen van input. Wij - fleshware-agents - gebruiken hiervoor bijvoorbeeld onze zes zintuigen. Robots (hardware-agents) bedienen zich van allerhande sensoren, terwijl software-agents het o.a. doen met het opvragen van informatie uit databanken en dergelijke. Pagina 1/6
2 Maar waarnemen is meer dan dat. Wat we bijvoorbeeld zien (met onze ogen) is niet noodzakelijk wat we waarnemen (met ons brein). Bv. blinde vlek; daar waar de zenuwbundel - die het oog met het brein verbind - in het oog geplugd is zien we eigenlijks niets, maar we lijken er wel te zien omdat het brein omliggende patronen laat doorlopen in deze blinde vlek. De perceptiemogelijkheden waarover hard- of software-agents beschikken zijn echter aanzienlijk beperkter dan waar vele biologische entiteiten over beschikken. En zelfs voor deze laatsten is het niet mogelijk alles wat er om hen heen in de analoge wereld gebeurt continue en gedetaileerd te registreren.! " Agents zijn over het algemeen niet helderziend, i.e. ze kunnen de gevolgen/resultaten van acties niet voorzien. Soms gaat dit wel, bijvoorbeeld bij schaakcomputers; omdat deze in een discrete wereld opereren, waarin het aantal mogelijke acties (relatief) sterk gelimiteerd is en toeval niet bestaat. Maar meestal ontbreekt het hun aan ervaring, en/of is inductie niet mogelijk wegens; intrinsiek niet induceerbaar en/of door een gebrekkige kennis/perceptie van de relevante factoren in de omgeving. M.a.w: feilloosheid bestaat niet. " Zonder doel zou een agent natuurlijk weinig nut hebben, misschien vandaar dat de humagents zichzelf al eeuwenlang opgescheept zien met existentiele vragen? Het bereiken van een goal kan echter zeer complex zijn: Meerdere (sub)goals waaraan tegelijk voldaan moeten worden. Tegenstrijdigheden (conflicting constraints). Onverwachte, al dan niet toevalige problemen die 'onderweg' opduiken. Om te meten of een agent goed bezig is (dit wil zeggen: of hij dichter bij zijn doel komt) moet er hiervoor een soort maatstaf worden opgesteld: de performance measure (PM). Deze measure is handig bij het evalueren van vorige acties, en kan aldus bepalend zijn bij het maken van de keuzes m.b.t. toekomstige handelingen. Men zegt dat een agent rationeel is als zijn acties een gunstige invloed hebben op de PM. #! De agent werkt in de omgeving en maakt er ook deel van uit => veranderingen in de omgeving zorgen voor veranderingen aan de agent. Eigenschappen van een omgeving: Toegankelijk: heeft de agent een zicht op de hele omgeving? Deterministisch: speelt toeval een rol in de wereld? Episodisch: hebben vorige handelingen invloed op de huidige handeling? Statisch: verandert de wereld tijdens de uitvoering van een handeling? Discreet: is de wereld in stukjes opgedeeld of continu? $ %&'$!(! Mens Robottaxi P Alles wat de mens waarneemt met zijn zintuigen Waarnemingen met sensoren, camera's snelheidsmeters,... A Alles wat de mens doet Passagier oppikken, linksaf slaan, stoppen voor rood licht, portier openen, entertainen,... G Zie filosofie Passagier van A naar B brengen. Maar: zo Pagina 2/6
3 Mens Robottaxi zuinig, winstgevend, veilig,... mogelijk. Bovendien is de tevredenheid van de klant ook belangrijk voor deze agents. E De leefwereld van een persoon Stad, stratenplan, verkeersregels, ander verkeer,... ) % * " Agent is meestal niet alwetend. Hij heeft geen volledig zicht op zijn omgeving. Agents is niet helderziend: hij kan meestal niet weten wat er gebeurt na een bepaalde actie. Agent is niet perfect, hij kan ook fouten maken. $+$+, Perception Goals Decision Making Actions Aan de hand van zijn waarnemingen en doelstellingen moet de agent op een magistructurele manier zien te beslissingen wat de meest geschikte volgende actie zal zijn. De vraag is natuurlijk hoe men deze decision making tot stand kan brengen in een artificieel systeem. -.% Hierbij worden waarnemingen (gecombineerd met interne toestanden) gemapt op acties. Concreet wordt er simpelweg een tabel opgesteld met alle mogelijke combinaties en welke acties er respectievelijk op moeten volgen. % Voor elk mogelijke perceptie dient op voorhand een regel voorzien te zijn in de tabel. Combinatorisch explosief, i.e. het aantal regels groeit exponentieel in verhouding tot het aantal mogelijk waarnemingen en interne toestanden. Doordat een omgeving in de meeste gevallen dynamisch is, zouden er voor elke nieuwe situatie regels moeten worden toegevoegd en alle vorige regels worden geüpdate zodat ze bekend zijn met het nieuwe aspect. De tabel met regels zal dus al snel verouderd zijn. / ""! Een programma dat dynamisch de regels kan opstellen en aanpassen: een Kennisgerichte Agent. Pagina 3/6
4 ,01/-2 De agent beslist zelfstandig welk zijn volgende handeling/actie zal zijn door middel van een soort denkproces. Zulk process omvat (minstens) de volgende onderdelen: Vooreerst dienen de agents voorzien te zijn van een interne presentatie van hun omgeving. Deze interne representatie vormt een handelbaar model waarmee het denkproces kan werken. Nieuwe waarneming dienen te worden verwerkt in de interne representatie. Decision making; het analyseren van de huidige toestand van het model aan de hand van de goals en de performance measure, en het daaruit laten voortvloeien van conclusies. Aktie, de juiste handeling triggeren die logischerwijze volgt op de conclusie. 3 &" De kennis waaruit de interne representatie bestaat, i.e. het hart van een kennisgerichte agent, is over het algemeen bevat in een de Knowledge Base (KB). Deze kan bijvoorbeeld concreet bestaan uit een verzameling rules en assertions, cfr. expert-systeem. De in een KB bevatte kennis is meestal heel domein specifiek, i.e. beperkt zich in scope tot het direct relevante met betrekking tot de doelstellingen. Hierdoor zijn zulke knowledge bases dus enkel zinvol voor de respectievelijke agents. 4! Een inference engine gebruikt een knowledge base om tot conclusies te komen, maar is op zichzelf domein onafhankelijk. Hierdoor kan deze worden ingezet in uiteenlopende domeinen, mits er een daarop voorziene knowledge base voorhande is. Deze regels van de knowledge base kunnen worden opgevraagd door het ASK-command en geüpdate door het TELL-command.!#." We onderscheiden in zulke kennisgerichte agents twee fundamentele niveaus: Kennisniveau of Epistemologie (=wetenschap over het weten) Op dit niveau behandelt men de functionaliteit op abstracte wijze. Implementatie niveau: De vertaling van de abstracte methodologie naar een concrete implementatie. -..!( Natuurlijke taal is als basis voor de kennis representatie en behandeling niet werkbaar omdat deze taal dubbelzinnig en ambigue is. Natuurlijke taal is ontworpen met het oog op expressie. Als kennis-dragend vehicel voor logische activiteiten schiet het echter danig te kort. Pagina 4/6
5 Een programmeertaal daarentegen is al veel beter geschikt omdat het toelaat op ondubbelzinnige en volledig duidelijke wijze bepaalde handelingen te beschrijven en kennis op te slaan. Men moet in een programmeertaal echter heel expliciet zijn, waardoor het uiteindelijk ook niet geschikt is. -! Is DE formele taal om kennis in voor te stellen. Logica voorziet in twee belangrijke aspecten: 1) semantiek = betekenis 2) syntax = vorm -!*" Propositie logica Predikaten logica: is de propositie logica uitgebreid met kwantoren. Temporele logica: propositie + prediacate logica + tijdscomponent Waarschijnlijkheids logica: incorporeert kansrekening. Fuzzy logica: Variant van propositie logica waarbij er niet met slechts twee waarheidstoestanden (waar of vals) wordt gewerkt, maar met graden van waarheid. //-/,!" "!!! Zoals vorig jaar gezien is propositielogica een formeel systeem om vanuit enkele aannamens een conclusie te trekken. Beide bestaan uit: - propositieletter: oneindig veel letters zoals p, q, r (kleine letters) - logische symbolen: dit zijn connectieven: conjuncties, disjuncties, implicaties, negaties en equivalenties. - hulpsymbolen (en) : worden gebruikt om de taal leesbaarder te maken (voor meer gedetaileerde uitleg zie cursus Grondslagen van de Informatica I ) 4!! "!!! De taak van een inferentie engine gebaseerd op propositie logica, is het (geldig) afleiden van zinnen uit de proposities opgeslagen in de knowledge base. 5!(3!(6 Aan de hand van een waarheidstabel Als de zin waar is, is ze afleidbaar. Zulke tabelen groeien echter exponentieel in verhouding tot het aantal bevatte proposities, en is hierdoor niet bruikbaar. Afleidingsregels : staaltje van inferentieregels : α β, α β α 1 α 2 α i α i Inferentie gebruik makende van propositielogica is echter NP-compleet: het probleem is zo complex dat het oplossen van het probleem teveel tijd neemt. Pagina 5/6
6 $ %&.."3 &#! "!!! Knowledge base bestaat uit zinnen geschreven in de propositielogica. Men gebruikt de inferentie regels om bv. te weten waar de wumpus zich bevindt als we op de stank staan. % %!(%.!# "!!!!" Propsotielogica kan de acties niet voorstellen. Ze is hiervoor niet krachtig genoeg. = omslachtig - Te complex want knowledge base moet een enorm aantal percepties bevatten. - Symbool moet een tijdstempel krijgen. / ""! Eerste Orde Logica. Pagina 6/6
Even kort. Artificiële Intelligentie 1 environment. Logisch redenerende agents effectors
Even kort Een agent sensors rtificiële Intelligentie environment percepts actions? agent Logisch redenerende agents effectors Hoofdstuk 6 uit Russell & Norvig PGE Percepts (waarnemingen): wat de agent
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 informatieLogica voor Informatica. Propositielogica. Syntax & Semantiek. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica Propositielogica Syntax & Semantiek Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Wat is Logica? Afleiden van conclusies uit aannames Jan Sara Petra Schuldig
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 informatieGeest, brein en cognitie
Geest, brein en cognitie Filosofie van de geest en Grondslagen van de cognitiewetenschap Fred Keijzer 1 Overzicht: Wat is filosofie en waarom is dit relevant voor cognitiewetenschap en kunstmatige intelligentie?
Nadere informatieFormeel Denken. Herfst 2004
Formeel Denken Herman Geuvers Deels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het Discrete Wiskunde dictaat van Wim Gielen Herfst 2004 Contents 1 Propositielogica
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 informatieLogica voor Informatica
Logica voor Informatica 10 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vorige keer Syntax van predikatenlogica Alfabet Termen Welgevormde formulas (wff) 2 Alfabet van de predikatenlogica
Nadere informatieFormeel Denken 2014 Uitwerkingen Tentamen
Formeel Denken 2014 Uitwerkingen Tentamen (29/01/15) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Als het regent word ik
Nadere informatieli d a l n s V a l GEMEENTE MAARTENSDIJK r Nbo bestemmingsplan buitengebied g g Nbo Nbo Schaal 1:5000 plankaart noord
Nadere informatie
Hoofdstukken 7/8 van Russell/Norvig = [RN] Logisch(e) redenerende agenten
AI Kunstmatige Intelligentie (AI) Hoofdstukken 7/8 van Russell/Norvig = [RN] Logisch(e) redenerende agenten voorjaar 08 College 3, februari 08 www.liacs.leidenuniv.nl/ kosterswa/ai/ Introductie Eerst bekijken
Nadere informatieKunstmatige Intelligentie (AI) Hoofdstuk 2 van Russell/Norvig = [RN] Intelligente agenten. voorjaar 2016 College 2, 8 februari 2016
AI Kunstmatige Intelligentie (AI) Hoofdstuk 2 van Russell/Norvig = [RN] Intelligente agenten voorjaar 2016 College 2, 8 februari 2016 www.liacs.leidenuniv.nl/ kosterswa/ai/ 1 Introductie Een agent is iets
Nadere informatiePredikatenlogica in Vogelvlucht
in Vogelvlucht Albert Visser Filosofie, Faculteit Geesteswetenschappen, Universiteit Utrecht 10 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 3 In de propositielogica behandelen we de interne
Nadere informatieTegenvoorbeeld. TI1300: Redeneren en Logica. De truc van Gauss. Carl Friedrich Gauss, 7 jaar oud (omstreeks 1785)
Tegenvoorbeeld TI1300: Redeneren en Logica College 3: Bewijstechnieken & Propositielogica Tomas Klos Definitie (Tegenvoorbeeld) Een situatie waarin alle premissen waar zijn, maar de conclusie niet Algoritmiek
Nadere informatieDe Syntax-Semantiekredenering van Searle
De Syntax-Semantiekredenering van Searle Seminar AI Eline Spauwen 22 mei 2007 Searles kritiek op Harde KI Inleiding Ik Mijn afstudeeronderzoek: Student-assistentschappen Searles kritiek op KI Filosofie
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 informatieLogic for Computer Science
Logic for Computer Science 06 Normaalvormen en semantische tableaux Wouter Swierstra University of Utrecht 1 Vorige keer Oneindige verzamelingen 2 Vandaag Wanneer zijn twee formules hetzelfde? Zijn er
Nadere informatieLogica voor AI. Inleiding modale logica en Kripke semantiek. Antje Rumberg. 14 november 2012
Logica voor AI Inleiding modale logica en Kripke semantiek Antje Rumberg Antje.Rumberg@phil.uu.nl 14 november 2012 1 Logica voor AI Deel 1: Modale logica semantiek en syntax van verschillende modale logica
Nadere informatieMededelingen. TI1300: Redeneren en Logica. Waarheidstafels. Waarheidsfunctionele Connectieven
Mededelingen TI1300: Redeneren en Logica College 4: Waarheidstafels, Redeneringen, Syntaxis van PROP Tomas Klos Algoritmiek Groep Voor de Fibonacci getallen geldt f 0 = f 1 = 1 (niet 0) Practicum 1 Practicum
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieInhoud leereenheid 1. Inleiding. Introductie 13. Leerkern 13. 1.1 Wat is logica? 13 1.2 Logica en informatica 13
Inhoud leereenheid 1 Inleiding Introductie 13 Leerkern 13 1.1 Wat is logica? 13 1.2 Logica en informatica 13 12 Leereenheid 1 Inleiding I N T R O D U C T I E Studeeraanwijzing Deze leereenheid is een leesleereenheid.
Nadere informatie- Denkt zoals een mens (activiteiten die we associëren met menselijk denken.)
Samenvatting door S. 942 woorden 19 maart 2017 4,8 6 keer beoordeeld Vak Informatica Hoofdstuk 1: Een entiteit is intelligent wanneer het: - Denkt zoals een mens (activiteiten die we associëren met menselijk
Nadere informatiePredikaatlogica, modellen en programma s
Logica in actie H O O F D S T U K 4 Predikaatlogica, modellen en programma s De taal van de propositielogica is voor veel toepassingen te arm. Dat bleek al in de Klassieke Oudheid, waar logici allerlei
Nadere informatieDeze actie kadert binnen het project SOLABIO-'Soorten en landschappen als dragers voor biodiversiteit', mede gefinancierd door het Europees programma
!"#" $% #!&'!()!!$% *!$ + ), -!. /!& $ 0 ( 1 & & $ $ 1 ( #!& #!& #!& &% 2/3*""4 $$%/"32"4 5 ) 66 &. ) #!& ) 7 &, 89 8.9,7 !!:%$ " # $ # % $ & $ ;!!! $!:%$ 1!!! 0 0!!! ;, *!$ *!# + ; *! *!* *!-
Nadere informatie2. Syntaxis en semantiek
2. Syntaxis en semantiek In dit hoofdstuk worden de begrippen syntaxis en semantiek behandeld. Verder gaan we in op de fouten die hierin gemaakt kunnen worden en waarom dit in de algoritmiek zo desastreus
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieSamenvatting. Bijlage B
Bijlage B In dit proefschrift stellen we ons het doel de besluitvorming van agenten en de communicatie tussen deze agenten te beschrijven en te formaliseren opdat de agenten rechtvaardigbare opvattingen
Nadere informatieLogica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2
Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2 2.1 Geef de volgende zinnen weer in propositionele notatie: i Als de bus niet komt, komen de tram en de trein We voeren de volgende
Nadere informatieInleiding Wiskundige Logica
Inleiding Wiskundige Logica Yde Venema 2017/2018 c YV 2018 Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, NL 1098XH Amsterdam E-mail: yvenema@uvanl Voorwoord
Nadere informatieSamenvatting. TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten. Disclaimer
Samenvatting TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten Disclaimer De informatie in dit document is afkomstig van derden. W.I.S.V. Christiaan Huygens betracht de grootst mogelijke
Nadere informatieLogic for Computer Science
Logic for Computer Science 07 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vrijdag Aanstaande vrijdag is geen hoorcollege of werkcollege. De tussentoets is uitgesteld tot volgende week dinsdag.
Nadere informatieCover Page. The handle http://hdl.handle.net/1887/29570 holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/29570 holds various files of this Leiden University dissertation. Author: Beek, Maurice H. ter Title: Team automata : a formal approach to the modeling
Nadere informatieAristoteles. empirist
Aristoteles empirist Aristoteles Bioloog, met beide poten in de klei Eindeloos verzamelen van gegevens Observeren, noteren en classificeren Op basis van ervaringsfeiten komen we tot kennis Wij kunnen uit
Nadere informatieVoortgezette Logica, Week 2
Voortgezette Logica, Week 2 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 164, 030-2535575 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier
Nadere informatieThema 3 Techniek om ons heen
Naut samenvatting groep 8 Mijn Malmberg Thema 3 Techniek om ons heen Samenvatting Robots Robots zijn vooral geschikt voor saai, zwaar of gevaarlijk werk of voor werk dat mensen niet makkelijk zelf kunnen.
Nadere informatieZwakke centrale coherentie en de Van Hiele niveaus
Zwakke centrale coherentie en de Van Hiele niveaus Michiel Klaren 2015-04-22 Inhoud Autisme Spectrum Stoornissen Zwakke centrale coherentie Niveautheorie van Van Hiele Onderzoeksvraag Bevindingen Conclusie
Nadere informatieCover Page. The handle http://hdl.handle.net/1887/20358 holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20358 holds various files of this Leiden University dissertation. Author: Witsenburg, Tijn Title: Hybrid similarities : a method to insert relational information
Nadere informatieFilosofie voor de Wetenschappen
Date 15-10-2013 1 Filosofie voor de Wetenschappen Presentatie voor de Honours-studenten van de Rijksuniversiteit Gent Jan-Willem Romeijn Faculteit Wijsbegeerte Rijksuniversiteit Groningen Date 15-10-2013
Nadere informatieOpdrachten Tarski s World
Opdrachten Tarski s World Logika thema 4 13 april 2004 1 Propositielogika 1.1 Atomaire proposities in Tarski s world Open de wereld, wittgens.sen, en het bestand met beweringen, wittgens.sen 1. Ga van
Nadere informatieMasterclass Van willen naar kunnen Werkboek 1. De Olifant en de Rijder
Masterclass Van willen naar kunnen Werkboek 1. De Olifant en de Rijder Masterclass Van willen naar Kunnen Werkboek 1: De Olifant en de Rijder 1 Veranderen Het paradigma van de Olifant, de Rijder en de
Nadere informatieAlbert Visser. 11 oktober, 2012
Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 11 oktober, 2012 1 Overview 2 Overview 2 Overview 2 Overview 3 De twee gezichten van Kunstmatige Intelligentie Figure: Janus
Nadere informatieExamenprogramma wiskunde D vwo
Examenprogramma wiskunde D vwo Het eindexamen Het eindexamen bestaat uit het schoolexamen. Het examenprogramma bestaat uit de volgende domeinen: Domein A Vaardigheden Domein B Kansrekening en statistiek
Nadere informatie1. TRADITIONELE LOGICA EN ARGUMENTATIELEER
Inhoud Inleidend hoofdstuk 11 1. Logica als studie van de redenering 11 2. Logica als studie van deductieve redeneringen 13 3. Logica als formele logica Het onderscheid tussen redenering en redeneringsvorm
Nadere informatieSoftware Design Document
Software Design Document PEN: Paper Exchange Network Software Engineering groep 1 (se1-1415) Academiejaar 2014-2015 Jens Nevens - Sander Lenaerts - Nassim Versbraegen Jo De Neve - Jasper Bevernage Versie
Nadere informatieLogica. Oefeningen op hoofdstuk Propositielogica
Oefeningen op hoofdstuk 1 Logica 1.1 Propositielogica Oefening 1.1. Stel dat f en g functies zijn waarvoor f(x)dx = g(x)+c niet waar is. Als Elio Di Rupo paarse sokken heeft, bepaal dan de waarheidswaarde
Nadere informatie1. Vectoren in R n. y-as
1. Vectoren in R n Vectoren en hun meetkundige voorstelling. Een vector in R n is een rijtje (a 1, a 2,..., a n ) van reële getallen. De getallen a i heten de coördinaten van de vector. In het speciale
Nadere informatieCommuniceren met de achterban
1 Communiceren met de achterban Je wilt weten hoe je het beste communiceert met de achterban. Je wilt direct aan de slag en snel resultaten. Je hebt een hoe-vraag. Zoals iedereen. Maar als je werkelijk
Nadere informatiePropositielogica. Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn. 24 augustus Universiteit Antwerpen
Propositielogica Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn Universiteit Antwerpen 24 augustus 2006 Propositionele connectoren Negatie Conjunctie Disjunctie Implicatie Equivalentie Propositionele
Nadere informatieBespreking Examen Analyse 1 (Augustus 2007)
Bespreking Examen Analyse 1 (Augustus 2007) Vooraf: Zoals het stilletjes aan een traditie is geworden, geef ik hier bedenkingen bij het examen van deze septemberzittijd. Ik zorg ervoor dat deze tekst op
Nadere informatieToelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur
Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur Hoofdstuk 2, tot en met pagina 41. Maak opdrachten 1,2,3,4,5,7,9,10,11,15,16 *1 Met "welgevormd" wordt bedoeld dat de formule toegestaan
Nadere informatieFUNCTIEFAMILIE 1.2 Klantenadviserend (externe klanten)
Doel van de functiefamilie Vanuit een specialisatie professioneel advies of begeleiding geven aan externe klanten deze klanten oplossingen aan te reiken of maximaal te ondersteunen in het vinden van een
Nadere informatieLogica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica predikatenlogica Syntax van predikatenlogica Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Redenering in Propositie Logica Als Jan zijn medicijnen neemt
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 informatieWISKUNDE D VWO VAKINFORMATIE STAATSEXAMEN 2016 V15.7.0
WISKUNDE D VWO VAKINFORMATIE STAATSEAMEN 2016 V15.7.0 De vakinformatie in dit document is vastgesteld door het College voor Toetsen en Examens (CvTE). Het CvTE is verantwoordelijk voor de afname van de
Nadere informatieCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20171 holds various files of this Leiden University dissertation. Author: Kazemi, Hamid Title: Carrier s liability in air transport with particular reference
Nadere informatieTechnische Functies - hoe ontwerpmethodologie filosofische analyse tart
Technische Functies - hoe ontwerpmethodologie filosofische analyse tart 14 mei 2014 Pieter E. Vermaas Sectie Filosofie, Technische Universiteit Delft Mijn presentatie Functie is een fundamenteel begrip
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieSemantiek van predicatenlogica en Tractatus
Logica en de Linguistic Turn 2012 Semantiek van predicatenlogica en Tractatus Maria Aloni ILLC-University of Amsterdam M.D.Aloni@uva.nl 1/11/12 Plan voor vandaag 1. Predicatenlogica: semantiek 2. Tractatus:
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 informatieEindexamen Filosofie havo I
Opgave 2 Denken en bewustzijn 8 Een goed antwoord bevat de volgende elementen: een omschrijving van het begrip bewustzijn 2 argumentatie aan de hand van deze omschrijving of aan Genghis bewustzijn kan
Nadere informatieCaleidoscoop: Logica
Caleidoscoop: Logica Non impeditus ab ulla scientia K. P. Hart Faculteit EWI TU Delft Delft, 3 October, 2007 Overzicht 1 2 Negaties We gaan rekenen met proposities (beweringen). Bedenker: George Boole
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl. 9 februari 2009 BEWIJZEN
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 BEWIJZEN Discrete Structuren Week1 : Bewijzen Onderwerpen Puzzels
Nadere informatieBusiness Process Management Assessment Model
Business Process Management Assessment Model Zet evenwichtige stappen op de weg naar Business Excellence! december 2011 Inhoudsopgave 1 Wat is Business Process Management... 1 2 Plateaus... 2 3 Inrichtingsaspecten...
Nadere informatieLogica voor Informatica
Logica voor Informatica 12 Normaalvormen Wouter Swierstra University of Utrecht 1 Vandaag We hebben gezien dat er verschillende normaalvormen zijn voor de propositionele logica. Maar hoe zit dat met de
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
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 informatie21st Century Skills - Leerdoelen van de puzzels. X2 Computational thinking - 1. Probleem (her)formuleren
21st Century Skills - Leerdoelen van de puzzels Puzzel Vaardigheden Onderwijsdoelen Aanbodsdoelen Ruimte X X0 Informatievaardigheden - 4. Verwerken van X1 Informatievaardigheden (en geletterdheid) - 2.
Nadere informatieLogica voor AI. Responsiecollege. Antje Rumberg. 12 december Kripke Semantiek. Geldigheid. De bereikbaarheidsrelatie
Logica voor AI Responsiecollege Antje Rumberg Antje.Rumberg@phil.uu.nl 12 december 2012 1 De taal L m van de modale propositielogica ϕ ::= p ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ Blokje en ruitje ϕ: het is noodzakelijk
Nadere informatieWat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011
Wat? Betekenis 2: lambda-abstractie Anna Chernilovskaya 7 juni 2011 Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieSociaal wetenschappelijk onderzoek. Lezing voor het congres juridisch onderzoek in het hbo op 15 juni 2010 Peter Geurts
Sociaal wetenschappelijk onderzoek Lezing voor het congres juridisch onderzoek in het hbo op 15 juni 2010 Enkele stellingen Voor zover een wetenschappelijk juridische activiteit een empirisch element bevat
Nadere informatieModule 3: Scratch programmeren: is het logisch of is het niet logisch?
Module 3: Scratch programmeren: is het logisch of is het niet logisch? Inhoudsopgave Module 3: Scratch programmeren: is het logisch of is het niet logisch?...1 Wat is een computerprogramma eigenlijk?...2
Nadere informatieE-resultaat aanpak. Meer aanvragen en verkopen door uw online klant centraal te stellen
E-resultaat aanpak Meer aanvragen en verkopen door uw online klant centraal te stellen 2010 ContentForces Niets uit deze uitgave mag worden verveelvoudigd en/of openbaar gemaakt door middel van druk, fotokopie,
Nadere informatieLogica als een oefening in Formeel Denken
Logica als een oefening in Formeel Denken Herman Geuvers Institute for Computing and Information Science Radboud Universiteit Nijmegen Wiskunde Dialoog 10 juni, 2015 Inhoud Geschiedenis van de logica Propositielogica
Nadere informatiePrioritaire voertuigen met een dringende opdracht Enkele aspecten van verkeersveiligheid en verkeersleefbaarheid
Prioritaire voertuigen met een dringende opdracht Enkele aspecten van verkeersveiligheid en verkeersleefbaarheid Marc Broeckaert, Verkeersplanoloog bij het BIVV 21 april 2015 overzicht Probleemstelling
Nadere informatieLogica voor Informatica
Logica voor Informatica 13 Prolog Wouter Swierstra University of Utrecht 1 Programmeren met Logica Propositielogica is niet geschikt voor programmeren er is nauwlijkst iets interessants uit te drukken.
Nadere informatieAnomaal Monisme vergeleken met behaviorisme en functionalisme
Anomaal Monisme vergeleken met behaviorisme en functionalisme Wouter Bouvy 3079171 October 15, 2006 Abstract Dit artikel behandelt Mental Events van Donald Davidson. In Mental Events beschrijft Davidson
Nadere informatieKNLTB Stappenplan. beleidsplan tennisvereniging X
KNLTB Stappenplan beleidsplan tennisvereniging X Inleiding Iedere verenigingsbestuurder weet in het achterhoofd dat het belangrijk is om beleidsmatig en doelgericht te werken. Toch komen de meeste verenigingsbestuurders
Nadere informatieBetekenis 2: lambda-abstractie
Betekenis 2: lambda-abstractie Anna Chernilovskaya 4 June 2009 Wat? Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieActiviteitenverslag Template Stichting 2016*
Activiteitenverslag Template Stichting 2016* Onderwerp Beschrijving Wanneer Bewust stilstaan Een moment van afstemming op de eerste dag van het nieuwe jaar, met de vraag: waar stem je je als mens op af?
Nadere informatieFundamentele. Informatica 1. Eerste college: introductie
Fundamentele 1 Informatica 1 Eerste college: introductie Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Docent: Jeannette de
Nadere informatiePropositielogica, waarheid en classificeren
Logica in actie H O O F D S T U K 2 Propositielogica, waarheid en classificeren We hebben al gezien dat voor een logicus het verhevene heel dicht kan liggen bij het alledaagse. Misschien beter gezegd:
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 informatie360 FEEDBACK 30/07/2013. Thomas Vragenlijst
360 FEEDBACK 30/07/2013 Thomas Vragenlijst Thomas Voorbeeld Persoonlijk & Vertrouwelijk S Hamilton-Gill & Thomas International Limited 1998-2013 http://www.thomasinternational.net 1 Inhoud Inhoud 2 Inleiding
Nadere informatieLogica voor AI. Bewijstheorie en natuurlijke deductie. Antje Rumberg. 28 november Kripke Semantiek.
Logica voor AI en natuurlijke deductie Antje Rumberg AntjeRumberg@philuunl 28 november 2012 1 De taal L m van de modale propositielogica ::= p Blokje en ruitje : het is noodzakelijk dat : het is mogelijk
Nadere informatieVraag Antwoord Scores
Opgave 2 Spiritueel scepticisme 6 maximumscore 4 een uitleg dat McKenna in tekst 6 vanuit epistemologisch perspectief over solipsisme spreekt: hij stelt dat de kennisclaim over het bestaan van andere mensen
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieFundamentele. Informatica 1. Eerste college: -introductie -verzamelingen I
Fundamentele 1 Informatica 1 Eerste college: -introductie -verzamelingen I Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Docent:
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 informatieAutomating the cockpit. Constructing an autonomous, human-like flight bot in a simulated environment
Automating the cockpit Constructing an autonomous, human-like flight bot in a simulated environment Introductie Inhoud van de presentatie: afstudeerproject onderzoek ontwerp implementatie conclusies demonstratie
Nadere informatieSensornetwerk controleert omgeving
Sensornetwerk controleert omgeving Wiskunde repareert imperfectie van een sensornetwerk en spoort zo indringers op. Een draadloos sensornetwerk kan gebruikt worden om een omgeving in de gaten te houden,
Nadere informatieReguliere Expressies
Reguliere Expressies Een reguliere expressie (regexp, regex, regxp) is een string (een woord) die, volgens bepaalde syntaxregels, een verzameling strings (een taal) beschrijft Reguliere expressies worden
Nadere informatieSignaalwoorden herkennen
Signaalwoorden herkennen Bij signaalwoorden kan vaak geen beeld gevormd kan worden. Hierdoor worden ze vaak overgeslagen. Lastig, want voor begrijpend lezen zijn ze belangrijk! Knip de kaarten en kaartjes
Nadere informatiePropositielogica Het maken van een waarheidstabel
Informatiekunde naam datum Propositielogica Het maken van een waarheidstabel Eindhoven, 4 juni 2011 De propositielogica Zoekopdrachten met de operatoren AND, OR en zijn zogenaamde Booleaanse expressies.
Nadere informatiestudie waarmee we de principes van de analyse willen demonstreren. Een volledig beschrijving van de algoritmen en de resultaten zijn te vinden in
Bio-informatica kan omschreven worden als het toepassen van algoritmen om meerwaarde te verkrijgen uit data afkomstig van biomedisch en/of biologisch onderzoek. In bio-informatica wordt onderzoek gedaan
Nadere informatieInhoud. Introductie tot de cursus
Inhoud Introductie tot de cursus 1 Inleiding 7 2 Voorkennis 7 3 Het cursusmateriaal 7 4 Structuur, symbolen en taalgebruik 8 5 De cursus bestuderen 9 6 Studiebegeleiding 10 7 Huiswerkopgaven 10 8 Het tentamen
Nadere informatieCommunicatie. Els Ronsse. april 2008
Communicatie Els Ronsse april 2008 Communicatie =? Boodschappen Heen en weer Coderen loopt bij mensen met autisme vaak fout Maar communicatie is meer. Relatiegericht Aandacht vragen Bevestiging geven Aanmoedigen
Nadere informatie1. Soorten wetenschappelijke informatiebronnen
1. Soorten wetenschappelijke informatiebronnen Wanneer je als student in het hoger onderwijs de opdracht krijgt om te zoeken naar wetenschappelijke informatie heb je de keuze uit verschillende informatiebronnen.
Nadere informatieQlik Sense Healthcare. Document 16052
Qlik Sense Healthcare Document 16052 Inhoud 1. Introductie... 3 1.1 Qlik Sense... 3 1.2 Qlik Sense Healthcare... 3 1.3 Qlik Sense als product... 3 2 Overview healthcare module... 4 2.1 De opbouw van de
Nadere informatieVERZAMELINGEN EN AFBEELDINGEN
I VERZAMELINGEN EN AFBEELDINGEN Het begrip verzameling kennen we uit het dagelijks leven: een bibliotheek bevat een verzameling van boeken, een museum een verzameling van kunstvoorwerpen. We kennen verzamelingen
Nadere informatieWaarom is artificiële intelligentie niet zo succesvol geweest als we vroeger hoopte?
Intro Waarom is artificiële intelligentie niet zo succesvol geweest als we vroeger hoopte? Verkeerd model van cognitie? Nieuwe visie op cognitie 1) Klein beginnen 2) Geen cognitieve simulatie maar gedrag
Nadere informatie