:: Ordina random :: Ordina per categoria ::

1. La funzione di valutazione f(n) nella ricerca greedy best first è data da:

		h(n)
		h(n)+g(n)
		valore costante K
		g(n)

2. Nell'approccio della logica di Allen, l'algoritmo di Path-Consistency

		è completo
		non è colmpleto
		rileva tutte le inconsistenze

3. La definizione di intelligenza secondo Turing è basata su

		imitazione
		creatività
		capacità di apprendimento
		capacità di elaborazione

4. *Il PC passerà il test di Touring se un esaminatore umano,dopo aver risposto a delle domande scritte:

		sarà in grado di capire se le risposte provengono da PC
		sarà in grado di capire se le risposte provengono da una persona
		non sarà in grado di capire se le risposte provengono da una persona o no

5. *Nella Diagnostica la regola di Bayes viene usata nella forma:

		P(Effetto|Causa) =P(Causa|Effetto)P(Effetto)/P(Causa)
		P(Causa|Effetto)=P(Effetto|Causa)P(Causa)/P(Effetto)
		P(Causa|Effetto)=P(Effetto|Causa)P(Causa)

6. Il Modus Tollens è

		da not B e A => B segue not A
		da A e A => B segue B
		da A e B => A segue B

7. L'intersezione di Fuzzy Set viene realizzata tramite

		minimo
		differenza
		massimo

8. *La complessità spaziale della Depth First è:

		O(b^m)
		lineare (O(bm))
		Esponenziale
		O

9. *Il principio di risoluzione è una procedura di dimostrazione che opera per

		Negazione
		Deduzione
		Contraddizione
		Affermazione

10. La caratteristica che limita maggiormente gli algoritmi di ricerca è:

		il floating-point
		la memoria secondaria
		la CPU
		la memoria centrale

11. *La ricerca a costo uniforme è completa?

		Si sempre
		Si se b(fattore di branching) è finito
		No
		Si se costo per singolo passo <= e

12. Il risultato di l([1,2,3,4]),l([_X,Y|Z]) è

		X=0, Y=2, Z=[3,4]
		fallimento
		Y=1, Z=[2,3,4]
		Y=2, Z=[3,4]

13. *La ricerca Depth First è ottima?

		Si se b(fattore di branching) è finito
		Si se costo per singolo passo = 1
		Si
		No

14. Un'interpretazione soddisfa una FBF se

		alla FBF viene assegnato il valore true con quell'interpretazione
		alla FBF viene assegnato il valore true con qualsiasi interpretazione
		è una tautologia

15. *La mutua esclusione di una serie di regole con la stessa testa:

		può essere realizzata anche senza il cut
		viene resa più efficiente con il cut
		può creare inefficienze quando non viene identificata dal Prolog
		è impossibile senza ricorrere al cut

16. La ricerca A* è ottima:

		se h(n) è ammissibile ma non consistente
		se h(n) è consistente
		mai
		sempre

17. *La ricerca Depth First Limited:

		Funziona come la Depth ma è FIFO
		Equivale ad una Breadth First
		Funziona come la Depth First ma ha un limite l
		Ha sempre un nodo limitato e gli altri no

18. *Rete Bayesiana:

		Permette di rappresentare in modo conciso le relazioni di indipendenza condizionale nel dominio
		Non permette di rappresentare in modo conciso le relazioni di indipendenza condizionale nel dominio
		Permette di rappresentare i gradi di verità delle variabili nel dominio

19. Cosa contiene l'albero di ricerca?

		gli stati compresi in un solo cammino
		gli stati compresi in un cammino tra stato iniziale e finale
		tutti gli stati espansi
		tutti gli stati dello spazio degli stati

20. Da cosa è formata una clausola goal?

		da una sola formula atomica positiva
		solo da formule atomiche negative
		da una qualsiasi formula

21. *La ricerca Iterative deepening funziona in modo da :

		Funziona come una Breadth First
		espandere tutti i rami fino in profondità massima sempre
		valuta tutti i possibili liveli di profondità in modo da preservare memoria

