Argumentieve netwerken: een nog steeds ontbrekende integratie van filosofische benaderingen van argumentatie met AI-modellen, met een toepassing op de wiskundige praktijk.

Projectdetails

!!Description

3. Onderzoeksdoelen. Ons eerste doel is gebaseerd op de vaststelling dat de beide domeinen van argumentatietheorie en het onderzoek naar argumentatieve netwerken op het huidige moment relatief onafhankelijk van elkaar werkzaam zijn (zoals kan vastgesteld worden door een bibliografische vergelijking). Nochtans is het onze overtuiging dat ze elkaar vruchtbaar kunnen inspireren. Daarom is een vergelijkende studie van beide domeinen dringend nodig. Om te vermijden, evenwel, dat dit geen "louter" theoretisch onderzoek wordt, is ons tweede en meer specifiek doel om, zoals reeds aangegeven, te zoeken naar toepassingen in de praktijk(en) van de wiskunde. Hoewel er reeds een paar bescheiden aanzetten bestaan om bewijzen te lezen als argumentaties, zie bvb. [Abe07], [Ben08a], [Ben08b], dient het "echte" werk nog verricht te worden. Het mag trouwens vermeld worden dat in deze aanzetten Stephen Toulmin, één van de grote verdedigers van de informele argumentatietheorie, een centrale rol speelt. De keuze van de gevalstudie, namelijk het classificatietheorema van de eindige, simpele groepen, is in eerste instantie bepaald door het gegeven dat geen individuele wiskundige in staat is het gehele bewijs te vatten, wat betekent dat het moet 'gedeeld' worden in de wiskundige gemeenschap. Dit betekent zoveel als een uitnodiging om gebruik te maken van argumentatie en argumentatieve netwerken, het kernthema van dit onderzoeksvoorstel.
AcroniemFWOAL525
StatusGeëindigd
Effectieve start/einddatum1/01/0931/12/12

Flemish discipline codes

  • Philosophy, ethics and religious studies