Knowledge representation

This module provides an understanding of knowledge representation issues, highlighting the link between the expressive power of the language representing knowledge and the practical effectiveness of its manipulation. The course outline is as follows:Decision support systems (2h / 3h)Rule-based systemsKnowledge bases and reasoningKnowledge base compilation (queries / manipulation / transformation) (2h / 3h)Propositional logic / Implicants / Prime Implicants / ROBDDApplications to system diagnostics / configuration / Bayesian inferenceCausality notions (2h / 2h)Ontologies (8h / 6h)Ontology languages: description logics, Semantic Web standards (OWL, RDF, SPARQL)Reasoning about ontologies: main algorithmic techniques (arrays, saturation, query rewriting), complexity of reasoningOntology construction: methodology, use of the ontology editor ProtégéCourses are put into practice using practical exercises in Python, as well as Protégé for the Ontologies section.

This module provides an understanding of knowledge representation issues, highlighting the link between the expressive power of the language representing knowledge and the practical effectiveness of its manipulation. The course outline is as follows:Decision support systems (2h / 3h)Rule-based systemsKnowledge bases and reasoningKnowledge base compilation (queries / manipulation / transformation) (2h / 3h)Propositional logic / Implicants / Prime Implicants / ROBDDApplications to system diagnostics / configuration / Bayesian inferenceCausality notions (2h / 2h)Ontologies (8h / 6h)Ontology languages: description logics, Semantic Web standards (OWL, RDF, SPARQL)Reasoning about ontologies: main algorithmic techniques (arrays, saturation, query rewriting), complexity of reasoningOntology construction: methodology, use of the ontology editor ProtégéCourses are put into practice using practical exercises in Python, as well as Protégé for the Ontologies section.

This module provides an understanding of the issues involved in knowledge representation, highlighting the link between the expressive power of the language representing knowledge and the practical effectiveness of its manipulation.