22. *L'ambiente "lancio di una moneta" è

		Stocastico, osservabile, continuo
		Stocastico, parzialmente osservabile, discreto
		Deterministico, osservabile, discreto

23. Differenza tra ricerca informata e non-informata

		le informate utilizzano conoscenza sul dominio del problema, le non-informate effettuano una ricerca esaustiva
		nessuna differenza
		le non-informate utilizzano un approccio probabilistico, le informate una ricerca esaustiva

24. *Le ricerche Greedy e A* sono due casi speciali di ricerca:

		Breadth First
		Depth First
		Iterative Deepening
		Best First

25. Un ambiente è strategico se:

		lo stato sucessivo non è determinato dallo stato corrente ma dall'azione dell'agente
		lo stato successivo non è determinato dallo stato corrente e dall'azione eseguita dall'agente
		è deterministico in tutto tranne che per le azioni degli altri agenti

26. *La ricerca Depth First è una ricerca:

		FIFO
		LIFO

27. *La iterative Deepening è ottima?

		Mai proprio mai
		Si sempre
		Si se costo per singolo passo = 1
		No

28. Quali delle seguenti equivalenze è falsa?

		[1,2,3]=[1,2,3,[]]
		[1,2,3]=[1,2,3]-[]
		[1,2,3]=[1,2,3,4]-[4]
		[1,2,3]=[1,2,3|L]-L

29. *p->q, q è:

		fallacia del conseguente
		affermazione dell’antecedente
		fallacia negazione dell’antecedente

30. *La ricerca Best First Search è un tipo di ricerca informata che:

		Fallisce in ogni caso
		funziona come le non informate
		funziona in modo da ottenere il risultato della Depth First
		prende in considerazione una funzione di valutazione f(n) con una misura di un grado di desiderabilità

31. La ricerca uniform-cost

		espande i nodi con minor costo di cammino
		espande i nodi a caso
		espande i nodi meno profondi
		espande i nodi più profondi

32. La ricerca breadth-first

		espande i nodi più profondi
		espande i nodi a caso
		espande i nodi meno profondi
		espande i nodi con minor costo di cammino

33. *Quale tipo di argomentazione è correttamente accettata in logica?

		Falsificante
		Induttiva
		Confermante

34. L'operatore is:

		è invariante rispetto alla regola di selezione
		è un operatore di assegnamento
		non è reversibile
		può risolvere vincoli con variabili non istanziate alla sua destra

35. L'euristica MRV nei CSP sceglie la variabile

		più vincolata
		meno vincolata
		più vicina
		lascia più libertà alle adiacenti

36. Nel forward checking una volta che viene assegnato un valore ad una variabile X

		tale valore viene cancellato dai domini delle variabili collegate a X da vincoli
		tale valore viene cancellato da tutti i domini
		tale valore non viene cancellato

37. Un teorema è

		l'enunciato di una dimostrazione
		l'insieme dei passi di una dimostrazione
		l'ultima operazione di una dimostrazione

38. Cosa è lo spazio degli stati?

		l'insieme degli stati raggiungibili dallo stato iniziale con una sequenza qualunque di operatori
		l'insieme degli stati raggiungibili dallo stato iniziale applicando un solo operatore
		l'insieme degli stati che descrivono la configurazione del sistema
		l'insieme di tutti i possibili stati

39. *quali dei seguenti è un vincolo?

		<
		#<
		=

40. Il risultato di "X1 is 3*4, 1 is X1/12" è:

		X1=12;
		X1=12 Yes
		No
		Yes

41. *Nel ragionamento probabilistico l'affermazione "La probabilità di una proposizione è data dalla somma delle probabilità dei singoli eventi atomici dove è vera":

		è vera
		è falsa
		dipende dalla definizione di evento atomico

42. *Una ricerca Greedy :

		completa ma non ottima
		è ottima e completa
		non è ne ottima ne completa
		ottima ma non completa

