Wat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011
|
|
- Anna Wouters
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 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 dit college Boek Compositionaliteit Lambda-termen in de semantiek Kwantorbereik Idiomen Hoofdstuk 18, maar niet 18.4 en 18.5 Hoofdstuk 17 sectie
2 Meer dan woorden... Compositionaliteit Wat is de betekenis van constituenten en zinnen? Hoe wordt de betekenis van complexe gehelen opgebouwd uit de betekenissen van woorden? Jan slaat Piet Piet slaat Jan Woordvolgorde heeft dus invloed op betekenis ubject-object relatie Agens-Patiens relatie Principe van compositionaliteit van betekenis (Gottlob Frege): de betekenis van het geheel is een functie van de betekenis van de samenstellende delen en van de manier waarop ze zijn samengesteld emantiek = woord-betekenis + structuur Dus: semantiek is altijd afhankelijk van syntaxis Ambiguiteit emantische representaties Ambiguiteit van woorden: baan emantiek is afhankelijk van syntaxis, dus ook structurele ambiguiteiten: Jan zag de man met de verrekijker Twee syntactische structuren twee betekenissen emantische representaties worden geformuleerd in logische talen (bijvoorbeeld 1e orde predikaatlogica) Logische talen respecteren principe van compositionaliteit: yntax: ϕ ψ is een formule dan en slechts dan als zowel ϕ als ψ formules zijn emantiek: ϕ ψ is waar dan en slechts dan als zowel ϕ als ψ waar zijn Voor elke syntactische regel, bestaat er een semantische regel
3 Een probleem 1e orde predicaatlogica en compositionaliteit Probleem: de syntaxis van natuurlijke taal de syntaxis van predicaatlogica Is het wel mogelijk om een compositionele interpretatie van natuurlijke taal te geven met behulp van deze logica? Gemakkelijke zinnen met individuele constanten (dus met eigennamen): Hanna slaapt (h) eenplaatsig predicaat Hanna slaapt h Probleem: kwantoren Lambda-abstractie Iedere student danst x [ (x) D(x) ] kwantor Lambda-abstractie maakt het mogelijk om semantische representaties te geven voor delen van een syntactische boom, zodat we een compositionele vertaling van de zin kunnen geven. x [ (x) D(x) ] iedere student danst x?? D D λp.λq. x [ P(x) Q(x) ]
4 otatie Lambda-conversie 1-plaatsige predicaten (praten, dansen, student, etc.) denoteren verzamelingen Vertaling als predicaat: hoofdletters (P, D,,... ) Vertaling als lambda-abstract: λx. P(x) λ bindt individuele variabele x λ pikt alle waarden van x eruit die de formule P(x) waar maken, en definieert zo de verzameling van pratende individuen (karakteristieke functie) Toepassing van een lambda-abstract op een constante/variabele geeft lambda-conversie: [ λx.(x) ] (h) (h) λx.(x): 1-plaatsig predicaat Functie-applicatie: toepassen op individuele constante h Lambda-conversie: deletie van λ en vervanging van x door h Lambda-conversie: Formeel Compositionaliteit met λ: voorbeeld Voor ϕ een open propositie x een individuele variabele die vrij voorkomt in ϕ c een individuele constante [λx.ϕ] (c) ϕ [c/x] waarbij ϕ [c/x] de formule ϕ is met vervanging van alle vrije voorkomens van x door c. Hanna slaapt Hanna slaapt [ ] λx.(x) (h) (h) h λx.(x)
5 Voorbeeld: lambda s en kwantoren Voorbeeld: lambda s en kwantoren (II) Hanna verwijst naar een individu h Kwantoren verwijzen niet naar een vast individu iedereen λp. x [P(x)] de verzameling eigenschappen die iedereen heeft Iedereen danst [ ] λp. x [P(x)] (λy.d(y)) x [ [λy.d(y)] (x) ] x D(x) Iedere student danst Iedere student danst x [ (x) D(x) ] λz.d(z) λp.λq. x [P(x) Q(x)] λy.(y) Dansen is een eigenschap van iedereen Voorbeeld: lambda s en kwantoren (III) iedere student: λp.λq. x [P(x) Q(x)] ( λy.(y) ) λq. x [ (λy.(y)) (x) Q(x) ] λq. x [ (x) Q(x) ] og een voorbeeld: reflexieven zichzelf: λr.λx.r(x, x) waarbij R een 2-plaatsige relatie is Hanna bewondert zichzelf bewondert zichzelf: [ ] ( ) λr.λx. R(x, x) λy.λz.b(y, z) λx.b(x, x) (iedere student) danst: λq. x [ (x) Q(x) ] (λz.d(z)) Hanna bewondert zichzelf: [ λx.b(x, x) ] (h) B(h, h) x [ (x) (λz.d(z)) (x) ] x [ (x) D(x) ]
6 og een voorbeeld: kwantor & reflexieven Volgorde van argumenten Iedereen bewondert zichzelf zichzelf bewonderen: Mo kust Peter Peter kust Mo [ λr.λx. R(x, x) ] ( λy.λz.b(y, z) ) λx.b(x, x) iedereen: λp. y P(y) Iedereen bewondert zichzelf: [ λp. y P(y) ] ( λx.b(x, x) ) y B(y, y) Mo V Peter V kust Peter kust Mo Peter p; Mo m; kust λy.λx. K(y)(x) λy.λx. K(y)(x) ] (p) λx. K(p)(x) λx. K(p)(x) ] (m) K(p)(m) Mo kust Peter Herschrijfgrammatica s en Compositionele emantiek Herschrijfgrammatica s en Compositionele emantiek (II) Verrijken syntactische regels met semantische aanhechtingen (semantic attachments) Ze bepalen hoe de semantische representatie van een woordengroep wordt berekend uit de semantische representaties van zijn delen Voorbeeld: Hannah slaapt Hannah slaapt {.sem (.sem)} {h} {λx. (x)} Andere voorbeeld: Iedere student slaapt. {.sem (.sem)} {.sem (.sem)} Hannah {h} student {λx. t(x)} iedere {λp.λq. x [P(x) Q(x)]} slaapt {λx. (x)} Wat gebeurt er nu als we Hannah slaapt afleiden? Hannah {λp.p(h)} de verzameling eigenschappen die Hannah heeft
7 Bereiksambiguïteiten Bereiksambiguïteiten Elke student leest een boek. Ambigu: Elke student leest een boek, namelijk Harry Potter. Elke student leest een boek: Piet leest Harry Potter, Truus leest Jip en Janneke, etc. x [ (x) y [B(y) L(x, y)] ] - direct bereik (surface scope) y [ B(y) x [(x) L(x, y)] ] - omgekeerd bereik (inverse scope) een: λp.λq. x (P(x) Q(x)) Bereiksambiguïteit is een probleem voor compositionele semantiek, want je kan niet beide lezingen krijgen! Verschillende oplossingen: tore aanpak (zie het boek) Constraint-based Onderspecificatie-representaties: een representatie waarin alle lezingen bevat zijn, zonder dat deze expliciet opgesomd worden alle mogelijke lezingen kunnen vanuit de ondergespecificeerde representatie gegenereerd worden Idiomen Idiomen Voorbeelden: ederlands: geen kaas eten van iets niet veel weten van iets Engels: kick the bucket dood gaan Voorbeelden: Russisch: sobaku sjest na chem-to hond eten op iets ervaring hebben in iets Frans: sucrer les fraises suiker-toevoegen-aan de aardbeien trillen
8 Idiomen Probleem: niet compositioneel Geen letterlijke betekenis Oplossing: V {V.em (.em)} geen kaas eten van iets {λy.λx. (niet veel weten(y)(x)))}
Betekenis 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 informatieBetekenis I: Semantiek
Betekenis I: Semantiek Marieke Schouwstra 21 mei De studie van betekenis Semantiek: de studie van betekenis in taal 17.1, 17.2, 17.3, vandaag Pragmatiek: de studie van betekenis in taalgebruik delen van
Nadere informatieOpdrachten Werkcollege 4
1. Vertaling in predicatenlogica Opdrachten Werkcollege 4 Vertaal de volgende zinnen naar de eerste orde predicatenlogica: Jan of Piet studeert wiskunde Moskou is een stad in Rusland Geen student die 5
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 informatieInleiding: Semantiek
Betekenis 1 Inleiding: Semantiek Semantiek: de studie van betekenis in taal Doel: modelleren hoe de betekenis van een zin of woordgroep is opgebouwd uit de betekenissen van de woorden. Inleiding: Drie
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 informatieCollege Logica voor CKI
College Logica voor CKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 15 oktober, 2012 1 Overview 2 Overview 2 Overview 2 Overview 3 Syntaxis De eerste ronde: Constanten:
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 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 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 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 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 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 informatieNieuwe redeneringen. TI1300: Redeneren en Logica. Waar gaan deze uitdrukkingen over? Een nieuwe taal
Nieuwe redeneringen TI1300: Redeneren en Logica College 12: Predicatenlogica Tomas Klos Algoritmiek Groep Alle mensen zijn sterfelijk Socrates is mens Socrates is sterfelijk Niet propositie-logisch geldig,
Nadere informatieCollege 4: Gegeneraliseerde Kwantoren
Semantiek CKI/CAI Utrecht, herfst 2008 College 4: Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties
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 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 Syllogistische redeneringen Syllogistische redeneringen zoals
Nadere informatieMeer oefenen. TI1300: Redeneren en Logica. Vertalen. Meerdere wegen leiden naar Rome
Meer oefenen TI1300: Redeneren en Logica College 13: Synta en Semantiek van de Predicatenlogica Tomas Klos Algoritmiek Groep Vertaal: Niet alle paarden zijn bruin Geef ook je vertaalsleutel (welke predicaten,
Nadere informatieBoys buying two sausages each: On the syntax and semantics of distance-distributivity Zimmermann, M.
UvA-DARE (Digital Academic Repository) Boys buying two sausages each: On the syntax and semantics of distance-distributivity Zimmermann, M. Link to publication Citation for published version (APA): Zimmermann,
Nadere informatieInleiding: Combinaties
Zinnen 1 Inleiding: Combinaties Combinaties op verschillende niveaus: Lettergrepen als combinaties van fonemen. Woorden als combinaties van morfemen. Zinnen als combinaties van woorden en woordgroepen.
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 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 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 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 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 informatieInleiding Logica voor CKI
Inleiding Logica voor CKI Albert Visser Philosophy, Faculty Humanities, Utrecht University 17 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 3 Signatuur Een signatuur Σ is een rijtje Pred, Con,
Nadere informatieFormele Semantiek Van de predicatenlogica naar gegeneraliseerde kwantoren. Jeroen Van Craenenbroeck en Guido Vanden Wyngaerd
Formele Semantiek Van de predicatenlogica naar gegeneraliseerde kwantoren Jeroen Van Craenenbroeck en Guido Vanden Wyngaerd Inhoud 1. Betekenis... 1 1.1. Wat is betekenis?... 1 1.2. Sinn en Bedeutung van
Nadere informatieGegeneraliseerde Kwantoren
Semantiek CKI Utrecht, lente 2012 Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties tussen verzamelingen,
Nadere informatieFormeel Denken 2013 Uitwerkingen Tentamen
Formeel Denken 201 Uitwerkingen Tentamen (29/01/1) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Het is koud, maar er ligt
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 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 informatieFormeel Denken. October 20, 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 October 20, 2004 Contents 1 Predicatenlogica
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 informatieTAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?
TAALFILOSOFIE Overkoepelende vraag: WAT IS BETEKENIS? TAALFILOSOFIE Formele seman=ek Bijv. Proposi=elogica Informele seman=ek TAALWETENSCHAP Syntaxis Semantiek Pragmatiek Seman=sche categorieën Termen
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 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 informatieBoommethode. TI1300: Redeneren en Logica. Oefenen, wat anders? Aanvullende regels (Logica, tabel 11.1, p. 159) A (B C),A C = B
Boommethode Is deze redenering logisch geldig? TI1300: Redeneren en Logica College 15: Boommethode en Resolutie Tomas Klos Algoritmiek Groep A (B C),A C = B oftewel: is deze verzameling vervulbaar? { A
Nadere informatieWI1708TH Analyse 2. College 5 24 november Challenge the future
WI1708TH Analyse 2 College 5 24 november 2014 1 Programma Vandaag 2 e orde lineaire differentiaal vergelijking (17.1) 2 1 e orde differentiaal vergelijking Definitie Een 1 e orde differentiaal vergelijking
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 30 april 2007 INLEIDING Kennisrepresentatie & Redeneren Week1: Introductie
Nadere informatieDefinitie van raaklijn aan cirkel: Stelling van raaklijn aan cirkel:
13.0 Voorkennis Op de cirkel liggen alle punten met een Gelijke afstand tot het middelpunt van de cirkel. Voor een punt p op de cirkel geldt d(p, M) = r Definitie van raaklijn aan cirkel: Een raaklijn
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 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 informatieVorm en Betekenis. Jan van Eijck. Inleiding Taalkunde, Juni 2006
Vorm en Betekenis Jan van Eijck Inleiding Taalkunde, Juni 2006 Vorm en Betekenis Jan van Eijck Inleiding Taalkunde, Juni 2006 Grammaticaregels hebben betrekking op vorm. Zijn er ook regels te geven voor
Nadere informatiePragmatiek. 6 juni 2009
Pragmatiek 6 juni 2009 Semantiek - Betekenis gedefinieerd in termen van verwijzing naar de werkelijkheid buiten de taal (denotatie) [[Jantje]] = het individu Jantje [[slaapt]] = de verzameling van slapende
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 informatieBekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { De tweede vergelijking van de eerste aftrekken geeft:
Determinanten Invoeren van het begrip determinant Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { a x + b y = c a 2 a 2 x + b 2 y = c 2 a Dit levert op: { a a 2 x
Nadere informatieUITWERKINGEN 1 2 C : 2 =
UITWERKINGEN. De punten A, B, C, D in R zijn gegeven door: A : 0, B : Zij V het vlak door de punten A, B, C. C : D : (a) ( pt) Bepaal het oppervlak van de driehoek met hoekpunten A, B, C. Oplossing: De
Nadere informatieEmbedded implicatures!?!
Embedded implicatures!?! Belief reports Jan gelooft dat Piet ziek is. = Piet is ziek B j (Piet is ziek) Belief reports met scalaire elementen Jan gelooft dat Piet enkele boeken van Chomsky gelezen heeft
Nadere informatieSYNTAXIS EN SEMANTIEK: BEREIK IN HET NEDERLANDS
SYNTAXIS EN SEMANTIEK: BEREIK IN HET NEDERLANDS Eddy Ruys Taal is de systematische verbinding van een vorm (klank) met een betekenis. * Wie betekenissen wil beschrijven, en wil verklaren hoe het komt dat
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 informatieHoorcollege Logica. Hans-Dieter A. Hiep
Hoorcollege Logica Hans-Dieter A. Hiep Agenda 1. Horn-formules 2. Vervulbaarheidsprobleem Validiteit en vervulbaarheid Gegeven een formule φ in de (klassieke) propositielogica. Definitie φ is valide voor
Nadere informatieModeluitwerking Tentamen Computationele Intelligentie Universiteit Leiden Informatica Vrijdag 11 Januari 2013
Modeluitwerking Tentamen Computationele Intelligentie Universiteit Leiden Informatica Vrijdag Januari 20 Opgave. Python Gegeven is de volgende (slechte) Python code:. def t(x): 2. def p(y):. return x*y
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 informatieGaap, ja, nog een keer. In één variabele hebben we deze formule nu al een paar keer gezien:
Van de opgaven met een letter en dus zonder nummer staat het antwoord achterin. De vragen met een nummer behoren tot het huiswerk. Spieken achterin helpt je niets in het beter snappen... 1 Stelling van
Nadere informatiePredikaatlogica en informatica
Logica in actie H O O F D S T U K 5 Predikaatlogica en informatica Wanneer is een predikaatlogische formule waar? Om de gedachten te bepalen, beschouwen we nog eens de formule: x (P(x) y (P(y) y > x))
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 informatieHOE TEKEN IK EEN OMGEVINGSMODEL
HOE TEKEN IK EEN OMGEVINGSMODEL MATTIAS DE WAEL 1. Inleiding Om de allereenvoudigste Scheme expressies te begrijpen volstaat het substitutiemodel. Het substitutiemodel verondersteld het bestaan van een
Nadere informatieGegeneraliseerde Kwantoren
Gegeneraliseerde Kwantoren Jan van Eijck CWI, Amsterdam and Uil-OTS, Utrecht jve@cwi.nl 18 juni 2008 Samenvatting We geven een kort overzicht van de theorie van gegeneraliseerde kwantoren. Meer informatie
Nadere informatieequationeel programmeren 2015 01 05 college 1
equationeel programmeren 2015 01 05 college 1 schema praktische zaken opmerkingen vooraf lambda termen materiaal schema praktische zaken opmerkingen vooraf lambda termen materiaal wie hoorcolleges: Femke
Nadere informatieTentamen Grondslagen van de Wiskunde B met uitwerkingen
Tentamen Grondslagen van de Wiskunde B met uitwerkingen 19 januari 2012, 13.30-16.30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatieLeesaantekeningen bij Zwicky & Sadock, Ambiguity tests and how to fail them
Leesaantekeningen bij Zwicky & Sadock, Ambiguity tests and how to fail them Het doel van dit artikel is het onderscheid te onderzoeken tussen ambiguïteit enerzijds en onderspecificatie of vaagheid anderzijds.
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 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 informatieInhoud introductie. Introductie tot de cursus
Inhoud introductie Introductie tot de cursus 1 Functie en plaats van de cursus 7 1.1 Voorkennis 7 1.2 Leerdoelen 7 2 Opbouw van de cursus 8 2.1 Cursusbestanddelen 8 2.2 Nummering en studielast van de leereenheden
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 7
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 7 2/121 Vandaag: vierde college Regeer- en Bindtheorie (4/6) 3/121 Vorige colleges:! structuur van alle woordgroepen (X -theorie) XP YP X X ZP specifier
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 informatieInleiding. Syntaxis: de combinaties van woorden tot woordgroepen en zinnen.
Zinnen 2 Inleiding Syntaxis: de combinaties van woorden tot woordgroepen en zinnen. Wat voor rol spelen de kenmerken van de woorden hierbij? Wat voor soort woordvolgordes vinden we? Hoe kunnen die woordvolgordes
Nadere informatie18.I.2010 Wiskundige Analyse I, theorie (= 60% van de punten)
8.I.00 Wiskundige Analyse I, theorie 60% van de punten) Beantwoord elk van de vragen I,II,III en IV op één van de dubbele geruite bladen. Schrijf op elk van die dubbele geruite bladen, bovenaan de eerste
Nadere informatieIn dit college bekijken we een aantal technieken om integralen te bepalen van trigonometrische functies en van rationale functies.
03 college 5: meer technieken In dit college bekijken we een aantal technieken om integralen te bepalen van trigonometrische functies en van rationale functies. Opmerking over de notatie. Net als in het
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 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 informatieDiscrete Wiskunde, College 7. Han Hoogeveen, Utrecht University
Discrete Wiskunde, College 7 Han Hoogeveen, Utrecht University Sommatiefactor methode (niet in boek) Doel: oplossen van RBs als Basisidee: f n a n = g n a n 1 + c n ; 1 Vermenigvuldig de RB met een factor
Nadere informatieI.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules.
I.3 Functies Iedereen is ongetwijfeld in veel situaties het begrip functie tegengekomen; vaak als een voorschrift dat aan elk getal een ander getal toevoegt, bijvoorbeeld de functie fx = x die aan elk
Nadere informatieNederlandse Samenvatting
Nederlandse Samenvatting Men neemt algemeen aan dat er in de orde van vijf- tot zesduizend talen zijn. Afgezien van het Engels, Frans of het Spaans, bestaat er voor veel talenparen X, Y niet een woordenboek
Nadere informatieSemantiek 1 college 4. Jan Koster
Semantiek 1 college 4 Jan Koster 1 Uitgangspunt sinds vorige week Semantiek is representationeel (en niet referentieel), gebaseerd op interpretaties van sprekers en hoorders Geen scherpe scheiding tussen
Nadere informatiePredicaten. Hoofdstuk 4
Hoofdstuk 4 Predicaten Tot nu toe hebben we ons beziggehouden met proposities, en gezien hoe we daarmee moeten omgaan. Proposities zijn echter niet toereikend om daarin alle overwegingen te formuleren
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 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 informatieLogica voor Informatica. Logica Toepassingen. PROLOG: Logische Programmeertaal. Mehdi Dastani
Logica voor Informatica Logica Toepassingen PROLOG: Logische Programmeertaal Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Programmeren met Logica Propositielogica is niet geschikt
Nadere informatieSamenvatting in het Nederlands
Samenvatting in het Nederlands De vraag die in dit proefschrift centraal staat, betreft de aard van aspectuele verschillen in het Russisch. Het belangrijkste doel is het aanwijzen van een eigenschap of
Nadere informatieInleiding taalkunde. Inleiding - 23 april 2013 Marieke Schouwstra
Inleiding taalkunde Inleiding - 23 april 2013 Marieke Schouwstra 1 Dit college Overzicht cursus Wat is natuurlijke taal? Wat is taalkunde? 2 Docenten Marieke Schouwstra taalevolutie en betekenis Yoad Winter
Nadere informatieOnderwijs- en examenregeling
Onderwijs- en examenregeling geldig vanaf 1 september 2016 Opleidingsspecifiek deel: Bacheloropleiding: Taalwetenschap Deze Onderwijs- en examenregeling is opgesteld overeenkomstig artikel 7.13 van de
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 informatieTentamen Grondslagen van de Wiskunde A Met beknopte uitwerking
Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking 10 december 2013, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is
Nadere informatieUitwerkingen tentamen Lineaire Algebra 2 16 januari, en B =
Uitwerkingen tentamen Lineaire Algebra 2 16 januari, 215 Deze uitwerkingen zijn niet volledig, maar geven het idee van elke opgave aan. Voor een volledige oplossing moet alles ook nog duidelijk uitgewerkt
Nadere informatieScope Problemen met Indefiniete NP s
Scope Problemen met Indefiniete NP s Een uiteenzetting van problemen en mogelijke oplossingen met betrekking tot de scope van indefiniete noun-phrases. Juliette Bosveld Tilburg, november 2005 Afb: http://www.kidsplanet.nl
Nadere informatieRecursie en inductie i
Recursie en inductie i deel 2 Negende college inductiebewijzen 1 inductieprincipe Structurele inductie (inductie naar de opbouw) is de bewijstechniek die hoort bij inductief opgebouwde objecten zoals bomen
Nadere informatieOefenopgaven Grondslagen van de Wiskunde A
Oefenopgaven Grondslagen van de Wiskunde A Jaap van Oosten 2007-2008 1 Kardinaliteiten Opgave 1.1. Bewijs, dat R N = R. Opgave 1.2. Laat Cont de verzameling continue functies R R zijn. a) Laat zien dat
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 11
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 11 2/68 Vandaag: tweede college Minimalisme (2/4) 3/68 Minimalisme! voortzetting van de generatieve syntaxis (1991-heden)! kernidee: de grammatica
Nadere informatie4 Beschouw de volgende formuleverzameling S: {"x "y ((Rxy Æ "z (Rxz Æ y = z)), "x "y (Ryx Æ "z (Rzx Æ y = z)),
T E N T A M E N L O G I C A 1 1 Bepaal met behulp van een waarheidstabel een disjunctieve normaalvorm voor de formule (p (q Ÿ ( r Æ (p Ÿ q)))). Is er een eenvoudiger formule waarmee de gevonden formule
Nadere informatieWoord en wereld Een inleiding tot de taalfilosofie
Woord en wereld Een inleiding tot de taalfilosofie Filip Buekens Acco Leuven / Den Haag Hoofdstuk I. Freges uitgangspunten 11 I.1 De semantische dimensie van taal 11 I.2 Proposities: Freges kernstellingen
Nadere informatieOPMERKINGEN VOORAF: Ik heb de bewijsnetten waar ik gebruik van maakte in mijn vorige versie van dit artikel vervangen voor het Natuurlijke
OPMERKINGEN VOORAF: Ik heb de bewijsnetten waar ik gebruik van maakte in mijn vorige versie van dit artikel vervangen voor het Natuurlijke Deductiesysteem. Met name omdat ik, na bestudering van enige primaire
Nadere informatieLogica voor AI. Bisimulatie en niet-karakteriseerbaarheid. Antje Rumberg. 21 november Correspondentie.
Logica voor AI en niet-karakteriseerbaarheid Antje Rumberg Antje.Rumberg@phil.uu.nl 21 november 2012 1 Kripke Semantiek De taal L m van de modale propositielogica ϕ ::= p ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ Blokje en
Nadere informatieVerzamelingen, Lijsten, Functioneel Programmeren
Verzamelingen, Lijsten, Functioneel Programmeren Jan van Eijck jve@cwi.nl Stage Ignatiuscollege, 20 mei 2008 Samenvatting In deze lezing gaan we in op de overeenkomsten en verschillen tussen verzamelingen
Nadere informatieSemantiek 1 college 2
Semantiek 1 college 2 Jan Koster 1 Boek 2 Twee benaderingen Referentiële semantiek (denotationeel) Accent op relaties tussen taalelementen en buitentalige werkelijkheid (externalisme) Representationele
Nadere informatieHoofdstuk 4: Aanvullende Begrippen (Extra Oefeningen)
Hoofdstuk 4: Aavullede Begrippe (Extra Oefeige) 9. Veroderstel dat X e Y ormaal verdeeld zij met resp. gemiddelde waarde µ X e µ Y e met dezelfde variatie 2. Wat is da de distributie va X Y? Bepaal de
Nadere informatieAchtergrond bij de pragmatiek
Achtergrond bij de pragmatiek Discourse-analyse Rick Nouwen 1 Wat is pragmatiek? 1.1. Het trivium en de semiotische driehoek Het idee om pragmatiek te onderscheiden van semantiek en syntaxis is terug te
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 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 informatieUniversity of Groningen. Acquiring quantification Smits, Erik-Jan
University of Groningen Acquiring quantification Smits, Erik-Jan IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document
Nadere informatie