Dsy Network www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > [Logica per le applicazioni] descrittive b2
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.21 al dì)
Location: BG
Corso: Info Mag
Anno:
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
[Logica per le applicazioni] descrittive b2

per chi ha fatto la traccia b2, quella delle logiche descrittive, che esercizio avete portato?
no, perchè qualunque cosa io faccia che superi in complessità la tautologia mi dà completion found....
ad es.

code:
begin_problem(dispensa). list_of_descriptions. name({**}). author({**}). status(unknown). description({**}). end_of_list. list_of_symbols. functions[(gina,0)]. predicates[(donna,0), (Tdonna,1), (femmina,0), (Tfemmina,1), (persona,0), (Tpersona,1)]. end_of_list. list_of_special_formulae(axioms,DL). concept_formula(equiv(donna,and(femmina,persona))) . formula(Tpersona(gina)). formula(Tfemmina(gina)). end_of_list. list_of_special_formulae(conjectures,DL). formula(Tdonna(gina)). end_of_list. end_problem.


mi dà completion found.....

:?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

15-02-2008 12:31
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 01:50.    Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.053 seconds (55.90% PHP - 44.10% MySQL) con 25 query.