43. La ricerca A* è ottima

		sempre
		se h(n) non è ammissibile
		se h(n) è ammissibile
		mai

44. L'unione di Fuzzy Set viene realizzata tramite

		differenza
		massimo
		minimo

45. La complessità del caso peggiore di Path-Consistency per un CSP è

		O(n^4d)
		O(n^3)
		O(n^2d^3)

46. *Il predicato cut:

		in certi casi pu`o fallire
		ha sempre successo
		non presenta argomenti
		viene ignorato in fase di backtracking

47. *L’euristica MRV usata nei CSP sceglie la variabile

		più vicina
		più vincolata (maggiore probabilità di fallimento)
		meno vincolata (minore probabilità di fallimento)

48. Il Modus Ponens è

		da A e B => A segue B
		da A e not A => B segue B
		da A e A => B segue B

49. Nella logica a più valori A or not A = !

		ha bisogno di un terzo valore
		non vale
		vale

50. *La iterative deepening ha un grado di complessità spaziale pari a :

		O(bd)
		O(bm)
		O(b^(d+1))
		O(b^d)

51. La fallacia nella negazione dell'antecedente è

		dato A e A => B segue B
		dato not A e A => B segue not B
		dato A e B => A segue B

52. Quale delle seguenti affermazioni su *(+(2,3),4) è falsa?

		non è valida in Prolog
		l'espressione equivale a 4*(2+3)
		le parentesi sono necessarie

53. Nella logica di Allen è possibile definire

		A prima di A
		A prima di B o dopo di C
		A prima o dopo di B

54. *La complessità temporale della ricerca Breadth First è:

		O(b^(d+1))
		O(b^(C*/e))
		O(bm)
		O(b^m)

55. *Di che colore è il cavallo bianco di Napoleone

		Verde
		Bianco
		Rosso

56. La ricorsione in Prolog

		può sempre essere ottimizzata
		a volte è meglio sostituirla con l’iterazione
		è l'unico modo per realizzare l'iterazione
		anche se non ottimizzata non `e pesante

57. Quale delle seguenti espressioni non è una variabile?

		_aBc;
		A3;
		abc;
		Abc;

58. *Qual è il nome della procedura che consente di limitare l'overfitting durante l'allenamento di una rete neurale?

		Regression
		Backpropagation
		K-fold cross validation
		Early stopping tramite validation set

59. La ricerca A* è ottima:

		mai
		se la funzione costo g(n) ha un valore minimo
		se la funzione costo g(n) è ammissibile
		se l'euristica h(n) è ammissibile

60. Quale di queste non è una lista:

		[a(1),b(c(d,e)),f]
		[]
		[a|b|c]
		[a|[b|[c,d]]]

61. Nei Fuzzy Set la relazione A C B con A,B insiemi è vera

		sse la funzione di appartenenza di A è minore di B
		sse la funzione di appartenenza di A è minore o uguale di B
		sse la funzione di appartenenza di A è uguale di B
		sse la funzione di appartenenza di A è maggior di B

62. *Il predicato cut:

		è necessario per specificare il fatto che un predicato è deterministico
		aiuta il Prolog ad ottimizzare il codice
		non ha una chiara interpretazione dichiarativa
		modifica sempre l’interpretazione procedurale

63. *L'algoritmo minimax funziona in questo modo:

		Max inizia per secondo nel minimax
		Sale dai nodi foglia dell'albero e ricerca i cammini per il dispendio minimo di costi
		Valuta solo i nodi Min
		Parte dall'inizio alla fine

64. *Se X=[1,2,3,4] la query Y=[1,2|X] fa sì che:

		Y=[1,2,1,2,3,4]
		Y=[3,4]
		Y=0

65. Come viene interpretata la negazione di p(X) in Prolog

		Esiste X not p(X)
		Esiste X p(X)
		Perogni X not p(X)
		Perogni X p(X)

