Paniere completo di Fondamenti di intelligenza artificiale (2025) - Risposte multiple

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Lezione 002

01. Si descrivano le differenze fra Intelligenza Artificiale debole ed Intelligenza Artificiale forte.

02. Si descrivano i principali campi applicativi dei sistemi di Intelligenza Artificiale.

03. Si descrivano gli approcci all'Intelligenza Artificiale presentati nel corso: quello basato su regole e quello basato sull'apprendimento automatico.

© 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 4/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Lezione 003

01. La formula riportata in figura è:

Non soddisfacibile

Nessuna delle altre risposte

Logicamente valida

Soddisfacibile

02. Quali delle formule riportate in figura sono formule ben formate?

3, 5

2, 3

Tutte

1, 2, 3

03. Le regole che permettono di costruire formule ben formate nella logica dei predicati del primo ordine sono prescritte:

dalla sintassi e dalla semantica

dalla sintassi

dalla grammatica

dalla semantica © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 5/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

04. La formula riportata in figura è:

Nessuna delle altre risposte

Soddisfacibile

Logicamente valida

Non soddisfacibile

05. Quali delle formule riportate in figura sono formule ben formate?

2, 3, 5

1, 2, 5

1, 2, 3

Tutte © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 6/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

06. Qual'è il significato intuitivo che daremmo alla formula riportata in figura?

Esiste un tutor che fa tutoraggio a tutti gli studenti

Ogni tutor ha uno studente

Ogni studente ha un tutor

Esiste uno studente che ha un tutor

07. Assumendo che l’insieme delle costanti sia C={a, b, c} ed un’interpretazione I renda veri gli atomi p(a) e p(b), quali delle seguenti formule sono vere rispetto

ad I?

1, 2, 4

3, 4

1, 4

3 © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 7/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

08. La formula riportata in figura è:

Non soddisfacibile

Nessuna delle altre risposte

Logicamente valida

Soddisfacibile

09. Si riporti il concetto di 'modello' nell'ambito della logica dei predicati del primo ordine.

10. Si descriva il concetto di 'conseguenza logica' nell'ambito della logica dei predicati del primo ordine.

11. Si descriva il concetto di 'interpretazione' nell'ambito della logica dei predicati del primo ordine.

12. Si riportino i concetti di 'formula soddisfacibile', 'formula non soddisfacibile' e 'formula logicamente valida'.

© 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 8/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Lezione 004

01. Applicando l'Abduzione...

da A-> B e ~B deriviamo A

da A-> B e B deriviamo A

da ~A-> ~B e ~A deriviamo ~B

da A-> B e ~B deriviamo ~A

02. Supponiamo che un insieme di fbf F sia stato trasformato in un insieme F' di clausole. Quali delle seguenti affermazioni è vera?

F è non soddisfacibile se e solo se F' è non soddisfacibile

F ed F' sono logicamente equivalenti

F' implica logicamente F

F implica logicamente F'

03. Cos'è una clausola?

Una regola di inferenza

Un particolare tipo di teoria assiomatica

Una teoria assiomatica corretta

Un particolare tipo di fbf

04. Applicando il Modus Tollens...

da A-> B e ~B deriviamo ~A

da A-> B e ~B deriviamo A

da A-> B e B deriviamo A

da ~A-> ~B e ~A deriviamo ~B

05. Cos'è il principio di risoluzione?

Un particolare tipo di teoria assiomatica

Una teoria assiomatica corretta

Una regola di inferenza

Un particolare tipo di fbf

06. Quali fra fra le seguenti regole di inferenza rende una teoria assiomatica non corretta?

Abduzione

Deduzione

Modus Ponens

Modus Tollens

07. Una teoria assiomatica è completa se...

...ogni fbf derivabile dalla teoria è conseguenza logica dei suoi assiomi

...ogni fbf conseguenza logica dei suoi assiomi è derivabile dalla teoria

…almeno una fbf della teoria è sintatticamente corretta

...ogni fbf della teoria è sintatticamente corretta © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 9/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

08. Una teoria assiomatica è corretta se…

…almeno una fbf della teoria è sintatticamente corretta

...ogni fbf della teoria è sintatticamente corretta

...ogni fbf conseguenza logica dei suoi assiomi è derivabile dalla teoria

...ogni fbf derivabile dalla teoria è conseguenza logica dei suoi assiomi

09. Si presenti la regola di inferenza 'Abduzione' © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 10/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Lezione 005

01. Su quale proprietà si basano i sistemi a refutazione?

