[zxspectrum] Re: [OT] Stable models
- From: Paolo Ferraris <pieffe8@xxxxxxxxx>
- To: zxspectrum@xxxxxxxxxxxxx
- Date: Sun, 09 Dec 2007 16:00:21 -0800
Zurillion wrote:
Io ho ancora gli incubi quando penso al cut del Prolog, al principio di
risoluzione di Robinson e la skolemizzazione ... brrr ;-)
La Stable Model semantics non ha nulla di tutto questo. Anzi, la
definizione di modello stabile e` in realta` molto semplice.
Prima o poi mi leggero qualcuno dei tuoi articoli...
Purtroppo non sono molto accessibili a chi non conosce gia` un po' di
queste cose. Il metodo migliore per saperne di piu` e` leggere la pagina
di Wikipedia su "stable model". E` stata scritta dal mio relatore di
dottorato, uno dei due inventori dei stable models nonche` il miglior
scrittore di articoli scientifici che abbia mai conosciuto. (E devo
anche ringraziarlo per aver citato la mia ricerca.) L'articolo su answer
set programming purtroppo e` ancora uno stub.
Una applicazione reale di questo linguaggio e` nella gestione dei
guasti dello space shuttle, un problema molto piu` complesso del
sudoku :-)
Spero che non sia stato usato anche per l'Arianne 5 ;-)
http://www.ima.umn.edu/~arnold/disasters/ariane.html
No, all'epoca answer set programming non era stato ancora inventato. :-)
-p
Other related posts:
