Logikbasierte vs. regelbasierte KI

Ich dachte immer, regelbasiert sei gleichbedeutend mit logikbasierter KI. Logik hat Axiome und Inferenzregeln, während regelbasiertes ai eine Wissensbasis (im Wesentlichen Axiome) und Wenn-Dann-Regeln zur Schaffung neuen Wissens (im Wesentlichen Inferenzregeln) hat.

Aber in ihrem berühmten Artikel "Was ist eine Wissensrepräsentation?" Scheinen Davis, Shrobe und Szolovits zu implizieren, dass sie nicht:

Logik, Regeln, Rahmen usw. verkörpern jeweils einen Standpunkt zu den Dingen, die in der Welt wichtig sind. Logik beinhaltet zum Beispiel eine (ziemlich minimale) Verpflichtung, die Welt in Bezug auf einzelne Entitäten und Beziehungen zwischen ihnen zu betrachten. Regelbasierte Systeme betrachten die Welt in Form von Attribut-Objekt-Wert-Tripeln und den Regeln plausibler Folgerungen, die sie verbinden, während Frames uns in Bezug auf prototypische Objekte denken lassen.

Bedeutet dies nur, dass regelbasiert aussagekräftig sind, während logikbasiert normalerweise Prädikatenlogik bedeuten soll? Oder steckt mehr dahinter?

Ich möchte dies vorwegnehmen, indem ich sage, dass die Unterscheidung nicht klar ist. Trotzdem werde ich Ihnen sagen, was ich darüber weiß, und ich werde versuchen, die weitere Klarstellung vorzunehmen:

Die Struktur regelbasierter Agenten lautet: Nehmen Sie Eingaben aus der Umgebung entgegen, durchlaufen Sie zustandsbasierte Regeln und führen Sie die Aktion über Aktuatoren oder alles aus, was eine Aktion in der Umgebung erzeugt.

vs.

Die Struktur der logischen Agenten (basierend auf dem internen Status) lautet: Nehmen Sie die Eingaben aus der Umgebung, aus den internen Wissensprüfungen, wie der Status ist und wie sich das Modell entwickeln kann. als nächstes schließen Sie, was meine Handlung tun wird; Schließlich durchlaufen Sie bedingungsbasierte Regeln und ergreifen Maßnahmen in der Umgebung

_{QUELLE: Künstliche Intelligenz: Ein moderner Ansatz von Stuart Russell und Peter Norvig}

Da dies meine erste Antwort hier ist, lassen Sie es mich bitte wissen, wenn ich gegen Regeln verstoßen habe.

Regelbasierte Systeme decken eine breite Palette von Systemen ab. Einige verwenden boolesche if / then / else-Regeln, andere verwenden möglicherweise Gewichtung oder sogar probabilistische Inferenz. Einige arbeiten mit Frames, andere mit Java-Objekten, andere mit Aussagen, die in Prädikatenlogik formuliert werden können. Ein Beispiel für ein beliebtes Regelsystem ist Drools .

Einige Regelsysteme können als Teilmenge der Prädikatenlogik ausgedrückt werden. Beispielsweise ist SWRL eine W3C-Standardregelsprache, die die OWL Description Logic (DL) um Hornregeln erweitert. Sowohl OWL-DL als auch SWRL können in Prädikatenlogik erster Ordnung ausgedrückt werden. Allerdings sind nicht alle Regelsprachen auf diese Weise direkt ausdrückbar, da Regelsprachen einen solchen Bereich von Semantik umfassen. Auch in Fällen wie Prolog gibt es Feinheiten. Reines Prolog ist eine Teilmenge von FOL, aber tatsächlich vorhandene Prolog-Implementierungen sind keine FOL-Teilmengen (z. B. Rangfolge).

Die Arbeitsgruppe W3C Rules Interchange Format (RIF) hat viel Arbeit geleistet, um diese unterschiedlichen Perspektiven zu vereinheitlichen. Ich bin mir nicht sicher, wo ich am besten anfangen soll, um eine Zusammenfassung zu sehen, aber Sie können nützliches Material auf der Gruppencharter-Seite sehen .