| Website: | website containing additional information |
| Course code: | WICR |
| Credits: | 5.72 ECTS (=4 old credit points) |
| Period: | periode 5 (week 20 t/m 27, dwz 13-5-2002 t/m 5-7-2002; herkansing week 34)
|
| Participants: | up till now 31 subscriptions |
| Schedule: | Dit is een oud rooster!
|
| Contents: | Kunstmatige Intelligentie maakt vaak gebruik van logische modellen van
redeneren. Logica onderzoekt de criteria voor de geldigheid van
redeneerpatronen. De standaardlogica (zoals die behandeld is bij Formele
Methoden) beperkt zich hierbij
tot criteria voor volledig betrouwbare redeneringen. Hoewel dit voor
bijvoorbeeld
wiskundig redeneren adequaat is, is het voor veel toepassingen te
beperkt. In andere wetenschapsgebieden, en ook bij `commonsense'
redeneren, wordt vaak geredeneerd met onvolledige, onzekere of
inconsistente informatie. Dit leidt tot redeneerpatronen waarbij het
rationeel kan zijn om een conclusie te accepteren hoewel deze niet met
volledige zekerheid door de premissen afgedwongen wordt.
In dit college worden logica's behandeld die de geldigheidscriteria voor
zulke redeneerpatronen formaliseren. Deze logica's worden 'niet monotone
logica's' genoemd, omdat nieuwe informatie eerder getrokken conclusies
ongeldig kan maken. Enkele van de bekendste niet-monotone logica's
worden behandeld, namelijk default logica, circumscriptie en
argumentatiesystemen. Het leerdoel hierbij is het verwerven van inzicht
in en beheersing van technieken voor het formaliseren van commonsense
redeneerpatronen, en het kunnen toepassen van die technieken op
eenvoudige
redeneervoorbeelden. |
| Literature: | Reader plus handleiding softwaretools |
| Course form: | Interactief hoorcollege (4 uur per week) en werkcollege (2
uur per week),
ondersteund door softwaretools. |
| Exam form: | Tentamen |
| Minimum effort to qualify for 2nd chance exam: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. |
