After this module part, students:
- have knowledge of several key KRR formalisms for modelling concepts, actions, and time;
- can determine the truth of sentences with respect to a model (semantics) and perform basic reasoning tasks with the KRR formalisms;
- can apply the KRR formalisms to model and reason about activities and situations from daily life;
- can critically reflect on the suitability and usability of the KRR formalisms for the representation problem under consideration, and compare with and relate to other AI approaches for addressing the task to identify complementarities and advantages & disadvantages.
- have knowledge of multiple facets of data quality and understand its impact on machine learning and organizations;
- can apply several techniques for detecting data quality problems based on data exploration-driven, constraint-driven, and machine learning-driven approaches;
- can apply several techniques for cleaning or otherwise improving data quality such as deletion, consistent query answering, database repairs, and probabilistic data integration;
- develop their critical attitude towards data to the level of assuming that there will always be quality problems in their data and that they will be prone to start actively searching for them.
Knowledge-based approaches to AI are concerned with the explicit representation of knowledge, for example in rule-based form, accompanied by reasoning mechanisms to derive new information. In this course, we build on the fundamentals of logic-based AI as taught in MOD06 (TCS/Create) to study tailored knowledge representation formalisms targeted at representation and reasoning about specific types of information.
- Knowledge Representation & Reasoning (2.5 EC): Going to higher levels in the data-information-knowledge-wisdom (DIKW) hierarchy with their associated reasoning methods.
- Data Quality (2 EC): Understanding the multiple facets and possible impact of data quality problems, as well as how to detect and clean them, because poor data quality is the main threat to the robustness of DS&AI technology: “garbage in is garbage out.”
We will investigate techniques for representing concepts and their relations (conceptual modeling & reasoning through ontologies), allowing to model information about the world; techniques for representing an agent’s actions using pre- and post-conditions and how these can be used to construct a plan to get to a goal state; and techniques for representing temporal relations between states and actions, allowing to reason about the progression of the agent’s activities and the world over time.
Enrolment for this module is now closed. If you are not yet enrolled but wish to participate, contact the module co-ordinator Maurice van Keulen, email@example.com
B-CS students register via Osiris; others can contact firstname.lastname@example.org.
Minor students: please register in Osiris for the minor!