Logica voor Informatica
|
|
- Andreas Bogaerts
- 5 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Logica voor Informatica 12 Normaalvormen Wouter Swierstra University of Utrecht 1
2 Vandaag We hebben gezien dat er verschillende normaalvormen zijn voor de propositionele logica. Maar hoe zit dat met de predikatenlogica? 2
3 Vandaag We hebben gezien dat er verschillende normaalvormen zijn voor de propositionele logica. Maar hoe zit dat met de predikatenlogica? Na vandaag volgen nog twee colleges over toepassingen van de logica binnen de informatica. logisch programmeren programmaverificatie 2
4 Vervulbaar equivalent ϕ en ψ zijn vervulbaar (semantisch) equivalent als voor elke model M en elke bedeling b geldt: M, b = ϕ M, b = ψ Notatie: ϕ ψ Stelling: Equivalenties uit propositielogica gelden ook voor predikatenlogica. Voorbeel: ϕ ψ ψ ϕ 3
5 Alfabetische variant Intuitief, zijn x.p (x) en y.p (y) hetzelfde Preciezer: x.p (x) y.p (y) We kunnen de gebonden variabele x hernoemen naar y om te laten zien dat ze inderdaad hetzelfde zijn. Twee formules heten alfabetische variant als ze door (een serie van) herbenoemingen gelijk gemaakt kunnen worden. 4
6 Alfabetische variant Intuitief, zijn x.p (x) en y.p (y) hetzelfde Preciezer: x.p (x) y.p (y) We kunnen de gebonden variabele x hernoemen naar y om te laten zien dat ze inderdaad hetzelfde zijn. Twee formules heten alfabetische variant als ze door (een serie van) herbenoemingen gelijk gemaakt kunnen worden. Voorbeeld van alfabetische variante formules: P (x) x(q(x) vr(x, v)) P (x) x(q(x) wr(x, w)) 4
7 Alfabetische variant De volgende formules zijn NIET alfabetische varianten: P (x) x(q(x) yr(x, y)) P (y) x(q(x) yr(x, y)) P (x) x(q(x) xr(x, x)) Let op: Twee formules zijn alleen alfabetische variant als we de gebonden variabelen herbenoemen. Stelling: Als ϕ en ψ alfabetische varianten zijn, dan ϕ ψ 5
8 Eenduidige formule Een formule ϕ heet eenduidig als geen variabele in ϕ zowel vrij als gebonden voorkomt, en elke variabele in ϕ slechts door een kwantor gebonden wordt. Voorbeeld: P (x) y(q(y) zr(y, z)) is eenduidig P (x) x(q(x) yq(x, y)) is NIET eenduidig xp (x) xq(x) is NIET eenduidig Stelling: Elke formule ϕ kan herschreven worden naar een eenduidig formule ψ zodat ϕ ψ. (genereer alfabetische variant van formule) 6
9 Eenduidige formule Waarom zijn eenduidige formules interessant? 7
10 Eenduidige formule Waarom zijn eenduidige formules interessant? Ze zijn een stuk eenvoudiger te manipuleren! We hoeven ons geen zorgen te maken over variable capture dat vrije variabelen plotseling gebonden worden tijdens een substitutie. Door eerst een formule eenduidig te maken, is het eenvoudiger om deze vervolgens verder te transformeren. 7
11 Normaalvormen in predikatenlogica Elke predikaten-formule kan herschreven worden tot een vervulbaar equivalente normaalvorm x 1... x n ϕ waar ϕ kwantorvrij (en in CNF vorm) is. In de rest van dit college gaan we de verschillende stappen toelichten die nodig zijn om deze normaalvorm te vinden. 8
12 Prenex normaalvorm Een predikaten-formule staat in prenex normaalvorm als alle kwantoren voorop staan. waar Q i {, } Q 1 x 1... Q n x n ϕ ϕ wordt de matrix genoemd, Q 1 x 1... Q n x n wordt de prefix genoemd. Stelling: For elke predikatenlogische formule bestaat een vervulbaar equivalent formule in prenex normaalvorm. 9
13 Vervulbaar equivalente formules Laat ϕ en ψ predikaten-formules zijn. De volgende equivalenties brengen kwantoren naar voren. x ϕ x ϕ x ϕ x ϕ ( x ϕ) ( x ψ) x (ϕ ψ) ( x ϕ) ( x ψ) x (ϕ ψ) x y ϕ y x ϕ x y ϕ y x ϕ 10
14 Vervulbaar equivalente formules x ϕ x ϕ Laat M en b willekeurige model en bedeling zijn, dan M, b = x ϕ er geldt niet M, b = x ϕ niet voor alle d D geldt M, b(x d) = ϕ er is een d D zodat niet M, b(x d) = ϕ er is een d D zodat M, b(x d) = ϕ M, b = x ϕ 11
15 Vervulbaar equivalente formules Laat ϕ en ψ predikaten-formules zijn. De volgende equivalenties brengen kwantoren naar voren. ( x ϕ) ψ x (ϕ ψ) ( x ϕ) ψ x (ϕ ψ) ( x ϕ) ψ x(ϕ ψ) ( x ϕ) ψ x(ϕ ψ) ϕ x ψ x(ϕ ψ) ϕ x ψ x(ϕ ψ) als x niet vrij in ψ voorkomt (ook voor ). als x niet vrij in ψ voorkomt (ook voor ). als x niet vrij in ψ voorkomt. als x niet vrij in ψ voorkomt. als x niet vrij in ϕ voorkomt. als x niet vrij in ϕ voorkomt. 12
16 Prenex normaalvorm P (x) x( y Q(x, y) z R(x, z) ) Stap 1: Indien nodig, zet de formule om in een eenduidige formule door gebonden variabelen te hernoemen. Voorbeeld: P (x) x( y Q(x, y) z R(x, z) ) P (x) u( y Q(u, y) z R(u, z) ) 13
17 Prenex normaalvorm P (x) x( y Q(x, y) z R(x, z) ) Stap 2: Elimineer alle voorkoens van en, en distribueer over de kwantoren: Voorbeeld: P (x) x( y Q(x, y) z R(x, z) ) P (x) u( y Q(u, y) z R(u, z) ) P (x) u( y Q(u, y) z R(u, z) ) P (x) u( y Q(u, y) z R(u, z) ) 14
18 Prenex normaalvorm P (x) x( y Q(x, y) z R(x, z) ) Stap 3: Breng alle kwantoren naar buiten: x ϕ ψ x (ϕ ψ) x ϕ ψ x (ϕ ψ) Voorbeeld: P (x) u( y Q(u, y) z R(u, z) ) P (x) u y z ( Q(u, y) R(u, z)) u y z (P (x) ( Q(u, y) R(u, z))) 15
19 Prenex normaalvorm P (x) x( y Q(x, y) z R(x, z) ) P (x) x( y Q(x, y) z R(x, z) ) P (x) u( y Q(u, y) z R(u, z) ) P (x) u( y Q(u, y) z R(u, z) ) P (x) u( y Q(u, y) z R(u, z) ) P (x) u y z ( Q(u, y) R(u, z)) u y z (P (x) ( Q(u, y) R(u, z))) 16
20 Skolemfunctie In predikaten-formule x y Q(x, y) y is afhankelijk van x: voor elke x is er een (van x afhankelijke) y. Een Skolemfunctie elimineert x door overal y te vervangen door f(x) voor een nieuw functiesymbol f (Skolemfunctie). x Q(x, f(x)) 17
21 Skolemfunctie Introduceer een nieuwe Skolemfunctie voor elke existentieel gekwantificeerde variabele. Een Skolemfunctie heeft als argument alle voorafgaande universeel gekwantificeerde variabelen. x 1... x n y Ψ x 1... x n Ψ[f(x 1,..., x n )/y] Herhaal totdat er geen existentiële kwantoren meer over zijn. Dit proces heeft Skolemiseren. 18
22 Skolemnormaalvorm Elke predikaten-formule kan geschreven worden in Skolemnormaalvorm, door Stap 1: de predikaten-formula omzetten in prenexnormaalvorm. Stap 2: Elimineer existentiële kwantoren door Skolemiseren. 19
23 Skolemnormaalvorm P (x) x( y Q(x, y) z R(x, z) ) Voorbeeld: u y z (P (x) ( Q(u, y) R(u, z))) u (P (x) ( Q(u, f 1 (u)) R(u, f 2 (u)))) Stelling: Als ϕ gesloten is, dan bestaat er een Skolemnormaalvorm ϕ van ϕ, zodat: ϕ is vervulbaar ϕ is vervulbaar 20
24 Skolemnormaalvorm De prenex (d.w.z. de rij universele kwantoren) van een predikaten-formule in Skolemnormaalvorm is overbodig. De Skolemnormaalvorm kan omgezet worden in CNF. 21
25 Het Volledig Plaatje Gegeven een predikatenlogische formule ϕ ϕ P renex Q 1 x 1... Q n x n ψ (ψ is kwantor vrij) Skolem x 1... x m χ (χ is kwantor vrij, m n) CNF x 1... x m L (L is literal) (CNF met alle variabelen universeel gekwantificeerd) 22
26 Het Volledig Plaatje Gegeven F P renex... Skolem... CNF F Stelling: Als F gesloten is, dan bestaat er een F zdd: F is vervulbaar F is vervulbaar Stelling: Als F gesloten is, dan geldt: F = F ( F = F geldt niet in het algemeen ) 23
27 Tot slot van het logica-deel Dit was een inleiding in de logica en logische technieken Zoals we hebben gezien, zijn er vele logische technieken, alleen al voor de klassieke propositielogica (semantisch en bewijstheoretisch) Belangrijk is die techniek(en) te gebruiken die voor de toepassing handig is en te allen tijde goed in de gaten te houden waar je precies mee bezig bent. Haal dus niet de verschillende begrippen (zoals logisch gevolg) voor verschillende logica s (propositie- vs. predikaten) door elkaar! 24
Logica 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 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 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 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 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 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 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 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 informatieLogica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3
Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3 3.1 Stel ϕ, ψ α, β γ, en ψ, α, γ χ. Indien nu bovendien bekend wordt dat χ onwaar is, maar ψ en β waar, wat weet u dan over ϕ? oplossing:
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 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 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 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 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 informatieIntelligente Systemen & Logica. Architectuur. Intelligent Systeem als Logische Theorie. Geschiktheid van Logica
Intelligente Systemen & Logica Architectuur Intelligent systeem als kennissysteem: kennisrepresentatie automatisch redeneren/inferentie acquisitie van kennis modelleren communicatie (systeem-gebruikersdialoog)
Nadere informatie6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x )] xp(x ) xq(x ). De bewering is onjuist:
6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x ) xp(x ) xq(x ). De bewering is onjuist: Kies als tegenvoorbeeld: P (x ):x 2 > 0enQ (x ):x>0, voor U = R Dan geldt:
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 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 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 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 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 informatieLogica voor Informatica
Logca voor Informatca 11 Bewjzen n de predkatenlogca Wouter Swerstra Unversty of Utrecht 1 Natuurljke deducte Alle afledngsregels voor propostelogca gelden ook voor predkaten logca Neuwe afledngsregels
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informatieLogica voor Informatica. Propositielogica. Bewijssystemen voor propositielogica. Mehdi Dastani
Logica voor Informatica Propositielogica Bewijssystemen voor propositielogica Mehdi Dastani mmdastani@uunl Intelligent Systems Utrecht University Deductie Tot nu toe voornamelijk semantisch naar logica
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 informatieTentamen AR , tijd: uur zaal: EDUC-gamma deeltent. 2 van 3 alle versies 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. Tentamen
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 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 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 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 informatieNatuurlijke deductie voor predikatenlogica
Logca voor Informatca Natuurljke deducte voor predkatenlogca Ftch s systeem voor predkatenlogca Mehd Dastan mmdastan@uunl Intellgent Systems Utrecht Unversty Natuurljke deducte Alle afledngsregels voor
Nadere informatieLogica voor AI. Verschillende modale systemen en correctheid. Antje Rumberg. 30 november 2012.
Logica voor AI en correctheid Antje Rumberg AntjeRumberg@philuunl 30 november 2012 1 De minimale normale modale logica K Axioma s alle tautologieën van de propositielogica ( ψ) ( ψ) (K-axioma) (Def ) Afleidingsregels
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 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 informatieSYLLABUS LOGISCHE ANALYSE
SYLLABUS LOGISCHE ANALYSE FRANK VELTMAN (MET BIJDRAGEN VAN KAREN KWAST EN EMAR MAIER) AFDELING WIJSBEGEERTE FACULTEIT DER GEESTESWETENSCHAPPEN UNIVERSITEIT VAN AMSTERDAM 2004-2007 2 Inhoudsopgave Inhoudsopgave
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 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 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 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 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 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 informatie34 HOOFDSTUK 1. EERSTE ORDE DIFFERENTIAALVERGELIJKINGEN
34 HOOFDSTUK 1. EERSTE ORDE DIFFERENTIAALVERGELIJKINGEN 1.11 Vraagstukken Vraagstuk 1.11.1 Beschouw het beginwaardeprobleem = 2x (y 1), y(0) = y 0. Los dit beginwaardeprobleem op voor y 0 R en maak een
Nadere informatieLogica in het (V)WO. Barteld Kooi
Logica in het (V)WO Barteld Kooi Wie ben ik? Bijzonder hoogleraar logica en argumentatietheorie Ik geef al meer dan tien jaar colleges logica aan de RuG voor de opleidingen wijsbegeerte, wiskunde, (alfa-)informatica,
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 informatieWiskunde logica Werkcollege 1
Wiskunde logica Werkcollege 1 Jolien Oomens 10 februari 2017 Opgave 2 Geef een voorbeeld van een verzameling en een relatie die (a) reflexief maar niet transitief is; (b) reflexief en transitief maar niet
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 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 informatieWiskunde logica Werkcollege 6
Wiskunde logica Werkcollege 6 Jolien Oomens 17 maart 2017 Jolien Oomens Werkcollege 6 17 maart 2017 1 / 7 Opgave 1 Welke van deze formules zijn af te leiden? (a) Γ$ϕ,Γ$ψ Γ$ϕ^ψ (b) Γ$Dxϕ Γ$@xϕ. Jolien Oomens
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 informatieTermherschrijven. Jan van Eijck CWI. Achtergrondcollege Software Evolution, 22 september Samenvatting
Termherschrijven Jan van Eijck CWI jve@cwi.nl Achtergrondcollege Software Evolution, 22 september 2005 Samenvatting Wat zijn termen? Wat zijn regels voor vereenvoudigen van termen? Het begrip normaalvorm.
Nadere informatieTermherschrijfsystemen en Propositie-Algebra
Termherschrijfsystemen en Propositie-Algebra Evalien IJsendijk 19 augustus 2010 Bachelorscriptie Begeleiding: dr. Alban Ponse x y z u v x y v z x u v KdV Instituut voor Wiskunde Faculteit der Natuurwetenschappen,
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 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 informatieElfde college complexiteit. 23 april NP-volledigheid III
college 11 Elfde college complexiteit 23 april 2019 NP-volledigheid III 1 TSP Als voorbeeld bekijken we het Travelling Salesman/person Problem, ofwel het Handelsreizigersprobleem TSP. Hiervoor geldt: TSP
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 informatieWanneer zijn veelvouden van proniks proniks?
1 Uitwerking puzzel 92-1 Wanneer zijn veelvouden van proniks proniks? Harm Bakker noemde het: pro-niks voor-niks De puzzel was voor een groot deel afkomstig van Frits Göbel. Een pronik is een getal dat
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 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 informatieVerzamelingen. Hoofdstuk 5
Hoofdstuk 5 Verzamelingen In de meest uiteenlopende omstandigheden kan het handig zijn om een stel objecten, elementen, of wat dan ook, samen een naam te geven. Het resultaat noemen we dan een verzameling.
Nadere informatieHoofdstuk 4. In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica
Hoofdstuk 4 Stellingen over de Propositielogica In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica behandeld. In x4.1 wordt het begrip meta-stelling gentroduceerd en
Nadere informatieRAF belangrijk te onthouden
RAF belangrijk te onthouden Auteur: Daan Pape Hoofdstuk 1 symbool omschrijving lees als negatie (ontkenning) p niet p het is niet zo dat p conjunctie p q p en q disjunctie p q p of q implicatie p q als
Nadere informatiete vermenigvuldigen, waarbij N het aantal geslagen Nederlandse munten en B het aantal geslagen buitenlandse munten zijn. Het resultaat is de vector
Les 3 Matrix product We hebben gezien hoe we matrices kunnen gebruiken om lineaire afbeeldingen te beschrijven. Om het beeld van een vector onder een afbeelding te bepalen hebben we al een soort product
Nadere informatieTermherschrijven. Jan van Eijck CWI. jve@cwi.nl. Achtergrondcollege Software Evolution, 22 september 2005
Termherschrijven Jan van Eijck CWI jve@cwi.nl Achtergrondcollege Software Evolution, 22 september 2005 Samenvatting Wat zijn termen? Samenvatting Samenvatting Wat zijn termen? Wat zijn regels voor vereenvoudigen
Nadere informatieTentamen Grondslagen van de Wiskunde B met uitwerkingen
Tentamen Grondslagen van de Wiskunde B met uitwerkingen 8 november 2012, 14:00 17:00 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatieInleiding Wiskundige Logica
Inleiding Wiskundige Logica Yde Venema 2015/2016 c YV 2016 Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, NL 1098XH Amsterdam E-mail: yvenema@uvanl Voorwoord
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 informatieSupplement Wiskunde 2017/2018. Inhoudsopgave
Inhoudsopgave Hoofdstuk 1: Missende stof in de verslagen... 2 Hoofdstuk 2: Overbodige stof in de verslagen... 7 Hoofdstuk 3: Fouten in de verslagen... 8 Tentamen halen? www.rekenmaarverslagen.nl 1 Hoofdstuk
Nadere informatieAutomatisch redeneren. Week 51, Di , uur. Zaal: EDUC-α 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. Automatisch
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 informatie11.3. Inhomogene randwaardeproblemen. We beschouwen eerst inhomogene Sturm- Liouville randwaardeproblemen van de vorm :
11.3. Inhomogene randwaardeproblemen. We beschouwen eerst inhomogene Sturm- Liouville randwaardeproblemen van de vorm : L[y] := [p(x)y ] + q(x)y = µr(x)y + f(x), < x < 1 (1) a 1 y() + a 2 y () =, b 1 y(1)
Nadere informatieOrakels in IDP Een implementatie voor epistemische logica
Orakels in IDP Een implementatie voor epistemische logica Neline van Ginkel Thesis voorgedragen tot het behalen van de graad van Master of Science in de ingenieurswetenschappen: computerwetenschappen Promotor:
Nadere informatieTentamentips. Tomas Klos. 14 december 2010
Tentamentips Tomas Klos 14 december 010 Samenvatting In dit document vind je een aantal tentamen tips. Het gaat om fouten die ik op tentamens veel gemaakt zie worden, en die ik je liever niet zie maken.
Nadere informatieOEFENINGEN LOGICA 1 OEFENINGEN LOGICA
1 Opmerking. Indien je werkt met Windows 95, 98, 2000,,XP (niet met Linux) dan kun je alle formules met copy-paste vanuit dit pdf document (klik op T in de werkbalk bovenaan het pdf venster) overbrengen
Nadere informatieHoofdstuk 5. In dit hoofdstuk behandelen we een methode waarmee op een eectieve wijze
De Boommethode voor de Propositielogica Hoofdstuk 5 In dit hoofdstuk behandelen we een methode waarmee op een eectieve wijze kan worden nagegaan of een redenering logisch geldig is. Deze methode staat
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 informatieWiskunde. Verzamelingen, functies en relaties. College 2. Donderdag 3 November
Wiskunde Verzamelingen, functies en relaties College 2 Donderdag 3 November 1 / 17 Equivalentierelaties Def. Een relatie R heet reflexief als x xrx. R heet transitief als x y z (xry yrz xrz). R heet symmetrisch
Nadere informatieParagraaf 8.1 : Lijnen en Hoeken
Hoofdstuk 8 Meetkunde met coördinaten (V5 Wis B) Pagina 1 van 11 Paragraaf 8.1 : Lijnen en Hoeken Les 1 Lijnen Definities Je kunt een lijn op verschillende manieren bepalen / opschrijven : (1) RC - manier
Nadere informatieGeldwisselprobleem van Frobenius
Geldwisselprobleem van Frobenius Karin van de Meeberg en Dieuwertje Ewalts 12 december 2001 1 Inhoudsopgave 1 Inleiding 3 2 Afspraken 3 3 Is er wel zo n g? 3 4 Eén waarde 4 5 Twee waarden 4 6 Lampenalgoritme
Nadere informatieTW2020 Optimalisering
TW2020 Optimalisering Hoorcollege 11 Leo van Iersel Technische Universiteit Delft 25 november 2015 Leo van Iersel (TUD) TW2020 Optimalisering 25 november 2015 1 / 28 Vandaag Vraag Voor welke problemen
Nadere informatieTheorie Formele logica
Theorie Formele logica Daan Pape 2e bach informatica Ugent 21 januari 2013 1 Inhoudsopgave 1 Propositie logica 3 1.1 Terminologie en notatie.............................. 3 1.2 Regels voor natuurlijke
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 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 informatiewordt de stelling van Pythagoras toegepast, in dit geval twee keer: eerst in de x y-vlakte en vervolgens in de vlakte loodrecht op de vector y.
Wiskunde voor kunstmatige intelligentie, 2 Les 5 Inproduct Als we het in de meetkunde (of elders) over afstanden en hoeken hebben, dan hebben we daar intuïtief wel een idee van. Maar wat is eigenlijk de
Nadere informatieHoofdstuk 15. In dit hoofdstuk geven we een inleiding op het gebied van het automatisch bewijzen
Resolutie in de Propositielogica Hoofdstuk 15 In dit hoofdstuk geven we een inleiding op het gebied van het automatisch bewijzen van theorema's. Het idee daarbij is dat een computerprogramma nagaat of
Nadere informatie6 Complexe getallen. 6.1 Definitie WIS6 1
WIS6 1 6 Complexe getallen 6.1 Definitie Rekenen met paren De vergelijking x 2 + 1 = 0 heeft geen oplossing in de verzameling R der reële getallen (vierkantsvergelijking met negatieve discriminant). We
Nadere informatie