66. Un ambiente è stocastico se:

		è deterministico in tutto tranne che per le azioni degli altri agenti
		lo stato successivo non è determinato dallo stato corrente nè dall'azione eseguita dall'agente
		lo stato sucessivo non è determinato dallo stato corrente ma dall'azione dell'agente

67. Una FBF è soddisfacibile

		se e solo se è vera in tutte le interpretazione
		se e solo se è vera in almeno una interpretazione
		se è vera in almeno una interpretazione

68. Il risultato di X=[1,2,3,4] con query Y=[0|X] è

		Y=[1,2,3,4]
		Y=[0,1,2,3,4]
		Y=[]
		Y=[0]

69. *Nella logica a più valori di verità la legge del terzo escluso (A or Not A = 1):

		vale
		non vale
		necessita di un terzo valore di verità

70. Cosa si intende per reversibilità?

		gli argomenti dei predicati possono essere istanziati secondo uno schema variabile
		gli argomenti dei predicati non possono essere istanziati
		gli argomenti dei predicati possono essere istanziati secondo uno schema fisso

71. *La ricerca Greedy ha una complessità spaziale pari a

		O(b^m)
		O(bm)
		O(b^(d+1))
		O(b^(C*/e))

72. Quale delle seguenti espressioni non è una costante?

		12.34;
		12;
		abc;
		Abc;

73. Il computer passerà il Test di Turing se l'operatore umano

		capisce che i messaggi provengono da un computer
		non sarà in grado di capire se i messaggi provengono da una persona o no
		capisce che i messaggi provengono da una persona

74. In un CSP un arco A(i,j) è consistente

		se per ogni valore X appartenente a Di esiste almeno un valore Y appartenente a Dj tale che il vincolo tra i e j P(i,j) sia soddisfatto
		se per qualche valore X appartenente a Di esiste almeno un valore Y appartenente a Dj tale che il vincolo tra i e j P(i,j) sia soddisfatto
		se esiste un Z appartenente a Dk tale che il vincolo tra i, j, k P(i,j, k) sia soddisfatto

75. Per provare il teorema G si deve dimostrare che

		((F1 and F2 and ... Fn) -> G) è una tautologia
		((F1 and F2 and ... Fn) and not G) è una fbf
		((F1 and F2 and ... Fn) and not G) è una tautologia

76. *Che fine ha fatto... tu sai chi?

		è morto
		è un mago
		è ancora in circolazione
		baggianate!

77. Qual'è il risultato dell'unificazione [p(X)]{p(X)/p(a)}?

		fallimento
		p(X)
		p(a)
		X=a

78. Per provare il teorema G si deve dimostrare che

		(F1 and F2 and ... Fn and not G) è una contraddizione
		((F1 and F2 and ... Fn) and G) è una contraddizione
		((F1 and F2 and ... Fn) and not G) è una FBF

79. Qual è la corretta definizione di negazione?

		not(X):-X,!,fail. not(X).
		not(X):-X,!. not(X).
		not(X):-X,fail. not(X).
		not(X):-X,!,fail.

80. Di che tipo di ricerca la uniform-cost è una variante?

		depth-first
		nessuna
		breadth-first

81. *Le tecniche di consistenza di vincoli trasformano la rete di vincoli:

		in una rete la cui soluzione è costituita da un sottoinsieme proprio della soluzione iniziale
		in una rete avente numero inferiore di archi
		in una rete ad essa equivalente

82. *Quale espressione restituisce TRUE in Prolog:

		X #= Y-1
		X = Y-1, X = 2
		X is Y-1, X = 2

