2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Logics for data and knowledge representation
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Computer Science and Technology |
|---|---|---|---|
| CFU | 6 | Università | TRENTO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | effective tools for the design and development of data and knowledge management systems | ||
6 cfu così ripartiti nelle aree:
- 3 CFU nell'area A - Fondamenti
- 3 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- A - Fondamenti
-
L - Logica
The concept of "logical modeling". Classical Logic: Propositional logic, First-order logic (short overview). -
L - Logica
Classical Logics Extended: Modal logics, Knowledge, Belief, propositional attitudes -
L - Logica
Context Logics: Basics, Properties - Examples. - M - Rappresentazione della conoscenza
-
ARC - Acquisizione e Rappresentazione della Conoscenza
Description Logics: DL Basics, Properties. -
BC - Basi di Conoscenza
Ontologies (OWL), RelBAC -
BC - Basi di Conoscenza
Using Context Logic: propositional attitudes, beliefs, classifications. Using Contextual Description Logics: C-OWL.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Insegnamenti "macro" nell'ambito dei quali può essere scelto
