Algorithmisch Rekursive Sequenzanalyse

ARS & Explainable AI – Theoretische Grundlagen und formale Verfahren
ARS & Explainable AI – Foundations & Formal Methods
Erklärbarkeit ist kein Luxus – weder in der KI noch in der qualitativen Forschung.“
Explainability is not a luxury – neither in AI nor in qualitative research.“

📖 Interaktive Forschungsplattform

Entdecken Sie die ARS-XAI-Methodologie – eine geführte Präsentation durch Metamethodologie, Neuro-Symbolik, Benchmarks und CGTI.

Discover the ARS-XAI methodology – a guided presentation through metamethodology, neuro-symbolics, benchmarks, and CGTI.

Inklusive Überblick über die fünf Kernprinzipien erklärender Modelle.

Including an overview of the five core principles of explanatory models.

🔬KernproblemOpake KI vs. qualitative Gütekriterien
⚖️KernlösungARS – Hermeneutik + formale Modellierung
📚VersionenARS 2.0 → 3.0 → 4.0 → 5.0
🌍SprachenDeutsch · Englisch
💸Open AccessKostenlos · PDF · TeX · MD
⚔️XAI-FrameworkVerständlichkeit · Genauigkeit · Wissensgrenzen

Willkommen – zu einer Brücke zwischen Hermeneutik und formaler Modellierung

Welcome – to a Bridge between Hermeneutics and Formal Modeling

Die Algorithmisch Rekursive Sequenzanalyse (ARS) ist ein methodologischer Rahmen, der qualitative Hermeneutik mit formaler Modellierung verbindet – nicht um sie zu ersetzen, sondern um sie erklärbar, entscheidbar und weiterentwickelbar zu machen.

The Algorithmic Recursive Sequence Analysis (ARS) is a methodological framework that connects qualitative hermeneutics with formal modeling – not to replace them, but to make them explainable, decidable, and further developable.

📊 Methodologische Transparenz
Die ursprüngliche ARS-Studie (1994) wies eine Intercoder-Reliabilität von κ ≈ 0,55 auf – ein Wert, der die Grenzen rein qualitativer Kodierung zeigt. Genau hier setzt die ARS an: Formale Verfahren machen diese Grenzen sichtbar und bearbeitbar.
📊 Methodological Transparency
The original ARS study (1994) showed an intercoder reliability of κ ≈ 0.55 – a value that reveals the limits of purely qualitative coding. This is exactly where ARS intervenes: formal methods make these limits visible and workable.

🧭 Welches Dokument für wen?

🧭 Which Document for Whom?

📖

Einsteiger:innen

Beginners

Hauptdokument „Zwischen Interpretation und Berechnung“

Main document „Between Interpretation and Computation“

→ Zum Dokument
🏛️

Methodologisch Interessierte

Methodologically Interested

„ARS als Metamethodologie“

„ARS as a Meta-Methodology“

→ Zum Dokument
🧠

KI-Forscher:innen

AI Researchers

„Neuro-Symbolische KI und ARS“

„Neuro-Symbolic AI and ARS“

→ Zum Dokument
⚙️

Programmierer:innen

Programmers

„ARS 5.0 – Technical Implementations“

„ARS 5.0 – Technical Implementations“

→ Zum Dokument
🕰️

Historisch Interessierte

Historically Interested

„Proto-Neuro-Symbolische KI“

„Proto-Neuro-Symbolic AI“

→ Zum Dokument
Dokumente: 0

📘 Hauptdokument

📘 Main Document

📖
Zwischen Interpretation und Berechnung
Between Interpretation and Computation
ARS als Brücke zwischen qualitativer Hermeneutik und formaler Modellierung
ARS as a Bridge between Qualitative Hermeneutics and Formal Modeling
„Erklärbarkeit ist kein Luxus, sondern eine Notwendigkeit – in der Technik wie in der Wissenschaft.“
„Explainability is not a luxury but a necessity – in technology as well as in science.“

📗 ARS 3.0 – Hierarchische Grammatikinduktion (PCFG)

📗 ARS 3.0 – Hierarchical Grammar Induction (PCFG)

🌳
PCFG – Probabilistische kontextfreie Grammatik
PCFG – Probabilistic Context-Free Grammar
Explikation latenter Sequenzstrukturen in Verkaufsgesprächen
Explication of Latent Sequence Structures in Sales Conversations
„Die induzierte Grammatik ist eine Explikation, keine Entdeckung.“
„The induced grammar is an explication, not a discovery.“
⚙️
Formale Entscheidbarkeit
Formal Decidability
Struktur als Code – deterministischer endlicher Automat
Structure as Code – Deterministic Finite Automaton
„Die Wohlgeformtheit einer Sequenz ist formal entscheidbar.“
„The well‑formedness of a sequence is formally decidable.“

