 |
c3ru |
!ElaborA!

Registered: Oct 2003
Posts: 1678 (0.21 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline
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
|