Knowledge representation and reasoning
Mae'r cynnwys hwn ar gael yn Saesneg yn unig.
The field of knowledge representation and reasoning is concerned with systems for automated reasoning in the context of artificial intelligence.
Our focus in particular is on:
- defeasible and inductive reasoning
- qualitative spatial reasoning
- epistemic reasoning
- knowledge acquisition.