This module aims:
- To introduce Knowledge Representation as a research area.
- To give a complete and critical understanding of the notion of representation languages and logics.
- To study modal logics and their use;
- To study description logic and its use;
- To study epistemic logic and its use
- To study methods for reasoning under uncertainty
Or log in for internal information