Intelligenza: Artificiale vs. Naturale

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Intelligenza: Artificiale vs. Naturale"

Transcript

1 Intelligenza: Artificiale vs. Naturale Claudia Casadio Logica e Psicologia del Pensiero A.A

2 Contents 1 Introduzione Categorizzazione Intelligenza Artificiale AI vs. NI Sistemi intelligenti Esempio: il linguaggio umano Definizione di Computer Rappresentazioni

3 1. Introduzione Due dimensioni preliminari: Categorizzazione alla base di ogni organizzazione di informazione data base, p. es. nomi dei colori Computazione necessaria in ogni elaborazione di informazione

4 2. Categorizzazione Concettualizzare i colori Tipologia linguistica: Due colori base: p.es. brillante, scuro (non brillante) Quattro colori base: p.es +brillante, -brillante, +scuro, -scuro... Formazione di composti (compounds): grigioverde

5 3. Intelligenza Artificiale Artificial Intelligence is the science of making machines do things that would require intelligence if done by men Marvin Minsky, MIT Artificial Intelligence Laboratory Does it even make sense to speak of a machine thinking or is a thinking computer a conceptual absurdity, like a grinning electron or a married bachelor? Jack Copeland, Artificial Intelligence

6 4. AI vs. NI Intelligenza Artificiale AI computazione \ algoritmo \ calcolo ricorsività \ monotonicità \ deducibilità \ modelli Intelligenza Naturale NI ragionamento \ decisione \ strategie non monotonicità \ fallacie \ modelli parziali

7 5. Sistemi intelligenti Proprietà Materiali Il supporto fisico, il veicolo attraverso cui si esplicano le funzioni del sistema Proprietà Formali Le informazioni, le funzioni e i processi elaborati dal sistema [Tabossi 1988]

8 6. Esempio: il linguaggio umano Le due dimensioni del segno linguistico: SIGNIFICANTE il veicolo materiale: parlato, scritto, gestuale SIGNIFICATO il contenuto, l immagine mentale, il senso [Legrenzi 2002]

9 ANALISI DEL SEGNO LINGUISTICO : ALBERO SIGNIFICANTE la parola, il suono, il grafema : ALBERO SIGNIFICATO l immagine mentale che il soggetto ha di albero

10 COMPUTAZIONE il suo scopo, la sua formulazione, la sua logica RAPPRESENTAZIONI E PROCESSI quale rappresentazione per l input e l output quale processo si richiede per la trasformazione REALIZZAZIONE Come possono essere realizzati fisicamente le rappresentazioni e i processi

11 7. Definizione di Computer Macchina che elabora simboli, attraverso programmi, al fine di risolvere problemi. quali simboli quali elaborazioni, procedure, programmi quali problemi quali soluzioni

12 8. Rappresentazioni Prototipi Reti Semantiche Frames Scripts [Tabossi 1988]

13 References [Copeland 2001] Copeland, J. 1993, Artificial Intelligence. A Philosophical Introduction, Blackwell, Oxford. [Legrenzi 2002] Legrenzi, P., 2002, Prima lezione di scienze cognitive, Editori Laterza, Roma. 8 [Tabossi 1988] Tabossi, P., 1988, Intelligenza naturale e intelligenza artificiale, Il Mulino, Bologna. 7, 12 REFERENCES

Linguaggio e Categorizzazione

Linguaggio e Categorizzazione Linguaggio e Categorizzazione Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Indirizzo Evolutivo A.A. 2004-05 Contents 1 Definizione di categoria.....................................

Dettagli

INTELLIGENZA ARTIFICIALE: INTRODUZIONE

INTELLIGENZA ARTIFICIALE: INTRODUZIONE INTELLIGENZA ARTIFICIALE: INTRODUZIONE 1 AI: Preistoria Filosofia Logica, metodi di ragionamento,, la mente, l apprendimento,, la razionalità Matematica rappresentazione formale,dimostrazioni, computazioni,

Dettagli

Intelligenza Artificiale A (lezione introduttiva parte di teoria)

Intelligenza Artificiale A (lezione introduttiva parte di teoria) Intelligenza Artificiale A (lezione introduttiva parte di teoria) Prof. Alfonso E. Gerevini Dipartimento di Elettronica per l Automazione Facoltà di Ingegneria Università degli Studi di Brescia Testo di

Dettagli

Per un vocabolario filosofico dell informatica. Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine

Per un vocabolario filosofico dell informatica. Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Per un vocabolario filosofico dell informatica Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Udine, 11 maggio, 2015 Obiettivi del corso In un ciclo di seminari,

Dettagli

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1] Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Intelligenza Artificiale I - A.A. 2010- Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione

Dettagli

Ordinamento Corso di laurea Codice corso DM 270/04 Magistrale L Insegnamento. Cfu Codice SSD Docente

