Algoritmo Rete: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m Horcrux ha spostato la pagina Algoritmo rete a Algoritmo Rete: è indicato quasi sempre con la maiuscola
FrescoBot (discussione | contributi)
m Bot: niente spazi dopo l'apostrofo
 
(8 versioni intermedie di 3 utenti non mostrate)
Riga 1:
{{F|programmazione|febbraio 2013}}
L{{'}}'''algoritmo Rete''' è un efficiente algoritmo di [[''pattern matching]]'' perche l'implementazioneserve dia implementare i sistemi di produzione a regole. È stato creato da [[Charles Forgy]] della [[Carnegie Mellon University]].
 
La[[Charles primaForgy]]pubblicò pubblicazione dellL'algoritmo risaleper alla prima volta nel [[1974]] e dopodopodiché fu' rielaborato nel [[1979]] per la sua tesi di dottorato.
L'algoritmo Rete è alla base di alcuni tra i più popolari [[sistema esperto|sistemi esperti]] come ad esempio:
*{{cita web | 1 = http://www.fairisaac.com/Fairisaac/Solutions/Enterprise+Decision+Management/Business+rules/Blaze+Advisor/Blaze+Advisor.htm | 2 = Blaze Advisor | accesso = 26 febbraio 2007 | urlarchivio = https://web.archive.org/web/20070216155642/http://www.fairisaac.com/Fairisaac/Solutions/Enterprise%2BDecision%2BManagement/Business%2Brules/Blaze%2BAdvisor/Blaze%2BAdvisor.htm | dataarchivio = 16 febbraio 2007 | urlmorto = sì }}
* {{cita web|http://www.ilog.com/products/jrules/|JRules}}
* [[OPS5]]
* [[CLIPS programming language|CLIPS]]
* [[Jess (informatica)|Jess]]
* {{cita web|http://lisa.sourceforge.net/|LISA}}
 
Un'implementazione 'naïve' di un sistema esperto dovrebbedeve verificare ogni regola rispetto ai fatti conosciuti presentipresente nella [[base di conoscenza]] attivandoattivare launa regola necessaria eper poi passandopassare a controllare le altre regole applicabili.
Questo approccio 'naïve' valido anche per piccoli sistemi con un numero prefissatolimitato di regole e fatti, si rivela molto inefficiente.
 
L'algoritmo Rete fornisce una un'efficiente base per l'implementazione di un sistema esperto.
Un sistema esperto Rete-based costruisce un network di nodi, dove ogni nodo (ad eccezione del nodo radice) corrisponde ad un pattern presente nella parte sinistra di una regola. Il cammino che collega il nodo radice al nodo foglia definisce una completa parte sinistra di una regola. Ogni nodo ha una memoria di fatti che soddisfano quel pattern. Questa struttura è genericamente riconducibile ad un [[Trie]]