 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
sussunzione!! aiuto
Clicca QUI per vedere il messaggio nel forum |
| jonny001 |
Ho un problema, spero che qualcuno riesca a darmi una soluzione:
durante il loop della given clause spass fa la seguente operazione:
BSubsumption: 33[0:Res:5.2,29.1] C(boxc, apple) _> C(boxa,orange) C(boxa,banana)*. by 34
considerando che apple, banana, orange e boxa,boxb,boxc sono delle funzioni di arietà zero, e che:
5: _> C(U,orange) C(U,banana) C(U,apple)*
29: C(boxc,U) C(boxa,U)*_>
34: C(boxc,apple)*_>
nella prima parte dovrebbe fare l'unificazione ottenendo
U=boxa ed apple=U
invece nell'atomo negativo mi mette U=apple mentre negli atomi positivi mette U=boxa
inoltre mi dice che la 34 sussume la 33
qualcuno sa dirmi come ha fatto??? grazie |
|
|
|
|