Ordinamento Corso di laurea Codice corso DM 270/04 Magistrale L Insegnamento. Cfu Codice SSD Docente Psicologia clinica e tutela salute DM 270/04 Magistrale L-51 13665-16063 Psicologia cognitiva applicata 6 1017706 Programma Teorie, modelli, approcci e metodi della ricerca cognitiva applicata usati nello

Dettagli

INTELLIGENZA ARTIFICIALE: INTRODUZIONE

INTELLIGENZA ARTIFICIALE: INTRODUZIONE INTELLIGENZA ARTIFICIALE: INTRODUZIONE 1 INTELLIGENZA ARTIFICIALE: Definizione Il campo dell Intelligenza Artificiale o AI (dall inglese Artificial Intelligence) tenta di capire e costruire entità intelligenti.

Dettagli

( ) 1969) ( ) 1974) ( ) 1988)

( ) 1969) ( ) 1974) ( ) 1988) INTELLIGENZA ARTIFICIALE: INTRODUZIONE INTELLIGENZA ARTIFICIALE: Definizione Il campo dell Intelligenza lli Artificiale i o AI (dall inglese l Artificial Intelligence) tenta di capire e costruire entità

Dettagli

PROGRAMMAZIONE I A.A. 2018/2019

PROGRAMMAZIONE I A.A. 2018/2019 PROGRAMMAZIONE I A.A. 2018/2019 COMPUTATIONAL THINKING Formalizzato da una psicologa Americana Jeanette Wing in un articolo sulla rivista ACM nel 2008 ühttps://www.ncbi.nlm.nih.gov/pmc/articles/pmc2696102/

Dettagli

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1] Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione simbolica: molti fenomeni linguistici

Dettagli

LOGICA E FILOSOFIA DELLA SCIENZA

LOGICA E FILOSOFIA DELLA SCIENZA LOGICA E FILOSOFIA DELLA SCIENZA Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici Logica Studia i processi in base a cui traiamo inferenze a partire dalle nostre

Dettagli

Intelligenza Artificiale