83. *Quale delle seguenti affermazioni sul predicato cut è falsa?

		elimina i punti di scelta che lo precedono nella clausola in cui `e contenuto;
		rende definitiva la scelta della clausola in cui `e contenuto;
		non tocca i punti di scelta che lo seguono.
		elimina tutti i punti di scelta nella clausola in cui `e contenuto;

84. *La ricerca Iterative Deepening ha grado di complessità temporale pari a:

		O(bd)
		O(bm)
		O(b^d)
		O(b^(d+1))

85. *Quale tipo di argomentazione è correttamente accettata in logica?

		Induttiva
		Falsificante
		Confermante

86. Quale delle seguenti affermazioni e' vera?

		la definizione di negazione in Prolog non crea problemi
		la negazione in Prolog si basa sul concetto di fallimento finito o infinito
		la negazione in Prolog coincide esattamente con l-ipotesi di "Mondo Chiuso"
		le clausole di Horn non permettono di derivare letterali negativi

87. La ricerca depth-first

		espande i nodi con minor costo di cammino
		espande i nodi meno profondi
		espande i nodi a caso
		espande i nodi più profondi

88. Quali delle seguenti affermazioni è falsa?

		il caso peggiore del Backtracking non è esponenziale
		il Backtracking è una ricerca in profondità
		il Backtracking non è Arc-Consistency

89. Quali delle seguenti formule è una clausola?

		not(A1 and A2)
		A1 or not A2
		A1 => (A1 and A2)
		A1 <=> not A2

90. La logica proposizionale è decidibile?

		si
		no
		dipende dai modelli

91. *Perché nel Prolog non si usa ricerca in ampiezza

		perché non completa
		richiede troppa memoria
		non c’è un motivo particolare

92. Il limite maggiore di A* è dato dal fatto che

		non è mai completa
		necessita di grandi quantità di memoria
		non è ottima

93. *Tabu search:

		Sceglie sempre la migliore tra le soluzioni vicine
		Sceglie sempre una soluzione migliore della corrente
		Può scegliere una soluzione peggiore della corrente

94. Cosa si intende per cammino nello spazio degli stati?

		una sequenza di operatori che porta da uno stato ad un altro
		una sequenza di operatori che porta da uno stato qualunque ad uno finale
		una sequenza di operatori che porta dallo stato iniziale ad un altro
		una sequenza di operatori che porta dallo stato iniziale ad uno finale

95. Nella logica a più valori A and not A = 0

		non vale
		vale
		ha bisogno di un terzo valore

96. *Gli algoritmi di ricerca locale:

		Memorizzano il cammino seguito dalla ricerca
		Necessitano di una funzione euristica
		Operano sullo stato corrente

97. *Quale operatore esprime un vincolo?

		=
		\=
		is
		#<

98. Due Fuzzy set A e B si dicono equivalenti

		sse la funzione di apparteneza di X ad A è maggiore a quella di x a B
		sse la funzione di apparteneza di X ad A è uguale a quella di x a B
		sse la funzione di apparteneza di X ad A è minore o uguale a quella di x a B

99. La ricerca breadth-first è completa

		se il fattore di ramificazione b è finito
		mai
		se lo spazio degli stati è finito
		sempre

100. Quale definizione di AI è adottata più comunemente?

		Sistemi che pensano come esseri umani
		Sistemi che agiscono razionalmente
		Sistemi che agiscono come esseri umani
		Sistemi che pensano razionalmente

101. *Un CSP è consistente se

		esiste almeno un assegnamento completo delle variabili tale da soddisfare tutti i vincoli
		esiste almeno un assegnamento completo delle variabili tale da soddisfare almeno 1 vincolo
		esiste almeno un assegnamento parziale delle variabili tale da soddisfare tutti i vincoli

102. La ricerca depth-first è completa?

		si
		mai
		se il fattore di ramificazione b è finito
		se lo spazio degli stati è finito

103. Qual è l'interpretazione dichiarativa di A:-B?

		A => B
		A <= B
		A or not B
		A and B

104. *Un ambiente ignoto può essere completamente osservabile?

		non ha senso
		si
		no

105. Un CSP Path-Consistent è anche Arc-Consistent

		no
		nulla si può dire
		si

106. Quale delle seguenti affermazioni sui punti di scelta è falsa?

		vengono rimossi in fase di backtraking
		sono creati in presenza di più clausole unificabili
		non comportano un appesantimento del codice
		rendono il codice non deterministico

107. Un agente è un'entità che:

		agisce razionalmente
		comunica e agisce
		pensa razionalmente
		percepisce e agisce

108. *Procedura che limita il bias introdotto da una particolare suddivisione del dataset in training e test set:

		BackPropagation
		Regression
		Early Stopping
		K-Fold Cross

109. *La Breadth First è completa?

		Dipende dal fattore relativo alla soluzione a costo minimo
		Mai
		Si se b(fattore di branching) è finito
		Si sempre

110. *La ricerca A* è una ricerca:

		ottima e completa sempre
		Ne ottima ne completa
		Solo completa ma non ottima
		Completa se il numero di nodi è finito e ottima in alcuni casi

111. *Se ad una formula proposizionale viene assegnata probabilità 0.8 significa che

		il valore di verità della formula è 0.2
		il valore di verità della formula è 1
		il valore di verità della formula è 0.8

112. In logica le tabelle di verità permettono di

		attribuire un vaolre di verità alle formule
		attribuire un significato alle formule
		attribuire una forma sintattica alle formule

113. *L'allenamento di una rete neurale artificiale è, in genere, un problema:

		di complessità lineare
		polinomiale
		NP-completo

114. La Risuluzione SLD limitata alle clausole di Horn è

		completa e corretta
		nè corretta nè completa
		corretta ma non completa
		completa ma non corretta

115. Nel Calcolo situazionale il piano contiene

		azioni concorrenti
		la sequenza di azioni
		la sequenza delle situazioni

116. La fallacia nell'affermazione del conseguente è

		dato A e A => B segue B
		dato A e not B => A segue B
		dato B e A => B segue A

117. Quali delle seguenti formule è una clausola?

		A1
		not(A1 => A2)
		A1 <=> A2
		A1 and not A2

118. In logica proposizionale una formula è una contraddizione se

		è falsa per tutte le interpretazioni
		è vera per tutte le interpretazioni
		è vera per alcune e falsa per altre

119. La regola di Bayes è definita da

		P(causa|effetto)=P(effetto|causa)P(effetto)/P(causa)
		P(causa|effetto)=P(effetto|causa)P(causa)/P(effetto)
		P(effetto|causa)=P(causa|effetto)P(causa)/P(effetto)

120. *La ricerca a costo uniforme è ottima?

		Si perché i nodi hanno un costo g(n)
		Si se costo per singolo passo = 1
		A volte si e a volte no dipende da b
		No

121. *Qual'è la migliore squadra del campionato italiano?

		Milan
		Inter
		Padova
		Juve

122. *Negli algoritmi di ricerca locale stocastica, la componente di stocasticità si trova:

		Nella scelta del successore e nella generazione della soluzione iniziale
		Nella generazione della soluzione iniziale e nel calcolo della funzione obiettivo
		Nel calcolo della funzione obiettivo e nella scelta del sucessore

123. In logica proposizionale un modello di FBF è

		un'interpretazione che non soddisfa la formula
		un'interpretazione che soddisfa parzialmente la formula
		un'interpretazione che soddisfa la formula

124. Un CSP Strong-Path-Consistent è anche Arc-Consistent?

		no
		si
		nulla si può dire

125. *Le reti neurali artificiali sono un esempio di:

		apprendimento supervisionato
		apprendimento per rinforzo
		apprendimento non supervisionato

126. *Il grado di complessità temporale di una ricerca Depth First è pari a :

		O(bm)
		O(b^(d+1))
		O(b^m)
		O(b^(C*/e))

127. Quali delle seguenti formule è una clausola?

		A1 <=> A2
		not(A1 => A2)
		A1 or A2
		A1 and A2

128. Nella teoria assiomatica si usano strumenti di

		manipolazione sintattica
		manipolazione semantica
		manipolazione sematica e sintattica

129. L'euristica Least-constraining-value nei CSP sceglie la variabile

		più vincolata
		più vicina
		che lascia più libertà alle adiacenti
		meno vincolata

130. *Quanto è pollo chi ha sputtanato l'esame nel forum universitario?

		di più
		inquantificabile
		O(n^n^n)
		assai

131. La funzione di valutazione f(n) nella ricerca A* è data da:

		g(n)
		Valore costante K
		h(n)
		h(n)+g(n)

132. *Che grado di complessità spaziale ha la ricerca Breadth First?

		O(b^m)
		O(b^(d+1))
		O(bm)
		O(b^(C*/e))

133. Perchè nel Prolog si usa la ricerca in profondità?

		perchè in ampiezza sarebbe incompleta
		per poter eseguire il codice su una macchina a stack in maniere efficiente
		non c'è un motivo particolare
		per garantire la completezza

134. *La logica dei predicati del primo ordine è:

		indecidibile
		semi-decidibile
		decidibile

135. *Il grado di complessità della ricerca a costo uniforme è pari a:

		O(bm)
		O(b^(C*/e))
		O(b^(d+1))
		O(b^m)

136. Nell'interpretazione procedurale:

		i predicati diventano deterministici
		un goal corrisponde all'invocazione di una procedura
		i parametri formali sono i valori assegnati in fase di chiamata
		i parametri attuali sono specificati nella testa delle regole

137. La complessità del caso peggiore di Arc-Consistency per un CSP è

		O(n^3)
		O(n^2d^3)
		O(n^4d)

138. Quali delle seguenti affermazioni sulle liste è falsa?

		[] è la lista vuota
		in .(T,C) T è un termine qualsiasi
		in .(T,C) C è una lista
		.(T1,T2,C) equivale a [T1|T2|C]

139. Per provare il teorema G si deve dimostrare che

		((F1 and F2 and ... Fn) and not G) è una tautologia
		((F1 and F2 and ... Fn) and not G) è una fbf
		((F1 and F2 and ... Fn) and G) è una tautologia

140. Nell'approccio della logica di Allen, le relazioni mutuamente esclusive tra due intervalli sono

		12
		15
		14
		13

141. In logica proposizionale una formula è valida se

		è falsa per tutte le interpretazioni
		è vera per alcune e falsa per altre
		è vera per tutte le interpretazioni

142. *La ricerca Breadth First è OTTIMA?

		Si se costo per singolo passo = 1
		No
		Si se b(fattore di branching) è finito
		Si sempre

143. Cosa definisce una strategia di ricerca?

		quale stato espandere dall'albero di ricerca
		Lo stato iniziale
		Quale operatore applicare ad ogni passo della ricerca
		quale stato eliminare dall'albero di ricerca

144. *L’ottimizzazione tail:

		mantiene una valutazione ricorsiva
		si può applicare anche in presenza di punti di scelta
		permette di applicare una valutazione iterativa
		richiede una complessità spaziale lineare

145. La potenza del Prolog

		è esprimibile da una grammatica libera dal contesto
		è pari a quella di un automa a stati finiti
		è pari alla macchina di Turing
		è esprimibile da una grammatica sensibile al contesto

146. *La ricerca Greedy ha complessità temporale pari a

		O(b^(d+1))
		O(bm)
		O(bd)
		O(b^m)

147. *La ricerca Depth First è completa?

		Si sempre
		Si se b(fattore di branching) è finito
		No perché il valore di m può essere infinito
		Si se costo per singolo passo = 1

148. *La complessità in termini di spazio della Best First Ricorsiva è:

		O(b^(d+1))
		O(bd)
		O(bm)
		O(b^m)

149. *Quale delle seguenti affermazioni sul predicato call é falsa?

		serve ad invocare il predicato specificato come argomento
		può essere invocato con variabili non istanziate
		può essere omesso se il suo argomento contiene già un predicato
		serve per la meta-programmazione

150. Qual è la funzione di l(X),Y=[0|X]. ?

		aggiungere un elemento a destra della lista
		sostituire un elemento della lista
		eliminare un elemento dalla lista
		aggiungere un elemento a sinistra della lista

151. *La frontiera della ricerca Breadth-First è una coda :

		LIFO
		Struttura dati mista
		FIFO

152. *Nel calcolo situazionale la pianificazione è:

		Processo deduttivo(goal segue dalle azioni)
		Processo basato su algoritmo di ricerca informata
		Processo di ricerca su grafo

153. In logica, quali sono i connettivi essenziali?

		and, or, not
		not, <->, ->, or
		and, or, ->

154. *Quale delle seguenti formule è una clausola?

		Non intendo rispondere
		Devo parlare con il mio avvocato
		A and not C
		A or B or C

155. Il cosiddetto "occur-check":

		viene trascurato perchè non crea problemi
		viene sempre verificato
		può essere trascurato
		viene trascurato ma può creare problemi

156. La formula A:-B1,B2,B3:

		è un fatto
		è una regola
		non è una clausola di Horn
		è un goal

157. *Cosa si può fare con le reti neurali?

		Regressione
		Regressione e Classificazione
		Classificazione

158. *Quale delle seguenti affermazioni è falsa?

		un predicato con pi`u chiamate ricorsive non può essere direttamente ottimizzato in maniera tail
		un predicato deterministico che presenta una chiamata ricorsiva come ultima clausola può essere ottimizzato in maniera tail
		un predicato ricorsivo non tail non può in nessun caso essere ottimizzato in maniera tail
		una coppia di predicati mutuamente ricorsivi non può essere direttamente ottimizzata in maniera tail

