Integratie in Kennisrepresentatie en Redeneren

We zullen twee integratie-frameworks ontwikkelen waarin de relatie tussen de verschillende KR-talen kan worden bestudeerd, namelijk Approximation Fixpoint Theory en Justification Frames. In dit voorstel identificeren we verschillende open onderzoeksvragen in deze abstracte kaders. Het oplossen van deze vragen zal resulteren in kaders met een veel breder bereik. We zullen ook de relatie tussen deze twee raamwerken bestuderen.