Intelligenza Artificiale Intelligenza Artificiale Introduzione Introduzione 1 Riferimenti } S. Russell, P. Norvig, Artificial Intelligence: a Modern Approach, Prentice Hall, 2010, III edizione (versione in italiano: Intelligenza

Dettagli

REGISTRI D'ESAME CODICE ESAME CORSO DI LAUREA NOME DEL CORSO LAUREA CFU

REGISTRI D'ESAME CODICE ESAME CORSO DI LAUREA NOME DEL CORSO LAUREA CFU REGISTRI D'ESAME Con "" si intende la Triennale del Nuovo Ordinamento (Legge 270) Con "" si intende la Specialistica di due anni del Nuovo Ordinamento (Legge 270) CODICE ESAME CORSO DI LAUREA NOME DEL

Dettagli

UNIVERSITA' DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali

UNIVERSITA' DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali UNIVERSITA' DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali VECCHIO ORDINAMENTO Anno Accademico 2004/2005 Matricola Cognome Nome Recapito Tel. Orientamenti: METODI E

Dettagli

Introduzione all informatica

Introduzione all informatica Introduzione all informatica INFORMATICA Varie definizioni Scienza degli elaboratori elettronici (Computer Science) Scienza dell informazione Definizione proposta Scienza della rappresentazione e dell

Dettagli

Fabrizio Renzi Direttore tecnologie & innovazione IBM Italia Evento Federmanager Bologna 6/6/2017

Fabrizio Renzi Direttore tecnologie & innovazione IBM Italia Evento Federmanager Bologna 6/6/2017 Servono ancora le mappe? Se si come usarle per l innovazione e per gestire la trasformazione digitale dell azienda nel mondo dell intelligenza artificiale Fabrizio Renzi Direttore tecnologie & innovazione

Dettagli

Architettura degli elaboratori

Architettura degli elaboratori Architettura degli elaboratori Ottavio D Antona dantona@di.unimi.it Maria Luisa Damiani damiani@di.unimi.it Dipartimento di Informatica Università degli Studi di Milano Architettura degli Elaboratori -

Dettagli

Parole note, nuovi significati: linguaggio, determinismo e infinito

Parole note, nuovi significati: linguaggio, determinismo e infinito Parole note, nuovi significati: linguaggio, determinismo e infinito Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Ciclo di seminari su un Vocabolario Filosofico

Dettagli

Che cos e l Informatica

Che cos e l Informatica Che cos e l Informatica L Informatica (Computer Science) non è soltanto La scienza e la tecnologia dei calcolatori (che sono solo degli strumenti) L Informatica non coincide con nessuna delle applicazioni

Dettagli

LAUREA TRIENNALE IN INFORMATICA - DM 270/04

LAUREA TRIENNALE IN INFORMATICA - DM 270/04 LAUREA TRIENNALE IN INFORMATICA - DM 270/04 SC01123195 ALGEBRA E GEOMETRIA 10:00 MAT/02, MAT/03 2010 SC02100080 ALGORITMI E STRUTTURE DATI 08:00 INF/01 2009 SC02100179 ANALISI MATEMATICA 10:00 MAT/05,

Dettagli

o Introduzione agli algoritmi o Rappresentazione delle Informazioni o Architettura del calcolatore o Reti di Calcolatori

o Introduzione agli algoritmi o Rappresentazione delle Informazioni o Architettura del calcolatore o Reti di Calcolatori Programma del corso o Introduzione agli algoritmi o Rappresentazione delle Informazioni o Architettura del calcolatore o Reti di Calcolatori o Elementi di Programmazione Algoritmi e programmi o Algoritmo

Dettagli

Introduzione al corso

Introduzione al corso Dipartimento di Elettronica ed Informazione Politecnico di Milano Informatica e CAD (c.i.) - ICA Prof. Pierluigi Plebani A.A. 2008/2009 Introduzione al corso La presente dispensa e da utilizzarsi ai soli

Dettagli

LAUREA SPECIALISTICA IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE. Presentazione agli studenti 18 e 24 maggio 2005

LAUREA SPECIALISTICA IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE. Presentazione agli studenti 18 e 24 maggio 2005 Università degli Studi di Milano Bicocca Facoltà di Psicologia Facoltà di Scienze Matematiche, Fisiche e Naturali LAUREA SPECIALISTICA IN TEORIA E TECNOLOGIA DELLA COMUNICAZIONE Presentazione agli studenti

Dettagli

Intelligenza Artificiale. Logica proposizionale classica (Parte 1)

Intelligenza Artificiale. Logica proposizionale classica (Parte 1) Intelligenza Artificiale Logica proposizionale classica (Parte ) Marco Piastra Logica formale (Parte ) - Introduzione alla logica formale Parte. Preambolo: algebra di Boole, proposizioni, conseguenza logica

Dettagli

LICEO DELLE SCIENZE APPLICATE

LICEO DELLE SCIENZE APPLICATE LICEO DELLE SCIENZE APPLICATE San Benedetto PIANO DI LAVORO Docente Stefano Maggi Disciplina INFORMATICA Classe/Sezione Quinta Anno scolastico 2014-2015 FINALITÀ SPECIFICHE E TRASVERSALI DELLA DISCIPLINA

Dettagli

Mente e cervello Dal rappresentazionalismo alla stanza cinese

Mente e cervello Dal rappresentazionalismo alla stanza cinese Mente e cervello Dal rappresentazionalismo alla stanza cinese 20 aprile 2011 Dalle macchine alla mente 2 Rappresentazionalismo Sistemi simbolici e sistemi connessionisti L argomento della stanza cinese

Dettagli

Intelligenza artificiale e dintorni

Intelligenza artificiale e dintorni Intelligenza artificiale e dintorni Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Ciclo di seminari su un Vocabolario Filosofico dell Informatica Udine, 7 novembre,

Dettagli

Corso di Laurea Ingegneria Civile

Corso di Laurea Ingegneria Civile Corso di Laurea Ingegneria Civile Presentazione del corso di Fondamenti di Informatica Dm. 270 6 cfu Carla Limongelli Marzo 2010 1 Benvenuti!!! 2 Docenti del corso Prof. Carla Limongelli limongel@dia.uniroma3.it

Dettagli

Introduzione all informatica

Introduzione all informatica Introduzione all informatica 1 Che cos è l informatica INFORMATICA (dal francese Informatique, Information Automatique = Informazione Automatica) disciplina che studia l elaborazione automatica delle informazioni

Dettagli

Università degli Studi della Calabria

Università degli Studi della Calabria Università degli Studi della Calabria Facoltà di Scienze Politiche CORSO DI FONDAMENTI DI INFORMATICA I A.A 2007/2008 Docente : Ing. Francesco Folino 1 INFORMAZIONI UTILI 2 Docente: Ing. Francesco Folino

Dettagli

ELEMENTI DI INFORMATICA L. Ing. Claudia Chiusoli

ELEMENTI DI INFORMATICA L. Ing. Claudia Chiusoli ELEMENTI DI INFORMATICA L Ing. Claudia Chiusoli Materiale Lucidi delle lezioni Date degli appelli Esempi di Testi di esame Informazioni e contatti http://www.lia.deis.unibo.it/courses/ Programma del corso

Dettagli

semantica come impresa matematica - lo studio delle condizioni di verità degli enunciati del linguaggio in una presentazione formale adeguata.

semantica come impresa matematica - lo studio delle condizioni di verità degli enunciati del linguaggio in una presentazione formale adeguata. semantica come impresa matematica - lo studio delle condizioni di verità degli enunciati del linguaggio in una presentazione formale adeguata. semantica come impresa psicologica - lo studio dei processi

Dettagli

Sistemi di elaborazione delle informazioni

Sistemi di elaborazione delle informazioni Sistemi di elaborazione delle informazioni Luca Bortolussi Dipartimento di Matematica e Informatica Università degli studi di Trieste Informazioni Utili Docente: Luca Bortolussi Dipartimento di Matematica

Dettagli

L intelligenza artificiale

L intelligenza artificiale L intelligenza artificiale Le macchine possono pensare? Le macchine sono intelligenti? AI (IA) La storia Il termine Intelligenza Artificiale (IA)) venne introdotto per la prima volta nel 1956 da John McCarthy,,

