100% tevredenheidsgarantie Direct beschikbaar na betaling Zowel online als in PDF Je zit nergens aan vast
logo-home
Eerder door jou gezocht
Eerder door jou gezocht
logo
Summary Lectures/Slides €6,49   In winkelwagen
Snel navigeren naar
Voorbeeld
  2.  
  3. Vrije Universiteit Amsterdam (VU)
  4.  
  5. Skills for AI

Samenvatting

Summary Lectures/Slides
 69 keer bekeken  4 keer verkocht

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.

Voorbeeld 2 van de 9  pagina's

Document informatie

  • 15 november 2019
  • 9
  • 2019/2020
  • Samenvatting

Onderwerpen

  • skills for ai
  • vu
  • vrije universiteit amsterdam
  • summary
  • samenvatting

Geschreven voor

Alle documenten voor dit vak (2)

Verkoper

avatar-seller
maudvandenberg

Voorbeeld van de inhoud

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.

Voordelen van het kopen van samenvattingen bij Stuvia op een rij:

Verzekerd van kwaliteit door reviews

Verzekerd van kwaliteit door reviews

Stuvia-klanten hebben meer dan 700.000 samenvattingen beoordeeld. Zo weet je zeker dat je de beste documenten koopt!

Snel en makkelijk kopen

Snel en makkelijk kopen

Je betaalt supersnel en eenmalig met iDeal, creditcard of Stuvia-tegoed voor de samenvatting. Zonder lidmaatschap.

Focus op de essentie

Focus op de essentie

Samenvattingen worden geschreven voor en door anderen. Daarom zijn de samenvattingen altijd betrouwbaar en actueel. Zo kom je snel tot de kern!

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 64438 samenvattingen verkocht

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

Start met verkopen
€6,49  4x  verkocht
  • (0)
  Kopen