,[5,4,6,1,2,4,5,1])

yes.

sublist ([1,2,4],[5,4,6,2,1,4,5,1])

no.

uhm no! più che sottoinsieme io parlerei di sottolista, perchè contava anche l'ordine degli elementi.

L'esercizio in prolog richiedeva di trovare una lista che fosse sottoinsieme di un'altra lista.

ES:

sublist ([1,2,4],[5,4,6,1,2,4,5,1])

yes.

sublist ([1,2,4],[5,4,6,2,1,4,5,1])

no.

Qualcuno sa darmi qualche informazione sull'esercizio prolog? Vorrei sapere cosa c'era,dato che all'esame non sono venuto.

Grazie per le risposte.

Il problema e' che le spiegazioni sull'ultimo esercizio nn me l'ha date perche' era troppo tardi.....ma l'ultimo esercizio mica lo potevo vede' al primo minuto di esame?!!!!!!!!!!!!bo........cmq vabbe' cosi

Scusate ma l'ultimo esercizio che chiedeva il primo punto?.....di scrivere in logica la relazione madre di?......io nn ho capito voi che avete fatto?
ma?! :?

pure io credo non sono riuscito a scrivere bene quelle due cose in description logics :?

Scusate, aggiuno però che secondo le inferenze Sansa, oltre che Donna (dal dominio di 'marito'), è anche Stark (emblema 'Lupo') e Lannister (ha un marito Lannister), e nessuno dice che Stark e Lannister sono disgiunte.

Io ho scritto questo, più o meno... E' forse l'unica cosa giusta...
Quindi anch'io alla fine non mi trovavo inconsistenze... L'unico fatto "strano" era che Sansa era sia una Stark che una Lannister...
Ma, appunto, non essendoci cose del tipo differentFrom o che ne so io...
Non mi sembrava entrasse in contraddizione con qualcos'altro...


[size=2]Peccato che dovrei aver sbagliato tutto il resto...[/size]

ragazzi stavo cercando di ricordare le domande di teoria qualcuno mi aiuta.
io ricordo:
1) un agente è inteso :come uno strumento per l’analisi dei sistemi.
2) nelle reti semantiche si effettua inferenza sotto forma di = ereditarietà
3) la logica l’inferenza: permette di derivare inferenze vere
4) la ricerca di una soluzione indica insieme di operatori che permettono di passare da un nodo iniziale a un nodo obiettivo)
5) nella logica preposizionale: la sintassi è composizionale
6) un nodo in un albero di ricerca rappresenta
• stato nello spazio degli stati a cui corrisponde il nodo
• nodo genitore di quello corrente
• operatore applicato per generare il nodo
• numero di nodi dal cammino alla radice
• costo del cammino dallo stato iniziale.

date una controllata e implementate la nostra kb :wink:

Scusate ma l'ultimo esercizio che chiedeva il primo punto?.....di scrivere in logica la relazione madre di?......io nn ho capito voi che avete fatto?
ma?! :?

nessuno dice che Stark e Lannister sono disgiunte.

beh..il fatto che abbiano una diversa "hasValue" su emblema,
dice proprio questo.
Se Stark ha Lupo e Lannister ha Leone, devono per forza essere disgiunte!

No, le classi Stark e Lannister sono definite come unione di altre classi (OR) di cui quelle che hanno un certo emblema è soltanto UNA.

nessuno dice che Stark e Lannister sono disgiunte.

beh..il fatto che abbiano una diversa "hasValue" su emblema,
dice proprio questo.
Se Stark ha Lupo e Lannister ha Leone, devono per forza essere disgiunte!

quindi lennister e sottoclasse di persona?

Scusate, aggiuno però che secondo le ie inferenze Sansa, oltre che donna (dal dominio di 'marito'), è anche Stark (emblema 'Lupo') e Lannister (ha un marito Lannister), e nessuno dice che Stark e Lannister sono disgiunte.