Dettagli

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva titolo LOGICA E PSICOLOGIA DEL PENSIERO Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici logica Logica Studia i processi in base a cui traiamo inferenze a partire

Dettagli

Corso di Laurea Ingegneria Civile

Corso di Laurea Ingegneria Civile Corso di Laurea Ingegneria Civile Presentazione del corso di Fondamenti di Informatica Dm. 270 6 cfu Carla Limongelli Marzo 2009 1 Benvenuti!!! 2 Docenti del corso Prof. Carla Limongelli limongel@dia.uniroma3.it

Dettagli

Elementi di Psicologia dello Sviluppo (II modulo) Mirco Fasolo

Elementi di Psicologia dello Sviluppo (II modulo) Mirco Fasolo Elementi di Psicologia dello Sviluppo (II modulo) Mirco Fasolo mirco.fasolo@unimib.it Bibliografia Testi obbligatori - D amico, Devescovi (2003). Comunicazione e linguaggio nei bambini. Carocci: Roma.

Dettagli

Semantica Operazionale del linguaggio imperativo IMP

Semantica Operazionale del linguaggio imperativo IMP Aniello Murano Semantica Operazionale del linguaggio imperativo IMP 2 Lezione n. Parole chiave: Sem. Operazionale Corso di Laurea: Informatica Codice: Email Docente: murano@ na.infn.it A.A. 2008-2009 Introduzione

Dettagli

Laurea triennale - Comunicazione&DAMS - UNICAL. Dr. Annamaria Bria 1

Laurea triennale - Comunicazione&DAMS - UNICAL. Dr. Annamaria Bria 1 Corso di INFORMATICA Laurea triennale - Comunicazione&DAMS Dr. Annamaria Bria 1 1 Dipartimento di Matematica Università della Calabria Corso di laurea intercalsse in COMUNICAZIONE&DAMS www.mat.unical.it/bria/informatica2011-12.html

Dettagli

Indice PARTE A. Prefazione Gli Autori Ringraziamenti dell Editore La storia del C. Capitolo 1 Computer 1. Capitolo 2 Sistemi operativi 21 XVII XXIX

Indice PARTE A. Prefazione Gli Autori Ringraziamenti dell Editore La storia del C. Capitolo 1 Computer 1. Capitolo 2 Sistemi operativi 21 XVII XXIX Indice Prefazione Gli Autori Ringraziamenti dell Editore La storia del C XVII XXIX XXXI XXXIII PARTE A Capitolo 1 Computer 1 1.1 Hardware e software 2 1.2 Processore 3 1.3 Memorie 5 1.4 Periferiche di

Dettagli

PER GLI ALUNNI IN SITUAZIONE DI HANDICAP NELLA SCUOLA DELL'INFANZIA E NELLA SCUOLA PRIMARIA A.A. 2013/14

PER GLI ALUNNI IN SITUAZIONE DI HANDICAP NELLA SCUOLA DELL'INFANZIA E NELLA SCUOLA PRIMARIA A.A. 2013/14 LINGUAGGI VERBALI CORSO AGGIUNTIVO PER LE ATTIVITÀ FORMATIVE PER GLI ALUNNI IN SITUAZIONE DI HANDICAP NELLA SCUOLA DELL'INFANZIA E NELLA SCUOLA PRIMARIA A.A. 2013/14 Dr.ssa Giusy Gallo Giusy Gallo Assegnista

Dettagli

Grammatiche Parse trees Lezione del 17/10/2012

Grammatiche Parse trees Lezione del 17/10/2012 Fondamenti di Programmazione A.A. 2012-2013 Grammatiche Parse trees Lezione del 17/10/2012 AUTILI MARCO http://www.di.univaq.it/marco.autili/ Riassunto lezione precedente Sintassi vs Semantica Stringhe,

Dettagli

Lez. 5 La Programmazione. Prof. Salvatore CUOMO

Lez. 5 La Programmazione. Prof. Salvatore CUOMO Lez. 5 La Programmazione Prof. Salvatore CUOMO 1 2 Programma di utilità: Bootstrap All accensione dell elaboratore (Bootsrap), parte l esecuzione del BIOS (Basic Input Output System), un programma residente

