Algoritmo Rete: differenze tra le versioni

Versione delle 07:17, 22 set 2023

Versione attuale delle 05:13, 6 ott 2023

(4 versioni intermedie di un altro utente non mostrate)

Riga 2:

L{{'}}'''algoritmo Rete''' è un efficiente algoritmo di ''pattern matching'' che serve a 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ì }}

Riga 11:

* {{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]]