1. [I]nfo
  2. [M]oduli
  3. [B]acheca
  4. [P]rogramma
  5. [O]rari
  6. [E]sami
  7. E[v]enti
  8. [F]iles

Generali:

  • Dipartimento: Ingegneria
  • Settore Ministeriale: ING-INF/05
  • Codice di verbalizzazione: 8038962
  • Metodi di insegnamento: Frontale
  • Metodi di valutazione: Scritto
  • Prerequisiti: fondamenti di informatica, algoritmi e strutture dati, basi di dati
  • Obiettivi: La rappresentazione della conoscenza ed il ragionamento automatico (knowledge representation e reasoning) costituiscono un¿area fondamentale dell¿Intelligenza Artificiale; sarà considerato un approccio computazionale. Inoltre saranno analizzati anche i cosiddetti sistemi basati su conoscenza, ovvero come le metodologie di rappresentazione della conoscenza e ragionamento automatico vengono implementate in sistemi di calcolo. Argomenti trattati nel corso: ¿ Strutture simboliche per la rappresentazione della conoscenza versus processo computazionale alla base del ragionamento con le strutture simboliche definite. ¿ Conoscenza come relazione esistente tra chi ha la conoscenza e la proposizione usata per esprimerla. ¿ Le proposizioni sono entità astratte ¿ Rappresentazione è una relazione tra 2 domini, uno che ¿sta al posto di¿ un altro ¿ I simboli sono il tipo di rappresentazione noto; in un approccio computazionale si lavora meglio con simboli che con le entità astratte che essi rappresentano ¿ La rappresentazione della conoscenza si occupa di come usare simboli formali per rappresentare una collezione di proposizioni ¿ Il reasoning si occupa di collegare la rappresentazione di una proposizione con ciò che si crede rispetto ad essa. ¿ Il reasoning è la manipolazione formale dei simboli che rappresentano una collezione di proposizioni per produrre la rappresentazione di nuove proposizioni ¿ I simboli (più concreti delle proposizioni) vengono manipolati per produrre nuove proposizioni . Analogamente, esempio, 2+3=5 è una manipolazione / somma aritmetica di due simboli (numeri) / per produrre un nuovo simbolo (numero) ¿ L¿inferenza logica è una forma di reasoning perché la proposizione finale rappresenta la logica conclusione delle proposizioni da cui si è partiti ¿ Il reasoning è una forma di calcolo su simboli astratti/proposizioni
  • Ricevimento: per fissare un ricevimento ciascuno studente puo' inviare una mail al docente e concordare la data di un incontro.

Didattica:

  • A.A.: 2012/2013
  • Canale: UNICO
  • Crediti: 6
2021 © Università di TorVergata  |  FAQ  |  Contatta la Redazione  |