159. *Quale di queste è una ricerca informata?

		Breadth First
		A*
		Iterative deepening
		Depth First

160. La regola di computazione del Prolog:

		procede da sinistra a destra
		le clausole vengono riordinate dinamicamente
		non esiste un ordine
		procede da destra a sinistra

161. *P(A or B)=

		P(A)+P(B)-P(A and B)
		P(A)+P(B)
		P(A)-P(B)
		P(A)+P(B)+P(A and B)

162. *Il problema della ricerca Best First Ricorsiva è :

		Può dare problemi se entra in loop infiniti
		Una ricerca non informata
		Usa troppa POCA memoria
		Usa troppa memoria

163. Quali delle seguenti formule è una clausola?

		not(A1 <=> A2)
		A1 and A2
		A1 => A2
		A1 or A2 or A3

164. L'ottimizzazione tail: [Non in programma 08/09]

		si può applicare sempre
		si può applicare se la chiamata ricorsiva è l'ultima clausola e il predicato è deterministico
		si può applicare se il risultato della chiamata ricorsiva non viene modificato e il predicato è deterministico
		si può applicare se la chiamata ricorsiva e l'ultima clausola

165. *Cos'è un algoritmo di Alpha-Beta Pruning?

		Un algoritmo per la ricerca di parole in un sito web
		Funziona eliminando dalla memoria i nodi con valore dispari
		Un algoritmo di gioco in grado che assegna un valore alpha soltanto al percorso esatto
		Un algoritmo di gioco che pota i rami con caso peggiore rispetto ai precedenti ( funziona come Minimax essendone un caso speciale)

166. In logica proposizionale due formule sono equivalenti

		se hanno lo stesso valore di verità in alcune interpretazioni
		se e solo se hanno lo stesso valore di verità in tutte le interpretazioni
		se hanno lo stesso valore di verità in tutte le interpretazioni

167. *La ricerca Best First Ricorsiva funziona in che modo ?

		Funziona esattamente come una ricerca A*
		Fallisce in ogni caso
		Prende in considerazione oltre al cammino minore anche del percorso alternativo , effettuando una ricorsione per sostituire il valore peggiore del padre con la miglior alternativa
		Funziona come una Breadth First

168. *Nel calcolo dei predicati del primo ordine l'equivalenza tra aspetto sintattico e semantico è garantita:

		Dalla proprietà di correttezza e completezza della teoria
		Dalla proprietà di completezza
		dalla proprietà di correttezza