Dettagli

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica)

Dettagli

INFORMATICA. Prof. Giorgio Poletti Laurea Triennale in Economia a.a

INFORMATICA. Prof. Giorgio Poletti Laurea Triennale in Economia a.a 1 INFORMATICA Prof. Giorgio Poletti giorgio.poletti@unife.it Laurea Triennale in Economia a.a. 2018 2019 Sviluppo del corso Modulo II e Modulo III Modulo II Dato e informazione: capire per comprendere

Dettagli

Ingegneria e Scienze Informatiche

Ingegneria e Scienze Informatiche Università degli Studi di Bologna Corso di Studio Magistrale in Ingegneria e Scienze Informatiche Cesena v.1.0-20140514 Le due anime dell Informatica Scienze dell Informazione Ingegneria Informatica Le

Dettagli

Programma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore

Programma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Architettura del calcolatore Reti di Calcolatori Elementi di Programmazione Algoritmi e programmi Algoritmo Sequenza

Dettagli

Corso di Informatica

Corso di Informatica Corso di Informatica CdL in Matematica e CdL in Matematica per le Applicazioni Prof. G. Nicosia Dipartimento di Matematica e Informatica Facoltà di Scienze MM.FF.NN. Università degli Studi di Catania A.

Dettagli

CORSO DI PROGRAMMAZIONE E INFORMATICA GENERALE 1

CORSO DI PROGRAMMAZIONE E INFORMATICA GENERALE 1 CORSO DI PROGRAMMAZIONE E INFORMATICA GENERALE 1 Lezione 1 (Introduzione e Definizioni) Docenti Docente: Prof. Michele Colajanni Lezioni (Aula IV): martedì 10:00-12:45 Esercitazioni (Laboratorio): mercoledì

Dettagli

COMPUTATIONAL THINKING

COMPUTATIONAL THINKING COMPUTATIONAL THINKING Università degli Studi di Verona Tandem 2014/15 Presentazione Area di Scienze e Ingegneria 17 ottobre 2015 ultimo aggiornamento 22/01/15 SOMMARIO Che cos è il Pensiero Computazionale?

Dettagli

Coscienza e computazione I modelli computazionali della coscienza

Coscienza e computazione I modelli computazionali della coscienza Coscienza e computazione I modelli computazionali della coscienza 27 aprile 2011 Paradigma computazionale e coscienza 2 La relazione fra stati mentali e stati fisici Problema mente-corpo: la centralità

Dettagli

Introduzione alla programmazione

Introduzione alla programmazione Introduzione alla programmazione Risolvere un problema Per risolvere un problema si procede innanzitutto all individuazione Delle informazioni, dei dati noti Dei risultati desiderati Il secondo passo consiste

Dettagli

nello studio dei dati delle aste immobiliari»

nello studio dei dati delle aste immobiliari» «Intelligenza artificiale e simulazioni nello studio dei dati delle aste immobiliari» Alessandro Barazzetti, QBT Sagl - Switzerland 26 Giugno 2015, Roma Kick Off Meeting: Osservatorio sulle aste giudiziarie

Dettagli

Linguaggio e comunicazione

Linguaggio e comunicazione Corso di Laurea in Scienze dell'educazione a.a. 2010/2011 PSICOLOGIA SOCIALE E DI COMUNITÀ Modulo di PSICOLOGIA SOCIALE E DEI GRUPPI Linguaggio e comunicazione Alessio Nencini alessio.nencini@univr.it

Dettagli

SCIENZE COGNITIVE. Mente Linguaggio Comunicazione

SCIENZE COGNITIVE. Mente Linguaggio Comunicazione SCIENZE COGNITIVE Mente Linguaggio Comunicazione SCIENZE COGNITIVE Ricerche interdisciplinari finalizzate allo studio scientifico della mente umana SCIENZE COGNITIVE Ricerche interdisciplinari finalizzate

Dettagli

Proposizioni e verità

Proposizioni e verità Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................

Dettagli

Intelligenza Artificiale. Introduzione. Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 0

Intelligenza Artificiale. Introduzione. Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 0 Intelligenza Artificiale Introduzione Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 0 Sommario Cosa è l AI? Una breve storia Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 1 Cosa

Dettagli

Computer Science as Empirical Inquiry

Computer Science as Empirical Inquiry Computer Science as Empirical Inquiry 14 aprile 2011 Computer Science as Empirical Inquiry: Symbols and Search (Newell e Simon 1976) 2 Herbert Simon Allen Newell Una disciplina empirica 3 Informatica come

Dettagli

Prefazione. Introduzione

Prefazione. Introduzione I Presentazione dell edizione italiana Prefazione Introduzione xiii xv xix 1 Il World Wide Web 1 1.1 La storia del mondo... 1 1.2 Creiamo qualche pagina Web... 2 1.3 Ancora HTML... 9 1.4 L HTML ci piace,

