Versione umana???
Ma parli dell'esercizio prolog-owl o dell'esercizio in prolog sulla sottolista???

Versione umana???
Ma parli dell'esercizio prolog-owl o dell'esercizio in prolog sulla sottolista???

l'esercizio della sottolista come si faceva?
perche' farlo in modo che siano esattamente in quella precisa sequenza non mi viene proprio concepirlo.

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

ma l'esercizio prolog come si faceva?
io ho fatto la versione umana quella che accettava tutti e 2 gli esempi,
mi sono accorto troppo tardi che richiedeva un altra cosa.

Fatto così e funziona!!

[code type="markup"]
sublist(A, B) :-
trova(A, B).

trova([H|T1], [H|T2]) :-
conf(T1, T2).

trova(L1, [_|T2]) :-
trova(L1, T2).

conf([], _).

conf([H|T1], [H|T2]) :-
conf(T1, T2).
[/code]

Versione umana???
Ma parli dell'esercizio prolog-owl o dell'esercizio in prolog sulla sottolista???

l'esercizio della sottolista come si faceva?
perche' farlo in modo che siano esattamente in quella precisa sequenza non mi viene proprio concepirlo.

anche io non ho tovato inconsistenze e l'unica cosa che sono riuscito ad inferire che sansa era una donna.
per quanto riguarda sublist anche io ho fatto una versione che non funziona sempre che è la seguente :

sublist([],[]).
sublist([X|R1],[Y|R2]):-sublist([X|R1],R2).
sublist([X|R1],[X|R2]):-sublist(R1,R2).

scusa, basta chiamare

[code type="markup"]
trova( [1,2] , [1,3,2,3,1,2,5] ).
[/code]

perché sublist credo già esista in prolog!

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: )

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

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?

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!

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ù

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.

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

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

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.

quindi lennister e sottoclasse di persona?

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!

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.

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?! :?

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, 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]