F |= t se e solo se F U {t} è soddisfacibile

F |= t se e solo se F U {~t} è insoddisfacibile

F |= t se e solo se F U {t} è insoddisfacibile

F |= t se e solo se F U {t} è logicamente valida

02. Si considerino le sostituzioni s1= {X/Y, K/L} e s2= {Y/a, L/K}. La combinazione s1 s2 delle due sostituzioni è:

{X/a, K/K}

{X/a}

{X/a, K/L}

{X/a, L/K}

03. Ad ogni passo, l'algoritmo SLD:

seleziona una delle clausole dall'insieme base

non seleziona alcuna clausola dall'insieme base

seleziona due clausole dall'insieme base

selezione tutte le clausole dall'insieme base

04. L'algoritmo SLD è:

Corretto ma non completo per insiemi di clausole di Horn

Completo ma non corretto per insiemi di clausole

Corretto e completo per insiemi di clausole

Corretto e completo per insiemi di clausole di Horn

05. Applicando la risoluzione alle clausole a v ~b v c e a v ~b v ~c otteniamo:

La clausola vuota

~a v ~b

a v ~b

~a v b

06. Sia F un insieme di clausole e ~t una clausola. Se applicando la risoluzione ad F U {~t} non deriviamo la clausola vuota significa che:

F non implica logicamente t

F è soddisfacibile

F è insoddisfacibile

F implica logicamente t

07. Se deriviamo la clausola vuota applicando il principio di risoluzione ad un insieme di clausole F significa che:

F è vuoto ERRATA

F è logicamente valido

F è soddisfacibile

F è insoddisfacibile © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 11/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

08. Quando trasformiamo un insieme S di fbf in un insieme S' di clausole...

S è insoddisfacibile se e solo se S' è insoddisfacibile

S' è insoddisfacibile

S ed S' sono logicamente equivalenti

S è insoddisfacibile

09. Si descriva la proprietà su cui sono basati i sistemi a refutazione. © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 12/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Lezione 006

01. In Prolog, un placeholder è utilizzato:

Al posto di una costante che compare una sola volta nella testa di una regola GIUSTA

Al posto di una variabile che compare una sola volta in un atomo del corpo di una regola

Al posto di una variabile che compare una sola volta nella testa di una regola

Al posto di una costante che compare una sola volta in un atomo del corpo di una regola

02. Quali sei seguenti termini è una lista?

[ ]

lista([1,2,3])

lista(1, 2, 3)

lista(X, Y, Z)

03. Quali sei seguenti termini è una lista?

lista(X, Y, Z)

lista([1,2,3])

lista(1, 2, 3)

[1,[1,2]]

04. Un funtore è:

Un simbolo di predicato ERRATA

Una variabile

Un simbolo di predicato o un simbolo di funzione

Un simbolo di funzione

05. Quale dei seguenti oggetti è una variabile?

0 ERRATA

'X'

x

Costante

06. Quale dei seguenti oggetti è un placeholder?

'_' ERRATA

0

_

Placeholder

07. Quale comando comunica a Prolog di continuare la ricerca di nuovi valori che sostituiti alle variabili del goal lo rendano vero?

'.' ERRATA

,'

';'

'_' © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 13/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

08. Quale dei seguenti oggetti è una costante?

X

Costante

Y

'X' © 2016 - 2022 Università Telematica eCampus - Data Stampa 20/11/2022 13:03:25 - 14/90

Set Domande: FONDAMENTI DI INTELLIGENZA ARTIFICIALE

INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE

Docente: Caroprese Luciano

Lezione 007

01. Quale regola bisogna aggiungere alla struttura 'concatena([ ], L, L)' per ottenere un programma che concateni due liste?

concatena([T | L1], L2, L3]) :- concatena(T, L2, L3)

concatena([ ], [ ], [ ])

concatena([T | L1], L2, L3]) :- concatena(L1, L2, L3)

concatena([T | L1], L2, [T | L3]) :- concatena(L1, L2, L3)

02. Si consideri un programma logico contenente la regola 'p(X) :- X = 3*2'. Qual'è l'output di Prolog corrispondente al goal 'p(X)'?.

false

X = 6

X = 3 * 2

true

03. Si consideri un programma logico contenente la regola 'p(X) :- is(X, 3*2)'. Qual'è l'output di Prolog corrispondente al goal 'p(X)'?.

true

X = 6

X = 3 * 2

false

04. Quale regola bisogna aggiungere alla struttura 'appartenente(X, [X | _])' per ottenere un programma che verifichi l