Mobilité EUt+
Retour

Page du cours ✏️


Knowledge-based Systems - UTCN
CS54.10

Description
 | Introduction: application case analysis, representative scenarios from different 
   domains, first order logic. Knowledge graphs
 | Description logics: concepts, roles, instances, expressivity.
 | Reasoning in description logics. Tableaux-based algorithms
 | Ontology engineering: ontology design and evaluation
 | Description Logic Programs. Natural Language Processing for Description logics
 | Machine Learning for Description Logics
 | Agents for Semantic Web. Jason programming language
 | Knowledge graphs
 | Epistemic logics, dynamic epistemic logic, epistemic puzzles,  | applications
 | Model checking. Computational Tree Logic
 | Fuzzy systems: fuzzy sets, fuzzy inference, fuzzy expert systems. Fuzzy 
   description Logic
 | Rule-based systems: representation, reasoning methods. Probabilistic rules. 
   Cognitive biases
 | Non-monotonic reasoning.
 | Explainable AI. Regulating AI. AI ethics. AI responsable

Crédits ECTS
6

Langue d'enseignement
English

Langue d'examen
English

Langue des supports pédagogiques
English

Acquis d'apprentissage fondamentaux

Entité de gestion (faculté)
Automation and Computer Science Faculty - UTCN