< Terug naar vorige pagina
Project
Approximatie Vastepuntstheorie als een Algemene Algebraische Theorie van Constructieve Kennis (FWOAL990)
Approximation Fixpoint Theory (AFT) is een algebraische theorie om
semantieken van niet-monotone logicas in te bestuderen,
oorsprokelijk ontwikkeld voor autoepistemische logica, default logica
en logisch programmeren.
Om AFT te gebruiken op een van de voorgaande, of een nieuwe
logica volstaat het om een semantische operator voor die logica te
definieren.
Het hoog abstractieniveau en de wiskundige eenvoud maken van
AFT een uiterst geschikte tool om semantieken van dergelijke logicas
te bstuderen.
Ondertussen wordt AFT ook in heel wat andere velden toegepast;
verschillende van die toepassingen vroegen om (ad hoc)
uitbreidingen van de theorie.
AFT heeft in die domeinen een belangrijke rol gehad in
characeterisatie en studie van semantieken en constructieve
processen. Het doel van dit project is om AFT te upgraden naar een
algemene theorie van constructieve kennis.
Door dit te doen zullen we de voordelen van AFT (zoals het feit dat
het velden kan unificeren, en dat er een rijke theorie direct
toepasbaar is op elk applicatiegebeid) beschikbaar maken voor een
brede waaier aan toepassing
semantieken van niet-monotone logicas in te bestuderen,
oorsprokelijk ontwikkeld voor autoepistemische logica, default logica
en logisch programmeren.
Om AFT te gebruiken op een van de voorgaande, of een nieuwe
logica volstaat het om een semantische operator voor die logica te
definieren.
Het hoog abstractieniveau en de wiskundige eenvoud maken van
AFT een uiterst geschikte tool om semantieken van dergelijke logicas
te bstuderen.
Ondertussen wordt AFT ook in heel wat andere velden toegepast;
verschillende van die toepassingen vroegen om (ad hoc)
uitbreidingen van de theorie.
AFT heeft in die domeinen een belangrijke rol gehad in
characeterisatie en studie van semantieken en constructieve
processen. Het doel van dit project is om AFT te upgraden naar een
algemene theorie van constructieve kennis.
Door dit te doen zullen we de voordelen van AFT (zoals het feit dat
het velden kan unificeren, en dat er een rijke theorie direct
toepasbaar is op elk applicatiegebeid) beschikbaar maken voor een
brede waaier aan toepassing
Datum:1 jan 2021 → Heden
Trefwoorden:Benadering fixpoint theorie, Benadering fixpoint theorie, Fixpoint theory approach, Aanpassing fixpoint theorie, Adjustment of fixpoint theory, constructieve kennis
Disciplines:Computationele logica en formele talen, Kennisrepresentatie en redenering, Mathematische logica en beginselen, Orde, roosters en geordende algebraïsche structuren