:: Ordina random :: Ordina per categoria ::

1. Quali delle seguenti formule è una clausola?

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

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

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

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

		baggianate!
		è un mago
		è ancora in circolazione
		è morto

4. Quali delle seguenti affermazioni sulle liste è falsa?

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

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

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

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

		15
		14
		12
		13

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

		Induttiva
		Falsificante
		Confermante

8. La ricerca A* è ottima:

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

9. 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) -> G) è una tautologia

10. *La Breadth First è completa?

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

11. Nel Calcolo situazionale il piano contiene

		azioni concorrenti
		la sequenza delle situazioni
		la sequenza di azioni

12. *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

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

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

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

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

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

		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 sempre
		si può applicare se la chiamata ricorsiva e l'ultima clausola

16. La regola di computazione del Prolog:

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

17. Quale delle seguenti espressioni non è una variabile?

		A3;
		_aBc;
		Abc;
		abc;

18. La ricerca uniform-cost

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

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

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

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

		si
		no
		nulla si può dire

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

		apprendimento supervisionato
		apprendimento per rinforzo
		apprendimento non supervisionato

22. La fallacia nella negazione dell'antecedente è

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

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

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

24. *Quale delle seguenti formule è una clausola?

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

25. *La ricerca Depth First Limited:

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

26. La logica proposizionale è decidibile?

		no
		dipende dai modelli
		si

27. Quali delle seguenti formule è una clausola?

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

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

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

29. Da cosa è formata una clausola goal?

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

30. Un'interpretazione soddisfa una FBF se

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

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

		non è colmpleto
		è completo
		rileva tutte le inconsistenze

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

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

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

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

34. *La ricerca a costo uniforme è completa?

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

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

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

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

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

37. La Risuluzione SLD limitata alle clausole di Horn è

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

38. La ricerca depth-first

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

39. 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 not G) è una FBF
		((F1 and F2 and ... Fn) and G) è una contraddizione

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

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

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

		Juve
		Milan
		Padova
		Inter

42. L'intersezione di Fuzzy Set viene realizzata tramite

		differenza
		minimo
		massimo

43. *La ricerca Depth First è una ricerca:

		FIFO
		LIFO

44. Il cosiddetto "occur-check":

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

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

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

46. La ricerca depth-first è completa?

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

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

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

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

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

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

		Falsificante
		Confermante
		Induttiva

50. L'unione di Fuzzy Set viene realizzata tramite

		minimo
		differenza
		massimo

51. Quali delle seguenti formule è una clausola?

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

52. L'euristica MRV nei CSP sceglie la variabile

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

53. 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

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

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

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

		necessita di un terzo valore di verità
		vale
		non vale

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

		polinomiale
		NP-completo
		di complessità lineare

57. Un ambiente è strategico se:

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

58. Un ambiente è stocastico se:

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

59. *quali dei seguenti è un vincolo?

		<
		=
		#<

60. Nell'interpretazione procedurale:

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

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

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

62. In logica proposizionale una formula è una contraddizione se

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

63. Quale delle seguenti affermazioni e' vera?

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

64. *Gli algoritmi di ricerca locale:

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

65. *Quale di queste è una ricerca informata?

		Breadth First
		Depth First
		A*
		Iterative deepening

66. In logica, quali sono i connettivi essenziali?

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

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

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

68. *La iterative Deepening è ottima?

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

69. *P(A or B)=

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

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

		K-Fold Cross
		BackPropagation
		Early Stopping
		Regression

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

		Regressione e Classificazione
		Classificazione
		Regressione

72. La ricerca breadth-first è completa

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

73. Quali delle seguenti affermazioni è falsa?

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

74. *Quale operatore esprime un vincolo?

		is
		\=
		#<
		=

75. La ricerca breadth-first

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

76. Quali delle seguenti formule è una clausola?

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

77. *Quale espressione restituisce TRUE in Prolog:

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

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

		breadth-first
		nessuna
		depth-first

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

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

80. L'operatore is:

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

81. Il Modus Tollens è

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

