Samenvatting

Summary Lectures/Slides

4 keer verkocht

Vak
Skills for AI

Instelling
Vrije Universiteit Amsterdam (VU)

Summary lectures and slides for Skills for AI course of Vrije Universiteit VU Amsterdam. Samenvatting colleges en slides voor Skills for AI vak aan de Vrije Universiteit Amsterdam VU.

[Meer zien]

Voorbeeld 2 van de 9 pagina's

Bekijk voorbeeld

Geupload op 15 november 2019
Aantal pagina's 9
Geschreven in 2019/2020
Type Samenvatting

skills for ai
vu
vrije universiteit amsterdam
summary
samenvatting

€6,49

In winkelwagen

Opslaan

100% tevredenheidsgarantie
Direct beschikbaar na je betaling
Lees online óf als PDF
Geen vaste maandelijkse kosten

Samenvatting Skills for AI – Logic 

College 1
Declarative sentence (proposition) = a statement that is true or false.
You can abstract an argument in the letters p, q, r , s etc. :

Abstraction: If p and not q, then r. Not r. p. Therefore, q.
With as logical formalization: (((p∧¬q)→r)∧ (¬r∧p)) → q

‘not’ is a unary
connective. All the other
ones are binary. Priority:

With a parse tree you can reconstruct a formula and see if its true or false.

With a truth table you can express functional behavior for each connective.

Formulas φ and ψ are semantically equivalent, notation φ ≡ ψ, if they have identical
columns in their truth tables.

, Conjunction() and disjunction() and the exclusive or() are associative. This means that if
they are alone in the formula, you don’t have to use brackets.

Tautology = always true. In a truth table there is a T/1 on every line. Example: p ∨ ¬p
Contradiction = always false. In a truth table there is a F/0 on every line. Example: p ∧ ¬p
Contingent = sometime true and sometimes false. True when the formula is neither a
tautology, nor a contradiction. Example: p ∧ ¬q

College 2

Bij deze formule
moet je dus bewijzen dat wanneer p is true, not r is true (r is false) en de formule is true: dan
moet q true zijn.

Semantic entailment
Dus bij P entails q:
Wanneer alle keren dat
p waar is, q ook waar is,
klopt het: valid.
Wanneer je een
counterexample vind (p
waar q niet waar) dan niet meer:
invalid

Counterexample

Deduction theorem
Slide 14???

Dan hebben bijde griekse letters exact
dezelfde truthtable.

Metalogic:
Reasoning at a higher abstraction level to answer concrete logical questions.

Dit zijn jouw voordelen als je samenvattingen koopt bij Stuvia:

Bewezen kwaliteit door reviews

Studenten hebben al meer dan 850.000 samenvattingen beoordeeld. Zo weet jij zeker dat je de beste keuze maakt!

In een paar klikken geregeld

Geen gedoe — betaal gewoon eenmalig met iDeal, creditcard of je Stuvia-tegoed en je bent klaar. Geen abonnement nodig.

Direct to-the-point

Studenten maken samenvattingen voor studenten. Dat betekent: actuele inhoud waar jij écht wat aan hebt. Geen overbodige details!

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.

Tevredenheidsgarantie: hoe werkt dat?

Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.

Van wie koop ik deze samenvatting?

Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper maudvandenberg. Stuvia faciliteert de betaling aan de verkoper.

Zit ik meteen vast aan een abonnement?

Nee, je koopt alleen deze samenvatting voor €6,49. Je zit daarna nergens aan vast.

Is Stuvia te vertrouwen?

4,6 sterren op Google & Trustpilot (+1000 reviews)

Afgelopen 30 dagen zijn er 66184 samenvattingen verkocht

Opgericht in 2010, al 15 jaar dé plek om samenvattingen te kopen

Begin nu gratis