Dettagli

Le basi dell intelligenza artificiale

Le basi dell intelligenza artificiale Leadership & Management Magazine Leadership & Management - La Rivista Dedicata ai Manager dell'azienda https://www.leadershipmanagementmagazine.com Le basi dell intelligenza artificiale Date : 30 ottobre

Dettagli

Obbiettivi del Corso

Obbiettivi del Corso Trattamento Automatico delle Lingue R. Basili a.a. 2004-2005 2005 Obbiettivi del Corso Introduzione al trattamento dei fenomeni linguistici al calcolatore Applicazioni del TAL Metodi e tecnologie principali

Dettagli

Pensiero e progettazione

Pensiero e progettazione Emanuele Arielli Pensiero e progettazione La psicologia cognitiva applicata al design e all'architettura Introduzione di Paolo Legrenzi Bruno Mondadori campus - IUAV - VENEZIA H 9999 BIBLIOTECA CENTRALE

Dettagli

TEORIE E TECNICHE PER LA COMUNICAZIONE DIGITALE

TEORIE E TECNICHE PER LA COMUNICAZIONE DIGITALE TEORIE E TECNICHE PER LA COMUNICAZIONE DIGITALE Riccardo Dondi Dipartimento di Scienze dei linguaggi, della comunicazione e degli studi culturali Università degli Studi di Bergamo Informazione sul corso

Dettagli

INTRODUZIONE AL TESTO FILOSOFICO

INTRODUZIONE AL TESTO FILOSOFICO INTRODUZIONE AL TESTO FILOSOFICO MEDIANTE FORME DI ANNOTAZIONE SEMANTICA Ciclo seminariale 4 febbraio 2011 4 marzo 2011 Fra ontologie e mappe: un introduzione Francesco Bianchini DI COSA PARLEREMO Mappe

Dettagli

Materiale didattico. Intelligenza Artificiale. L inizio dell Intelligenza Artificiale

Materiale didattico. Intelligenza Artificiale. L inizio dell Intelligenza Artificiale Intelligenza Artificiale Prof. Alfonso E. Gerevini Dipartimento di Ingegneria dell Informazione Università degli Studi di Brescia Materiale didattico Testo di riferimento: Intelligenza Artificiale: un

Dettagli

Sistemi e tecnologie intelligenti per il patrimonio culturale

Sistemi e tecnologie intelligenti per il patrimonio culturale Sistemi e tecnologie intelligenti per il patrimonio culturale Perché l IA? Utilizzo di metodologie che trovano applicazione nella soluzione automatica di problemi complessi, non trattabili in modo efficace

Dettagli

Corso di PSICOLOGIA GENERALE. 6 CFU 30 ore. Docente Alessandra Tasso. Dipartimento di Studi Umanistici via Paradiso, 12 II piano

Corso di PSICOLOGIA GENERALE. 6 CFU 30 ore. Docente Alessandra Tasso. Dipartimento di Studi Umanistici via Paradiso, 12 II piano Corso di PSICOLOGIA GENERALE 6 CFU 30 ore Docente Alessandra Tasso Dipartimento di Studi Umanistici via Paradiso, 12 II piano alessandra.tasso@unife.it ricevimento: durante il corso, il ricevimento è lunedì

Dettagli

INSEGNAMENTI/ ATTIVITÀ FORMATIVE CFU SEMESTRE S.S.D.

INSEGNAMENTI/ ATTIVITÀ FORMATIVE CFU SEMESTRE S.S.D. P I A N I D I S T U D I O Sono previsti due diversi indirizzi di studio denominati Linguaggi e algoritmi (LA) e Progetto e sviluppo di sistemi software (PSS), ognuno articolato in due percorsi a scelta

Dettagli

Logica Algoritmi Cognizione

Logica Algoritmi Cognizione Logica Algoritmi Cognizione Le nozioni di DECIDIBILITÀ e COMPUTABILITÀ e i loro limiti Formulazione della logica in termini di teorie formalizzate e di dimostrazioni (all interno di teorie formalizzate)

Dettagli

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu INTELLIGENZA ARTIFICIALE (elementi) 6 cfu Docente: prof.ssa Stefania Bandini Esercitatore: dr. Matteo Palmonari Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca www.lintar.disco.unimib.it

Dettagli

Classe 23/S Lauree Specialistiche in Informatica Dottorato Storia e Didattica delle Matematiche, della Fisica e della Chimica

Classe 23/S Lauree Specialistiche in Informatica Dottorato Storia e Didattica delle Matematiche, della Fisica e della Chimica Università degli Studi di Palermo Facoltà di SS.MM.FF Classe 23/S Lauree Specialistiche in Informatica Dottorato Storia e Didattica delle Matematiche, della Fisica e della Chimica Assunzioni della Scienza

Dettagli

Le fasi della programmazione

