Vai al contenuto principale
Oggetto:
Oggetto:

Rappresentazione e algoritmi A

Oggetto:

REPRESENTATION AND ALGORITHMS A

Oggetto:

Anno accademico 2018/2019

Codice dell'attività didattica
STU0438
Docente
Prof. Vincenzo Lombardo (Titolare del corso)
Corso di studi
laurea magistrale in CAM
Anno
1° anno
Tipologia
Caratterizzante
Crediti/Valenza
6
SSD dell'attività didattica
INF/01 - informatica
Modalità di erogazione
Tradizionale
Lingua di insegnamento
Italiano
Modalità di frequenza
Facoltativa
Tipologia d'esame
Orale
Oggetto:

Sommario insegnamento

Oggetto:

Obiettivi formativi

 Il corso illustra le nozioni fondamentali della formalizzazione in termini logici, con riferimento ai sistemi di calcolo basati sulla conoscenza e ai metodi dell'intelligenza artificiale. Dopo aver introdotto le nozioni di rappresentazione digitale dei dati e di algoritmo, il corso approfondisce gli algoritmi di ricerca nello spazio degli stati, la logica proposizionale e la logica dei predicati. Le esercitazioni del corso applicano la nozione di rappresentazione logica all'annotazione di un dramma. 

 The course illustrates the fundamental notions of formalization in logical terms, with reference to knowledge-based computational systems and the methods of artificial intelligence. After the introduction of the digital representation of data and algorithms, the course addresses the search agorithms in the state space, the propositional logic and the predicate logic. The laboratory applies the notion of logic representation to the annotation of a drama. 

Oggetto:

Risultati dell'apprendimento attesi

 Basi di modellazione e soluzione di problemi in informatica, con riferimento ai metodi dell'intelligenza artificiale e alla rappresentazione della conoscenza. La parte teorica è verificata mediante orale, a partire dall'annotazione formale del contenuto di un oggetto narrativo; il progetto deve essere accompagnato da una breve relazione che ne illustra le scelte principali. Per approfondimenti, consultare http://www.di.unito.it/~vincenzo/didattica.html.

 Basics of problem modeling and solving in informatics, with reference to the methods of artificial intelligence and knowledge representation. The theoretical part is tested through an oral colloquium that moves from the formal annotation of the content of a narrative object; the project must be accompanied by a short paper that addresses the major project choices of representation. For details, visit http://www.di.unito.it/~vincenzo/didattica.html.

Oggetto:

Modalità di insegnamento

Lezione frontale

Lecture

Oggetto:

Modalità di verifica dell'apprendimento

 Prova orale più laboratorio applicativo

 Oral colloquium and an application exercise

Oggetto:

Programma

 Nozioni fondamentali di algoritmica e linguaggi formali. Strutture dati e costrutti base della computazione. La rappresentazione della conoscenza mediante la logica. Il calcolo proposizionale: sintassi, semantica, inferenze. La logica del prim'ordine e i meccanismi di inferenza. La risoluzione di problemi. Algoritmi di ricerca (informata e non informata). Esercitazioni di laboratorio sull'annotazione del contenuto di un breve dramma. Dispense scaricabili dal sito del corso (http://www.di.unito.it/~vincenzo/didattica.html). 

 Fundamental notions of algorithmics and formal languages. Data structures and basic constructs of computation. Knowledge representation through logic. Propositional calculus: syntax, semantics, inferences. First-order logic and inferential mechanisms. Problem solving. Search algorithms (blind and informed). Laboratory on the annotation of the content of a short drama. Notes downloadable from the website of the course (http://www.di.unito.it/~vincenzo/didattica.html).

Testi consigliati e bibliografia

Oggetto:

Dispense a cura del docente distribuite sul sito web del corso.

Notes distributed on the teacher's web site.



Oggetto:
Ultimo aggiornamento: 18/04/2019 11:11

Location: https://cinema.campusnet.unito.it/robots.html
Non cliccare qui!