Project
Approximatie Vastepuntstheorie als een Algemene Algebraische Theorie van Constructieve Kennis
Approximation Fixpoint Theory (AFT) is een algebraische theorie om
semantieken van niet-monotone logicas in te bestuderen,
oorspronkelijk 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 bestuderen.
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
characterisatie 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 applicatiegebied) beschikbaar maken voor een
brede waaier aan toepassingsgebieden binnen
computerwetenschappen.