Le fasi della programmazione Ad un primo livello di astrazione l attività della programmazione può essere suddivisa in quattro (macro) fasi principali. 1. Definizione del problema (specifica): quale funzione si vuole calcolare e quali

Dettagli

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu

INTELLIGENZA ARTIFICIALE (elementi) 6 cfu INTELLIGENZA ARTIFICIALE (elementi) 6 cfu Prof.ssa Stefania Bandini Dott. Alessandro Mosca Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca www.lintar.disco.unimib.it

Dettagli

Introduzione al Corso

Introduzione al Corso Introduzione al Corso 1 Argomenti trattati nella lezione: INTRODUZIONE AL CORSO CONCETTI GENERALI GERARCHIA DI CHOMSKY ESPRESSIONI REGOLARI AUTOMI A STATI FINITI ESEMPI DI APPLICAZIONI LINGUISTICHE Introduzione

Dettagli

AVVISO INTERNO DI ATENEO PER LA COPERTURA DI INSEGNAMENTI PRESSO IL DIPARTIMENTO DI INFORMATICA AA 2018/2019

AVVISO INTERNO DI ATENEO PER LA COPERTURA DI INSEGNAMENTI PRESSO IL DIPARTIMENTO DI INFORMATICA AA 2018/2019 Prot n. 128 del 26/02/2018 AVVISO INTERNO DI ATENEO PER LA COPERTURA DI INSEGNAMENTI PRESSO IL AA 2018/2019 Pubblicato il 26 febbraio 2018 Scadenza il 18 marzo 2018 IL DIRETTORE - Visto il D.P.R. 11.07.1980

Dettagli

L INTELLIGENZA E I DSA

L INTELLIGENZA E I DSA A.A. 2017-2018 Corso Disturbi Specifici dell Apprendimento Docente Elena Bortolotti L INTELLIGENZA E I DSA Premessa A SCUOLA percezione di aumento di difficoltà nelle classi 2-3% disabilità certificate

Dettagli

Turing cercò di fornire una risposta matematica al problema CHE COSA SIGNIFICA CALCOLARE?

Turing cercò di fornire una risposta matematica al problema CHE COSA SIGNIFICA CALCOLARE? STORIA DELLE CONOSCENZE SCIENTIFICHE SULL UOMO E SULLA NATURA a.a. 2016 2017 Prof. Roberto Giuntini, PhD. Introduzione alla storia dell intelligenza artificiale e della robotica Modulo II: Le macchine

Dettagli

Macchine e pensiero Dal test di Turing alla embodied cognition

Macchine e pensiero Dal test di Turing alla embodied cognition Macchine e pensiero Dal test di Turing alla embodied cognition 13 aprile 2011 Macchine e pensiero 2 Il sogno delle macchine intelligenti Tradizione filosofico-scientifica La nascita dell intelligenza artificiale

Dettagli

Informazione e Comunicazione

Informazione e Comunicazione TECNOLOGIE E PROGETTAZIONE ISTITUTO TECNICO SECONDO BIENNIO Rappresentazione dell Informazione GIORGIO PORCU www.thegiorgio.it Sommario Dato e Informazione Tipologie di informazione Comunicazione, Interfaccia,

Dettagli

Le aree dell informatica

Le aree dell informatica Fondamenti di Informatica per la Sicurezza a.a. 2006/07 Le aree dell informatica Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università

Dettagli

MANIFESTO DEGLI STUDI DEL CORSO DI LAUREA IN INFORMATICA (CREMA)

MANIFESTO DEGLI STUDI DEL CORSO DI LAUREA IN INFORMATICA (CREMA) MANIFESTO DEGLI STUDI DEL CORSO DI LAUREA IN INFORMATICA (CREMA) Nell anno accademico 2004/05, sono attivati il 1, il 2 e il 3 anno del Corso di Laurea triennale in Informatica presso il Polo Didattico

Dettagli

Intelligenza Artificiale. Introduzione. Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 0

Intelligenza Artificiale. Introduzione. Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 0 Intelligenza Artificiale Introduzione Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 0 Sommario Cosa è l AI? Una breve storia Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 1 Cosa

Dettagli

Introduzione al Linguaggio C Corso di Informatica Laurea in Fisica

Introduzione al Linguaggio C Corso di Informatica Laurea in Fisica Introduzione al Linguaggio C Corso di Informatica Laurea in Fisica prof. ing. Corrado Santoro A.A. 2009-10 Dai flow-chart ai linguaggi... Abbiamo imparato ad usare uno strumento formale i flowchart per

Dettagli

Rappresentazione della Conoscenza. Lezione 1. Rappresentazione della Conoscenza Daniele Nardi, 2008Lezione 1 0