🔬 ARS 4.0 – Formale Erweiterungen

🔬 ARS 4.0 – Formal Extensions

🕸️
Petri-Netze
Petri Nets
Modellierung nebenläufiger Interaktionsstrukturen
Modeling Concurrent Interaction Structures
„Nebenläufigkeit und Ressourcen werden explizit modelliert.“
„Concurrency and resources are modeled explicitly.“
📊
Bayessche Verfahren
Bayesian Methods
HMM und dynamische Bayessche Netze
HMM and Dynamic Bayesian Networks
„Unsicherheit und latente Variablen werden quantifiziert.“
„Uncertainty and latent variables are quantified.“
💻
Computerlinguistische Verfahren
Computational Linguistics
Didaktische Exploration von Transformer, CRF, Attention
Didactic Exploration of Transformers, CRF, Attention
„Methodologische Kontrolle bleibt erhalten – die Verfahren dienen der Exploration.“
„Methodological control is preserved – the methods serve exploration.“
🔗
Hybride Modellierung
Hybrid Modeling
Komplementäre Integration von CL-Verfahren in ARS 3.0
Complementary Integration of CL Methods into ARS 3.0
„Interpretative Kategorien bleiben die Grundlage – neue Verfahren eröffnen zusätzliche Perspektiven.“
„Interpretive categories remain the foundation – new methods open up additional perspectives.“

🧠 ARS 5.0 – Neuro-Symbolik & Deep ProbLog

🧠 ARS 5.0 – Neuro-Symbolics & Deep ProbLog

🧠
Neuro-Symbolische KI und ARS
Neuro-Symbolic AI and ARS
Eine methodologische Synthese von maschinellem Lernen und erklärbarer Sequenzanalyse
A Methodological Synthesis of Machine Learning and Explainable Sequence Analysis
„Die ARS liefert das symbolische Gerüst, neuro-symbolische Methoden liefern die Lerndynamik.“
„ARS provides the symbolic scaffolding, neuro-symbolic methods provide the learning dynamics.“
🕰️
Proto-Neuro-Symbolische KI
Proto-Neuro-Symbolic AI
Grammatikinduktion, Transduktion und Parsing – Die ARS als methodologischer Vorläufer
Grammar Induction, Transduction, and Parsing – ARS as a Methodological Precursor
„Im Gegensatz zu kognitivistischen Modellen erklärt ein großes Sprachmodell nichts.“
„In contrast to cognitivist models, a large language model explains nothing.“
🏛️
ARS als Metamethodologie
ARS as a Meta-Methodology
Die Bedingungen erklärender Modelle im Zeitalter generativer KI
The Conditions for Explanatory Models in the Age of Generative AI
„Die Frage ist nicht, ob ein Modell zu den Daten passt. Statistische Passung ist notwendig, aber nicht hinreichend.“
„The question is not whether a model fits the data. Statistical fit is necessary but not sufficient.“
🔷
Von Scheme zu DeepProbLog
From Scheme to DeepProbLog
Die ARS als methodologischer Bauplan für moderne neuro-symbolische Programmierung
ARS as a Methodological Blueprint for Modern Neuro-Symbolic Programming
„Die ARS liefert einen methodologischen Bauplan, den DeepProbLog technisch instanziieren kann.“
„ARS provides a methodological blueprint that DeepProbLog can instantiate technically.“
📘
Die empirische Grammatik von Marktgesprächen
The Empirical Grammar of Market Conversations
Eine neuro-symbolische Rekonstruktion
A Neuro-Symbolic Reconstruction
„Die Unterscheidung zwischen konstitutiven Regeln und statistischen Regularitäten bietet eine Grundlage für erklärbare Systeme.“
„The distinction between constitutive rules and statistical regularities provides a foundation for explainable systems.“
⚙️
ARS 5.0 – Technical Implementations
ARS 5.0 – Technical Implementations
DeepProbLog, PyTorch, Julia und Rust
DeepProbLog, PyTorch, Julia, and Rust
„Vollständige, ausführbare Implementierungen des ARS 5.0-Frameworks in vier Paradigmen.“
„Complete, executable implementations of the ARS 5.0 framework in four paradigms.“

📐 Methodologische Reflexion & Vergleich

📐 Methodological Reflection & Comparison

