Wie funktioniert die regelbasierte Überprüfung mit Petri Nets und wofür ist das gut?

Question

Ein Freund wies mich gerade auf eine neue Entwicklung in Informatik namens "regelbasierte Überprüfung mit Petri Nets" aus. Er ist kein Computer, sondern ein Künstler, also frage ich mich, ob das wirklich etwas Cooles ist, das ich mir ansehen muss? Über das Telefon erzählte er mir vom Lesen und Übersetzen einer Zeitung auf Russisch, dass es in dieser schicken neuen Technologie darum geht, automatisch Codearchitekturen regelbasierter Systeme zu erhalten. Eine Art künstliche Intelligenz hilft uns, perfekt zu codieren? Ok, ich weiß es wirklich nicht, habe keine Informatik studiert.

Ich bin neugierig: Worum geht es genau? Und wie funktioniert es? Kann ich es für mein Framework verwenden?

Ich denke, ein "regelbasiertes System" ist fast alles: Alle unsere Code haben Regeln. Hoffe auf einige nützliche Antworten.

Answer 1

Petri Nets sind nur eine ausgefallene Möglichkeit, einen Zustandsraum und die Übergänge zwischen den Staaten auszudrücken. Sie sind jedoch abgeschlossen, so dass alles, was für Turing-Maschinen gilt, auch für Petri-Netze gilt.

Sie sind in keiner Weise eine künstliche Intelligenz. In meiner Gegenteil ist die nützliche Anwendung für Petri Nets als abstraktes Modellierungswerkzeug für Simulationszwecke.

Bearbeiten: Einige Beispiele hierfür sind möglicherweise die Simulation von Paketen in einem Computernetzwerk oder wie Automaten sich verhalten. Wenn Sie noch interessiert sind, finden Sie hier einen Link zur Computer -Simulationsklasse, in dem Petrri Nets mit einem zufälligen Verhalten unterrichtet werden: http://www.sim-md.de/its/lectures/09-petrinets.pdf

Bearbeiten 2: Ignorieren Sie den oberen Link, er funktioniert nicht mehr.