Rappresentazione della Conoscenza. Lezione 1. Rappresentazione della Conoscenza Daniele Nardi, 2008Lezione 1 0 Rappresentazione della Conoscenza Lezione 1 Rappresentazione della Conoscenza Daniele Nardi, 2008Lezione 1 0 Sommario La rappresentazione della conoscenza (BL 1) Sistemi basati sulla conoscenza (BL 1)

Dettagli

Informatica di base 6/ed

Informatica di base 6/ed Informatica di base 6/ed Autori: Dennis P. Curtin, Kim Foley, Kunal Sen e Cathleen Morin A cura di: Agostino Marengo e Alessandro Pagano Capitolo 1 L informatica oggi: una panoramica Capitolo 1 L informatica

Dettagli

Introduzione all Intelligenza Artificiale

Introduzione all Intelligenza Artificiale Introduzione all Intelligenza Artificiale Obiettivi e Sommario l Ilustrare brevemente le tecniche alla base dei Sistemi di Intelligenza Artificiale l Presentare l architettura dei Sistemi basati su Conoscenza

Dettagli

Percezione e Computazione. Seminario di filosofia della percezione 2/5/2002

Percezione e Computazione. Seminario di filosofia della percezione 2/5/2002 Percezione e Computazione Seminario di filosofia della percezione 2/5/2002 Macchine di Turing (1936) Operazioni: leggere, scrivere e spostarsi lungo un nastro Elementi: alfabeto, istruzioni e stati della

Dettagli

Macchine come noi. L intelligenza artificiale: parte seconda

Macchine come noi. L intelligenza artificiale: parte seconda The question is not whether intelligent machines can have emotions, but whether machines can be intelligent without any emotions. [M. Minsky] Macchine come noi L intelligenza artificiale: parte seconda

Dettagli

Introduzione e fondamenti di Psicologia della Comunicaione

Introduzione e fondamenti di Psicologia della Comunicaione Introduzione e fondamenti di Psicologia della Comunicaione Anno accademico 2017/2018 Psicologia della Comunicazione Prof.ssa Serino Prima Lezione Obiettivi del corso Acquisire gli strumenti teorici per

Dettagli

Algoritmi e soluzioni di problemi

Algoritmi e soluzioni di problemi Algoritmi e soluzioni di problemi 1 Informazioni e linguaggio Ottenere informazioni significa aumentare le nostre conoscenze ottenere indicazioni che ci fanno agire in un determinato modo Esempi Ad un

Dettagli

Introduzione alla programmazione strutturata

Introduzione alla programmazione strutturata FONDAMENTI DI INFORMATICA Prof. PIER LUCA MONTESSORO Prof. ELIO TOPPANO Facoltà di Ingegneria Università degli Studi di Udine Introduzione alla programmazione strutturata 2001 Pier Luca Montessoro, Elio

Dettagli

Perché ne parliamo? L intelligenza artificiale. Popolare il cyberspazio. Operazioni logiche?? AND 19/03/2012

Perché ne parliamo? L intelligenza artificiale. Popolare il cyberspazio. Operazioni logiche?? AND 19/03/2012 Lez. 13 Perché ne parliamo? L intelligenza artificiale «Non è sufficiente possedere una buona mente. L'importante è saperla usare nel modo giusto.» [Cartesio, Discorso sul metodo] Ci interessano 2 aspetti:

Dettagli

Caratteristiche di un calcolatore elettronico

Caratteristiche di un calcolatore elettronico Prof. Emanuele Papotto Caratteristiche di un calcolatore elettronico È una macchina, costituita da circuiti elettronici digitali e da componenti elettromeccaniche, ottiche e magnetiche. È velocissimo,

Dettagli

Scrivere il software. Scrivere il software. Interprete. Compilatore e linker. Fondamenti di Informatica

Scrivere il software. Scrivere il software. Interprete. Compilatore e linker. Fondamenti di Informatica FODAMETI DI IFORMATICA Prof. PIER LUCA MOTESSORO Prof. ELIO TOPPAO Facoltà di Ingegneria Università degli Studi di Udine Introduzione alla programmazione strutturata 2001 Pier Luca Montessoro, Elio Toppano

Dettagli

Informatica per la Comunicazione/ Verdicchio/ 15/01/2015/ Domande / Versione 1

Informatica per la Comunicazione/ Verdicchio/ 15/01/2015/ Domande / Versione 1 Informatica per la Comunicazione/ Verdicchio/ 15/01/2015/ Domande / Versione 1 1) L esperimento della stanza cinese di Searle è mentale in quanto a) riguarda questioni della mente b) non è stato fisicamente

Dettagli

La decisione. Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Indirizzo Gruppi A.A. 2004-05. Contents First Last Prev Next

La decisione. Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Indirizzo Gruppi A.A. 2004-05. Contents First Last Prev Next La decisione Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Indirizzo Gruppi A.A. 2004-05 Contents 1 Dimensioni della decisione................................... 3 2 Modalità della

Dettagli