Fout bij het aanmaken van de miniatuurafbeelding: Bestand is zoek

Fout bij het aanmaken van de miniatuurafbeelding: Bestand is zoek

Samenvattingen

Klik hier om de samenvattingen te bekijken

Nuttige links

• Officiële pagina AI - Danny De Schreye
• Officiële pagina AI - Joost Vennekens

Examens

21/01/2014 - Voormiddag

Oefeningen (open boek):

1. Version spaces
2. Automatisch redeneren

Theorie:

1. De eigenschappen van A* bespreken
2. Backmarking

21/01/2013

Oefeningen (open boek):

1. Version spaces
2. Automatisch redeneren

Theorie:

1. A*, Waltz

14/01/2013

Oefeningen (open boek):

1. Version spaces
2. Logica

Theorie:

1. A*, lookahead, forward, AC1, AC3, k-consistency
2. Wat is de overeenkomst tussen AC3 en Waltz? Waarom?

27/06/2011 (namiddag)

Open boek oefeningen gedeelte.

Je mag hiervoor ALLES gebruiken, niet alleen de slides. Wij krijgen 2u15, wat wel nipt kan zijn omdat de oefeningen meestal uitgebreid zijn.

1. Een oefening op automatisch redeneren, helemaal gelijkaardig aan de moeilijkste oefening op AR uit de oefenzittingen
   • Je krijgt 7 nederlandse zinnen en moet die omvormen tot eerste orde prediaktenlogica. (Belangrijke tip uit logica van het eerste jaar: na een "voor alle" komt een pijl (-->), na een "er bestaat" komen conjuncties (^). Als je de zinnen niet correct omzet krijg je natuurlijk problemen later.)
   • Vervolgens moet je die zinnen omvormen tot implicatieve normaalvorm om zo je model te vormel
   • Tenslotte krijg je een uitspraak, deze zet je ook om tot eerste orde predikatenlogica, dan neem je er de negatie van, dan zet je dat om tot implicatieve normaalvorm, en vervolgens breidt je je model uit met deze uitspraak.
   • Tot slot bewijs je dat het model inconsistent is waarmee je ook bewijst dat de uitspraak waar is.
2. Een oefening op version spaces.

Gesloten boek theorie gedeelte.

1. • Wat betekent het als een A* algoritme "sterker geïnformeerd" is als een andere A* ? Wat is het nut van sterker geïnformeerd zijn?
   • Leg uit: monotoniciteitsrestrictie. Wat is het, hoe kom je eraan, wat is het nut van dit concept?
   • Hoe kan je verzekeren dat je boom/grafe monotoon is? (Dit is een beetje raar geformuleerd vind ik. Ik heb als antwoord gegeven dat we voor iedere 2 verbonden knopen de monotoniciteitsrestrictie nakijken, en als deze faalt we de heuristiek verhogen tot deze wel klopt. Hier gaf hij geen verdere commentaar/bijvragen op.)
2. • Leg het algoritme van Waltz uit en illustreer het
   • Met welk algoritme kan je dit vergelijken? Leg uit waarom (antwoord was AC3, zoals hieronder ook staat)

Oude examenvragen

Deze vragen komen (tot en met het jaar 2011) steeds terug! De lijst is wel niet volledig, dus leer natuurlijk niet alleen deze vragen.

Voorbeeld 1

• hoe kom je tot A*? Leg daarvoor uit:
  • uniform-cost
  • branch&bound
  • hoe heuristiek erin brengen
  • intuitief uitleggen waarom onderschattende heuristiek optimaal doel bereikt
  • redundant path deletion

--> hoe alles in A* integreren?

Voorbeeld 2

motivatie om tot IDA* en SMA* te geraken, hoe werkt IDA* leg uit (hoe kom je aan f-bound etc), eigenschappen IDA*, de 4 veranderingen tussen SMA* en A* geven en illustreren

Voorbeeld 3

Version spaces: wat is concept learning version spaces: init? wat bij negatieve voorbeelden... wat gebeurt er in G; wat in S idem voor pos wanneer stopt vs ben je er iets mee als het niet convergeert? voor en nadelen?

Voorbeeld 4.

Het standaard backtracking algoritme heeft enkele efficientie problemen in verband met ``trashing en het uitvoeren van redundante tests. Licht dit toe.

Op welke manier proberen methodes zoals ``backjumping en ``backmarking deze problemen op te lossen? Illustreer. Welke informatie gebruiken ze daarbij en hoe? Je hoeft hierbij niet in details over de eigenlijke algoritmes te gaan.

Voorbeeld 5

leg kort uit: AC1, AC3, lookahead search, forward search; geef definitie constraint problem, en geef tegenhangers bij die lijntekeningen; met welk van de hierboven methoden + lookahead searching & forward searching kan je de Methode van Waltz vergelijken? + verklaar waarom

Voorbeeld 6

Waltz algoritme : wat is het, wat is de werkwijze, hoe is dit een constraint probleem, geef de standaardonderdelen van constraint probleem hun overeenkomstige zaken bij walz. Dit komt overeen met 1 van de 6 relaxatietechnieken (forward check, lookahead check, AC1, AC3, forward checking , lookahead checking) dewelke en waarom? (antwoord: AC3)

Voorbeeld 7.

Bespreek de aanpak van STRIPS voor planning. Gebruik daarbij het blokkenwereld-probleem als een illustratie. Hoe worden toestanden gerepresenteerd? Hoe worden acties gerepresenteerd? Wat is de algemene strategie? Illustreer en verklaar de rol van ``establish en ``treat links. Hoe kom je tot ``before links? Wat zijn de 2 principes van ``least commitment? Hoe kan je de begin- en eindtoestand uitdrukken met behulp van operatoren? Welke aspecten spelen een rol bij het plannen met operatoren patronen?

Voorbeeld Oefeningen

• Los iets op via automatische redenering. Je krijgt een aantal zinnen, zet deze om in predikatenlogica, normaliseer deze en stel dan een bewijs op via inconsistentie.
• Een version spaces probleem. Gegeven een situatie, enkele trainingssituaties en hiërarchieën, pas nu het version spaces algoritme toe, zeg waar je aan pruning doet en waarom. Voorspel daarna de uitkomst van enkele fictieve situaties.