⚖️
CGTI – Computational Grounded Theory Integration
CGTI – Computational Grounded Theory Integration
Methodologische Alternative zur XAI-gestützten qualitativen Forschung
Methodological Alternative to XAI-Supported Qualitative Research
„Primat der menschlichen Interpretation – LLMs als Werkzeuge, nicht als Ersatz.“
„Primacy of human interpretation – LLMs as tools, not as substitutes.“
🧩
ERIA – Erklärbar Rekursive Interaktionsanalyse
ERIA – Explainable Recursive Interaction Analysis
Integration qualitativer Sequenzanalyse mit Petri-Netzen, Bayes und CL
Integration of Qualitative Sequence Analysis with Petri Nets, Bayes, and CL
„Nicht die Verschmelzung – die Symphonie.“
„Not the fusion – the symphony.“
📈
Formale Entscheidbarkeit und empirische Regularität
Formal Decidability and Empirical Regularity
Zweischichtiges Modell aus Automat und Statistik
Two-Layer Model of Automaton and Statistics
„Strukturelle Regeln werden nicht durch statistische Mittelwerte relativiert.“
„Structural rules are not relativized by statistical averages.“
⚔️
ARS AQSA – Adversarial Qualitative Sequence Analysis
ARS AQSA – Adversarial Qualitative Sequence Analysis
Benchmarks als epistemische Operatoren in der ARS
Benchmarks as Epistemic Operators in ARS
„Benchmarks sind keine Tests, sondern Strukturgeber – epistemische Operatoren für prozessuale Transparenz.“
„Benchmarks are not tests but structuring devices – epistemic operators for processual transparency.“

📄 Beispielanalyse & Kodierbelege

📄 Example Analysis & Coding Evidence

📝
ARS 2.0 – Beispiel mit kritischer Reliabilitätsprüfung
ARS 2.0 – Example with Critical Reliability Assessment
Algorithmisch Rekursive Sequenzanalyse 2.0 – Beispiel
ARS 2.0 – Example with Critical Reliability Assessment
„Kritische Reliabilitätsprüfung mit Cohens Kappa (κ ≈ 0,55).“
„Critical reliability assessment using Cohen's Kappa (κ ≈ 0.55).“
🗂️
Fallstruktur & Kodierbogen (historisch)
Case Structure & Coding Sheets (historical)
Originale Kodierblätter mit handschriftlichen Kodierungen (1994)
Original Coding Sheets with Handwritten Codings (1994)
„12 Kategorien – zwei unabhängige Kodierer.“
„12 categories – two independent coders.“

📢 Möchten Sie die ARS weiterentwickeln?

📢 Would you like to further develop ARS?

Die Methode ist formal ausgereift, aber empirisch unterbestimmt. Wenn Sie Zugang zu größeren Datensätzen haben oder an einer methodologischen Weiterentwicklung interessiert sind – ich freue mich auf Ihre Nachricht.

The method is formally mature but empirically underdetermined. If you have access to larger datasets or are interested in methodological further development – I look forward to hearing from you.

✉️ Kontakt aufnehmen
📁 Verfügbare Formate 📁 Available Formats

Alle Dokumente liegen als PDF (druckfertig), TeX (Quellcode, anpassbar) und Markdown (leicht lesbar, kompatibel mit vielen Plattformen) vor. Die TeX- und Markdown-Dateien eignen sich für wissenschaftliches Arbeiten, eigene Weiterentwicklungen und die Nachvollziehbarkeit der formalen Darstellung.

All documents are available as PDF (print‑ready), TeX (source code, adaptable), and Markdown (easy to read, compatible with many platforms). The TeX and Markdown files are suitable for academic work, own developments, and full traceability of the formal presentation.

📚 Über diese Schriftenreihe 📚 About This Series

Die ARS wurde von ARS 2.0 (sequentielle Übergangsgrammatik) über ARS 3.0 (hierarchische PCFG mit interpretativen Kategorien) bis zu ARS 4.0 (Petri-Netze, Bayessche Verfahren, hybride Integration mit CL) und ARS 5.0 (DeepProbLog, inkrementelles Lernen, Cross-Paradigm-Implementierungen) entwickelt. Die Texte dokumentieren diesen Weg und reflektieren methodologische Grundlagenfragen – stets mit dem Ziel einer erklärbaren qualitativen Forschung im Sinne der XAI-Kriterien (Verständlichkeit, Genauigkeit, Wissensgrenzen).

ARS has been developed from ARS 2.0 (sequential transition grammar) via ARS 3.0 (hierarchical PCFG with interpretive categories) to ARS 4.0 (Petri nets, Bayesian methods, hybrid integration with CL) and ARS 5.0 (DeepProbLog, incremental learning, cross-paradigm implementations). The texts document this path and reflect fundamental methodological questions – always aiming at an explainable qualitative research in the sense of XAI criteria (meaningfulness, accuracy, knowledge limits).

Paul Koop, M.A.

Paul Koop, M.A.

Autor der ARS-XAI-Methodologie

🏠 Thomashofstraße 19 · 52070 Aachen

📧 post@paul-koop.org

🌐 https://ars-xai.org