Rispondere alle domande e/o esercizi indicati nei punti A, B, C.


A -	Data la seguente rete semantica:  (manca figura)


	Tradurne il contenuto in logica dei predicati del I ordine.


B -	Descrivere brevemente un metodo di rappresentazione 
	della conoscenza, indicandone punti di forza e di debolezza.

C -	Risolvere almeno uno dei seguenti esercizi.

	C1	Determinare nella soluzione dei seguenti problemi, se e' 
		preferibile una ricerca goal o data driven. 
		Giustificare la risposta.
		  -	Diagnosi meccanica di guasti automobilistici.
		  -	Un dimostratore di teoremi per la geometria piana.
		  -	Un sistema esperto per la classificazione delle 
		  	piante per specie, genere, etc.
		  -	Un programma per esaminare le letture dei sonar 
		  	ed interpretarle; per esempio distinguendo 
			un sottomarino grande da uno piccolo 
			da una balena e da un branco di pesci. 


	C2	Rappresentare mediante una rete semantica che:

		Fido e' un cane.
		Pippo e' un uomo.
		Pippo ha due gambe.
		Cani e uomini sono mammiferi.
		I mammiferi hanno due occhi.
		I mammiferi sono animali.
		Gli animali hanno 4 gambe.

	C3	Per il seguente gruppo di frasi indicate il formalismo 
		che facilita maggiormente l'uso della rappresentazione 
		della conoscenza data negli enunciati per rispondere 
		alla domanda posta. Spiegate brevemente la scelta.

			A Pierino piace la frutta.
			I mandarini sono frutta.
			La gente mangia ciņ che gli piace.
			Pierino mangia i mandarini?