Tyrion è uomo e va bene.
Ma ha stemma 'Lupo'.
Dalla proprietà della classe Lannister, si nota che qualsiasi cosa abbia valore 'Lupo' sulla proprietà 'emblema' è inferibile appartenere alla classe 'Stark'. C'era scritto equivalent class e non subclass.
Almeno penso.
Dunque...
Tyrion è uomo e Lannister.
Sansa appartiene alla classe Stark in quanto ha emblema 'Leone' ed è Lannister perchè ha un marito Lannister.
Ora qualcuno mi dica dove ho sbagliato...

Per quello che mi ricordo di ieri.. mi trovo d'accordo con ragno.
E' però assolutamente falsoc he un nome non possa essere istanza di due classi come leggevo sù. Semplicemente implica che quelle classi non sono disgiunte, il che può essereperfettamente acettabile (vedi esempio Hovercraft su slide RDF/OWL).

Tyrion è uomo e va bene.
Ma ha stemma 'Lupo'.
Dalla proprietà della classe Lannister, si nota che qualsiasi cosa abbia valore 'Lupo' sulla proprietà 'emblema' è inferibile appartenere alla classe 'Stark'. C'era scritto equivalent class e non subclass.
Almeno penso.
Dunque...
Tyrion è uomo e Lannister.
Sansa appartiene alla classe Stark in quanto ha emblema 'Leone' ed è Lannister perchè ha un marito Lannister.
Ora qualcuno mi dica dove ho sbagliato...

allora scusami sansa è sicuramente una donna ma nessuno ti fa capire che sia anche stark ,perchè il marito che ha è un uomo e non è inferibile che tyrion appartenga a lennister.

si ma nessuna istanza faceva riferimento alle due classi con le ristrinzioni,e marito è una proprietà dichiarata al di fuori di lennister e stack, quindi quali inconsistenza hai trovato?

Nella proprietà marito scritta fuori, vengono specificati dominio e range.
Mentre quella all'interno della classe, specifica una restrizione,
ma non significa che dominio e range descritti fuori non valgano più

Ma scusate un attimo...
Sansa è dichiarata Thing.
Poi ha 'Leone' come simbolo (dunque è Stark) e ha come marito uno che è Lennister, dunque è Lennister.
E non è possibile che appartenga a entrambe le classi?

No.
Due nomi possono essere la stessa istanza di una classe,
ma un nome non può essere istanza di due classi differenti!

Io ho ragionato così:

Sansa è Stark perché ha stemma Leone, e donna perché ha un marito.
Tyrion è Lannister perché ha lo stemma Lupo, ed è uomo perché è range di marito.

Siccome marito è Functional, significa che Sansa può avere solo 1 marito,
ma la proprietà "someValuesFrom" implica che almeno 1 marito deve essere Stark, ma Tyrion è Lannister...quindi c'è inconsistenza!

Inoltre sbaglio o Tyron era un Lannister?

Ma scusate un attimo...
Sansa è dichiarata Thing.
Poi ha 'Leone' come simbolo (dunque è Stark) e ha come marito uno che è Lennister, dunque è Lennister.
E non è possibile che appartenga a entrambe le classi?

Io ho messo così ma mi sa che ho scritto una baggianata...

no non ce ne erano di inconsistenze. giuro.

Ma quando specifico "someValuesFrom" nomeclasse,
implica che almeno un valore per quella proprietà
deve essere nomclasse, giusto?

Nell'esercizio era dichiarata la proprietà marito,
ma non su nomeclasse specificato nel "someValuesFrom"
(scusa la confusione).

si ma nessuna istanza faceva riferimento alle due classi con le ristrinzioni,e marito è una proprietà dichiarata al di fuori di lennister e stack, quindi quali inconsistenza hai trovato?non si poteva inferire l'appartenenza di nessuna istanza alle classi stack e lennister, ma solo sansa che era una donna.almeno io ho fatto cosi(sperando che sia giusto :lol: )