82. In logica proposizionale una formula è valida se

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

83. Quali delle seguenti equivalenze è falsa?

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

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

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

85. 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

86. *La ricerca Depth First è ottima?

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

87. La ricerca A* è ottima:

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

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

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

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

		X1=12 Yes
		X1=12;
		No
		Yes

90. *Rete Bayesiana:

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

91. Un teorema è

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

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

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

93. *Un CSP è consistente se

		esiste almeno un assegnamento parziale delle variabili tale da soddisfare tutti i vincoli
		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

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

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

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

		indecidibile
		decidibile
		semi-decidibile

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

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

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

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

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

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

99. Cosa è lo spazio degli stati?

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

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

		Iterative Deepening
		Breadth First
		Depth First
		Best First

101. La regola di Bayes è definita da

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

102. Una FBF è soddisfacibile

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

103. Qual è la corretta definizione di negazione?

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

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

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

105. *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 una persona
		sarà in grado di capire se le risposte provengono da PC
		non sarà in grado di capire se le risposte provengono da una persona o no

106. *La ricerca Depth First è completa?

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

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

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

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

		Fallisce in ogni caso
		Funziona come una Breadth First
		Funziona esattamente come una ricerca A*
		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

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

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

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

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

111. In logica le tabelle di verità permettono di

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

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

		dipende dalla definizione di evento atomico
		è falsa
		è vera

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

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

114. La fallacia nell'affermazione del conseguente è

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

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

		vale
		ha bisogno di un terzo valore
		non vale

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

		FIFO
		LIFO
		Struttura dati mista

117. *p->q, q è:

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

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

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

119. *Una ricerca Greedy :

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

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

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

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

		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à
		Fallisce in ogni caso

122. Cosa si intende per reversibilità?

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

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

		nulla si può dire
		no
		si

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

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

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

		Negazione
		Affermazione
		Deduzione
		Contraddizione

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

		non ha senso
		no
		si

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

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

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

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

129. *Tabu search:

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

130. La ricorsione in Prolog

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

131. *La ricerca Breadth First è OTTIMA?

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

132. Differenza tra ricerca informata e non-informata

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

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

		non vale
		vale
		ha bisogno di un terzo valore

134. La definizione di intelligenza secondo Turing è basata su

		creatività
		capacità di apprendimento
		capacità di elaborazione
		imitazione

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

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

136. *Nel calcolo situazionale la pianificazione è:

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

137. Un agente è un'entità che:

		comunica e agisce
		agisce razionalmente
		pensa razionalmente
		percepisce e agisce

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

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

139. *Quale delle seguenti affermazioni è falsa?

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

140. Il Modus Ponens è

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

141. Quale delle seguenti espressioni non è una costante?

		12.34;
		Abc;
		abc;
		12;

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

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

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

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

144. *La ricerca A* è una ricerca:

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

145. Per provare il teorema G si deve dimostrare che

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

146. Nella teoria assiomatica si usano strumenti di

		manipolazione sintattica
		manipolazione sematica e sintattica
		manipolazione semantica

147. Cosa definisce una strategia di ricerca?

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

148. *La ricerca a costo uniforme è ottima?

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

149. In logica proposizionale un modello di FBF è

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

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

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

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

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

152. Cosa contiene l'albero di ricerca?

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

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

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

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

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

155. *L’ottimizzazione tail:

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

156. *Il predicato cut:

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

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

		Bianco
		Rosso
		Verde

158. Nella logica di Allen è possibile definire

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

159. Due Fuzzy set A e B si dicono equivalenti

		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 è maggiore a quella di x a B
		sse la funzione di apparteneza di X ad A è minore o uguale a quella di x a B

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

		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 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 esiste un Z appartenente a Dk tale che il vincolo tra i, j, k P(i,j, k) sia soddisfatto

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

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

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

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

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

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

164. La potenza del Prolog

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

165. Quale di queste non è una lista:

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

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

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

167. La ricerca A* è ottima

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

168. *Il predicato cut:

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