Intelligenza artificiale basata su logica o basata su regole

Ho sempre pensato che la regola fosse sinonimo di intelligenza artificiale basata sulla logica. La logica ha assiomi e regole di inferenza, mentre l'IA basata su regole ha una base di conoscenza (essenzialmente assiomi) e regole if-then per creare nuove conoscenze (essenzialmente regole di inferenza).

Ma nel loro famoso articolo "Cos'è una rappresentazione della conoscenza?", Davis, Shrobe e Szolovits sembrano implicare che non lo sono:

Logica, regole, frame, ecc., Ognuno incarnano un punto di vista sui tipi di cose che sono importanti nel mondo. La logica, ad esempio, implica un impegno (abbastanza minimo) a guardare il mondo in termini di singole entità e relazioni tra di loro. I sistemi basati su regole vedono il mondo in termini di triple di attributo-oggetto-valore e le regole di inferenza plausibile che li collegano, mentre i frame ci fanno pensare in termini di oggetti prototipici.

Sta solo dicendo che i propositi basati su regole sono proposizionali, mentre quelli basati sulla logica sono generalmente intesi come logiche predicate? O c'è di più?

Voglio prefigurarlo dicendo che la distinzione non è chiara. Tuttavia, ti dirò quello che so a riguardo e cercherò di fare ulteriori chiarimenti:

La struttura degli agenti basati su regole è: Prendi input dall'ambiente, passa attraverso regole basate sulle condizioni ed esegui l'azione tramite attuatori o qualsiasi cosa che crei qualche azione nell'ambiente.

vs.

La struttura degli agenti logici (basata sullo stato interno) è: Prendi l'input dall'ambiente, dai controlli della conoscenza interna di ciò che è lo stato e di come il modello può evolversi; poi, deduci cosa farà la mia azione; infine, passa attraverso regole basate sulle condizioni e agisci nell'ambiente

_{FONTE: Intelligenza artificiale: un approccio moderno di Stuart Russell e Peter Norvig}

Poiché questa è la mia prima risposta qui, se ho infranto le regole, per favore fatemi sapere.

I sistemi basati su regole coprono una vasta gamma di sistemi. Alcuni fanno uso di regole booleane if / then / else, altri possono usare la ponderazione o persino l'inferenza probabilistica. Alcuni operano su frame, altri su oggetti java, altri su proposizioni che possono essere formulate in logica predicata. Un esempio di un sistema di regole popolare è Drools .

Alcuni sistemi di regole possono essere espressi come un sottoinsieme della logica del predicato. Ad esempio, SWRL è un linguaggio di regole standard W3C che estende la logica di descrizione OWL (DL) con le regole del clacson. Sia OWL-DL che SWRL sono esprimibili nella logica predicata del primo ordine. Tuttavia, non tutte le lingue delle regole sono direttamente esprimibili in questo modo, poiché le lingue delle regole comprendono una tale gamma di semantiche. Anche in casi come Prolog ci sono sottigliezze. Il prologo puro è un sottoinsieme di FOL, ma le attuali implementazioni Prolog esistenti non sono sottoinsiemi FOL (ad esempio, l'ordine di precedenza è importante).

Il gruppo di lavoro W3C Rules Interchange Format (RIF) ha svolto molto lavoro nel tentativo di unificare queste diverse prospettive. Non sono sicuro del posto migliore per iniziare a vedere un riepilogo, ma puoi vedere del materiale utile sulla pagina del noleggio del gruppo .